本文探讨了CodeForces上的1161F题——Zigzag Game，这是一个涉及稳定婚姻匹配的博弈问题。当存在完美匹配时，Bob有必胜策略；否则，Alice拥有必胜策略。特殊情况下，如果满足特定边权条件，Bob的操作将被视为非法。通过将边权取负，问题转化为稳定婚姻问题，该问题总有解。
题目
这个太神了。。。。。。
首先我们知道二分图匹配博弈模型：
给你一个二分图
每一次可以从X部的点走到Y部的点
一开始的人在X
如果不能走就输了
问你是否有必胜策略。
如果存在完美匹配，那么Bob每步都可以沿着一条匹配边走，Alice必须沿着非匹配边走，Bob拥有必胜策略。
如果不存在完美匹配，那么对于所有不一定在最大匹配上的（出发）点，Alice都拥有必胜策略：Bob走一条非匹配边，Alice走一条匹配边，否则，我们从原理上分析一波，
如果Alice赢，一定是Bob一开始走了可能为非匹配边的边，那么Bob被迫走非匹配边，即这个点周围的边都可以是非匹配边，那么这个点就可以是非匹配点，还是先手必胜。
发现这个图一定有完美匹配。
但是这个博弈有限制:假设Alice选Increase，那么如果存在：
a − > b − > c − > d a->b->c->d a−>b−>c−>d使得 w ( a , b ) < w ( b , c ) < w ( c , d ) w(a,b)<w(b,c)<w(c,d) w(a,b)<w(b,c)<w(c,d)且 a , b a,b a,
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
