平等博弈
信息完全公开
双方轮流行动
面对同一局面, 双方的决策集合相同
一般来说, 规定不能操作者输
游戏局面不会成环, 有限步之后游戏必定结束
P 态与N 态
定义先手必胜为N 态,先手必败为P 态, 显然,每个状态是P 态或者是N 态都是确定的。
显然,一个点若为P 态,那么当且仅当它的所有出边都为N 态,N 态至少有一条出边为P 态。
由此可以看出P 态大部分情况下很少,因此我们对于博弈游戏中最基本的方法就是搜索P 态。
按游戏图的拓扑序转移,如果一个点出度为0 并且没有被标记那么就为P态。
性质:P 态之间不可以直接转移。