二分图博弈略解

问题

一个二分图。先手选择一个点出发,双方轮流移动到一个不曾经过且与当前点有边相连的点,无法移动者负。
二分图博弈略解
如图中情况,后手负。


结论

假如先手的出发点不在某个最大匹配中,则先手必胜。

如图,蓝色标出了一个最大匹配,绿色圈出的点则为先手必胜的点:
二分图博弈略解
换句话说,假如这个点在所有的最大匹配中都被选中了,先手选这个点必败。

原因

从起点出发,后手只能选择一个在最大匹配中的点,否则后手走的这条边可以被加入最大匹配中。

之后每次先手都选与前一点匹配的点,后手一定只能选择一个在最大匹配中的点,否则双方走的这条路径是一条增广路。

最后肯定先手走完,停留在一个与起点在同一组的点,后手无法操作,先手胜。