CodeForces - 1161F Zigzag Game（稳定婚姻匹配，博弈）

题目
这个太神了。。。。。。
首先我们知道二分图匹配博弈模型：

给你一个二分图
每一次可以从X部的点走到Y部的点
一开始的人在X
如果不能走就输了
问你是否有必胜策略。

如果存在完美匹配，那么Bob每步都可以沿着一条匹配边走，Alice必须沿着非匹配边走，Bob拥有必胜策略。
如果不存在完美匹配，那么对于所有不一定在最大匹配上的（出发）点，Alice都拥有必胜策略：Bob走一条非匹配边，Alice走一条匹配边，否则，我们从原理上分析一波，
如果Alice赢，一定是Bob一开始走了可能为非匹配边的边，那么Bob被迫走非匹配边，即这个点周围的边都可以是非匹配边，那么这个点就可以是非匹配点，还是先手必胜。

发现这个图一定有完美匹配。
但是这个博弈有限制:假设Alice选Increase，那么如果存在：
$a->b->c->d$使得$w(a,b)<w(b,c)<w(c,d)$且$a,$