博弈论

一张 DAG 起点处有一个棋子,玩家轮流操作,每次可以移动棋子到相邻位置,不能操作的人输。

定义 \(sg_x = mex(sg_y)\) 其中 \(y\)\(x\) 相邻节点。当 \(sg_x\) 为 0 则是必败态,否则是必胜态。

多张 DAG,每张 DAG 上起点处有一个棋子,玩家轮流操作,每次可以移动棋子到相邻位置,每张 DAG 都不能操作的人输。

总体 SG 值为每张 DAG 的异或和,当 \(SG\) 为 0 则是必败态,否则是必胜态。

但是要注意别搞错了什么时候用 mex 合并,什么时候用异或合并

posted @ 2026-05-30 15:49  _Katyusha  阅读(9)  评论(0)    收藏  举报