二分图博弈略解

问题

一个二分图。先手选择一个点出发，双方轮流移动到一个不曾经过且与当前点有边相连的点，无法移动者负。

如图中情况，后手负。

---

结论

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

如图，蓝色标出了一个最大匹配，绿色圈出的点则为先手必胜的点：

换句话说，假如这个点在所有的最大匹配中都被选中了，先手选这个点必败。

原因

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

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

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