『二分图匹配与博弈』树上游戏

$\mathrm{P}\mathrm{r}\mathrm{o}\mathrm{b}\mathrm{l}\mathrm{e}\mathrm{m}$

---

$\mathrm{S}\mathrm{o}\mathrm{l}\mathrm{u}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$

首先，我们可以将每一个点到它的祖先（指父亲，父亲的父亲，…，根节点）连接一条边。我们尝试按照套路，将二分图与博弈联系在一起。

• 若这张图是一个完美匹配，那么Alice无论选择哪一个点，Bob都会推到对应的点。因此，无论Alice无论怎么下都无法占得先机，因此Bob必胜。
• 若这张图不是一个完美匹配，那么Alice就可以先选择几个不在匹配上的点，下一步无论Bob怎么下所能达到的一定是一个匹配点，而且如果Bob走不出最大匹配，那么Alice一定会选择某一个Bob所选的匹配点让Bob走投无路。即，Bob由于一直在匹配点中，Bob怎么走Alice都有对策。
• 因此，我们要如何才能证明Bob一直在匹配点中呢，设我们匹配点为$v_1,v_2,...,v_{k-1}$,醉打匹配的路径是$(v_1$