考虑N*M的拼图。
当N=M=2,穷举法可证明只有两组等价类。
当N,M不同时为2时,设N不等于2(如果N等于2,M不等于2可颠倒行列讨论)。
只考虑第二行最后一个元素是空元素的情形,因为空元素在其他位置总可以等价某个空元素在第二行最后一个元素的图形。不考虑空元素以之字形方式展开图形,即第一行最后一个数字和第二行倒数第二个数字相连。如:
图3
展开成1,2,4,5,3。
下面证明两行拼图的交换方式可以实现排列的向前2步和向后2步移动。
要实现元素a的向前2步移动,则可顺着展开的方式循环移动拼图,使a在第一行第二列的位置,使空元素在第二行第二列的位置,此时可把元素i可与空元素对换。然后再沿着展开的顺序还原拼图。
例如:图3的元素4向前2步移动。可以如下操作,
图4
图5
图6
展开成4,1,2,5,3。实现了向前2步移动。
使i在第二行第二列的位置,使空元素在第一行第二列的位置可以实现向后2步移动。根据引理1及,两行拼图可以分成两组等价类。
假设M=k图形可以分成两组等价类,下面证明M=k+1,
只需要证明任何M=k+1图形总等价于第一行元素为1 2 … N的某图形即可。
如果这N个元素都在第一行,把空元素移到第二行,从上面的证明可知,交换两个不同的非空元素,图形的奇偶性改变,属于不同的等价类。N大于2,第二行就有两个非空元素可供交换。所以两行图形可以等价与第一行为1 2 … N的某个图形。
如果1至N的某个a元素不在第一行,设它在第i行。把空元素移动到i行,这样第i行和第i-1行可以看成M=2的图形。可以把a移动到第i-1行,并保证第i行和i-1行中1至N的元素的行号不增加。有限步移动可以使1至N元素全部在第一行。
显然M=k+1图形的等价类数目为2。
充分性得证。
拼图游戏的随机离散中加入定理1的判断可以保证游戏有意义,不会出现无解的情况。