P r o b l e m \mathrm{Problem} Problem
S o l u t i o n \mathrm{Solution} Solution
首先,我们可以将每一个点到它的祖先(指父亲,父亲的父亲,…,根节点)连接一条边。我们尝试按照套路,将二分图与博弈联系在一起。
- 若这张图是一个完美匹配,那么Alice无论选择哪一个点,Bob都会推到对应的点。因此,无论Alice无论怎么下都无法占得先机,因此Bob必胜。
- 若这张图不是一个完美匹配,那么Alice就可以先选择几个不在匹配上的点,下一步无论Bob怎么下所能达到的一定是一个匹配点,而且如果Bob走不出最大匹配,那么Alice一定会选择某一个Bob所选的匹配点让Bob走投无路。即,Bob由于一直在匹配点中,Bob怎么走Alice都有对策。
- 因此,我们要如何才能证明Bob一直在匹配点中呢,设我们匹配点为 v 1 , v 2 , . . . , v k − 1 v_1,v_2,...,v_{k-1} v1,v2,...,vk−1,醉打匹配的路径是 ( v 1 , v 2 ) , ( v 3 , v 4 ) , . . . , ( v k − 2 , v k − 1 ) (v_1,v_2),(v_3,v_4),...,(v_{k-2},v_{k-1}) (v1