下面给出策梅洛定理的严酷表述:在雙人彻底信息博弈下,只有三種环境:要末先手具备必胜计谋,要末背工具备必胜计谋,要末两邊的最优计谋會致使平手。好比前面所說的美容化妝品, Chop 遊戲,那時,先手玩家具备必胜计谋;若是,背工玩家具备必胜计谋。Chop 遊戲没有平手。策梅洛定理是一個结论很强的定理,下面咱們會發明,它的证實很是简略,不必要用到很高妙的常识。
為了证實策梅洛定理,咱們必要引入一個小小的觀點:遊戲树。在遊戲的每步,玩家有不少種走法,每個走法城市發生新的分支,把两位玩家的所有可能走法斟酌進来,就會获得一個树状布局。這個树状布局穷尽了遊戲進程的所有可能性。下圖是 Chop 遊戲在环境下的遊戲树。在本文,咱們用暗示先手获胜,暗示背工获胜,暗示平手。