“火柴遊戏”問題

一种二人遊戏可描述如次:局式F,变換Ω及派生的不可变局式O_Ω,是确定这种遊戏的基本观念。对局开始給定局式f∈F。由一方A变換f为f_l,次由B变换f_1为f_2,再由A变換f_2为f_3,…如此輪番交迭下去。于是对应于变換序列ω~(1),ω~(2),…,ω~(s),f历經局式序列f_1,f_2,…,f_s,其中奇序的由A給出,偶序的由B給出。