博弈论-SG函数

1.有向图游戏

把每一个局面当做一个点，然后一个局面能一步走到另一个局面就连一条有向边，保证是一个DAG。从后往前递推，没有出度的结点要么是必败态，要么是必胜态。于是能走到必败态的结点一定是必胜态，只能走到必胜态的结点是必败态。因为是DAG，所以每个结点要么是必败态，要么是必胜态。over

2.有向图游戏的和

与1的区别是多个DAG。对于必败态的局面，这个点SG值赋值为0，每个点的SG值是最小的他不能一步走到的点的值。（比如0走不到就是0,1走不到就是1）。每个局面对应的每个图的SG值的异或和若是0，就是必败态，否则是必胜态。

（。。。懒得证明）