对于简单的八数码(3*3)
一般的目标状态是这样的(我们把矩阵表示为序列,0表示空格):
1 2 3
4 5 6
7 8 0
即:
123456780
对于每个状态定义一个逆序:除0以外的数字的逆序对数目
抛出结论:两个状态可以达,当且仅当两个状态序列逆序奇偶性相同
简单证明必要性:
对于空格的移动,左右移动不会影响逆序,上下移动导致被替换数字跨过两个数字,这两个数字可能都比它大,可能都比它小,可能一大一下,相应的对逆序造成的影响为:+2,-2,不变。因此得证。
对于N*N的矩阵
容易发现,N为奇数的时候与八数码问题相同
那么对于偶数:
譬如:N=4的时候:
对于空格的移动,左右移动不会影响逆序,上下移动导致被替换数字跨过3个数字,对逆序造成的影响为:+3,-3,+1,,-1。我们发现,奇偶性一定改变,不一定有解也不一定无解。
举个例子:
目标状态:
1 2 3 4
5 6 7 8
9 A B C
D E F 0
状态1(无解):
1 2 3 4
5 6 7 8
9 A B 0
C D E F
以上状态是一个无解的状态(将C移到了第四行