博弈论
一张 DAG 起点处有一个棋子,玩家轮流操作,每次可以移动棋子到相邻位置,不能操作的人输。
定义 \(sg_x = mex(sg_y)\) 其中 \(y\) 为 \(x\) 相邻节点。当 \(sg_x\) 为 0 则是必败态,否则是必胜态。
多张 DAG,每张 DAG 上起点处有一个棋子,玩家轮流操作,每次可以移动棋子到相邻位置,每张 DAG 都不能操作的人输。
总体 SG 值为每张 DAG 的异或和,当 \(SG\) 为 0 则是必败态,否则是必胜态。
但是要注意别搞错了什么时候用 mex 合并,什么时候用异或合并

浙公网安备 33010602011771号