关于八数码问题可解性的一个注意点

一、问题来源

去年写过一个关于八数码/九宫重排的程序，今天发现更数据后不能正常运行，于是开始探索出现了什么问题。

二、什么是八数码/九宫重排问题（解释来自洛谷P1379）

题目描述

在 $3\times 3$ 的棋盘上，摆有八个棋子，每个棋子上标有 $1$ 至 $8$ 的某一数字。棋盘中留有一个空格，空格用 $0$ 来表示。空格周围的棋子可以移到空格中。要求解的问题是：给出一种初始布局（初始状态）和目标布局（为了使题目简单,设目标状态为 $123804765$），找到一种最少步骤的移动方法，实现从初始布局到目标布局的转变。

输入格式

输入初始状态，一行九个数字，空格用 $0$ 表示。

输出格式

只有一行，该行只有一个数字，表示从初始状态到目标状态需要的最少移动次数。保证测试数据中无特殊无法到达目标状态数据。

样例 #1

样例输入 #1

283104765

样例输出 #1

4

提示

样例解释

三、关于八数码问题的有解性

引理1：如果交换任何两个相邻的棋子，那么棋子数列的逆序数将发生奇偶性互变（奇偶性互变是指由奇数变为偶数，或由偶数变为奇数，下同）。

引理2：如果棋子数列经过n次相邻棋子交换后，若n为偶数，则数列逆序数奇偶性不变；若n为奇数，则数列逆序数将发生奇偶性互变。

引理3：在满足上述约定的八数码问题中，空格与相邻棋子的交换不会改变棋局中棋子数列的逆序数的奇偶性。

故有：
若若两个状态的逆序奇偶性相同，则可相互到达，否则不可相互到达。

若需要有更深入的理解，可移步至：八数码问题-8puzzle

四、关于逆序数的计算

#修改前出问题的代码
def getStatus(array2d):
    a=[]
    for x in range(0, 3):  # 把数组转化成队列
        for y in range(0, 3):
            a.append(array2d[x][y])
    ans = 0
    for i in range(len(a)):
        for j in range(i):
            if a[j] > a[i]:
                ans += 1
                
    return ans

#修改后无问题的代码
def getStatus(array2d):
    a = []
    for x in range(0, 3):
        for y in range(0, 3):
            a.append(array2d[x][y])

    count = 0
    for i in range(len(a)):
        for j in range(i):
            if a[j] > a[i] and a[i] != 0 and a[j] != 0:
                count += 1
                
	return count

注意到，在在八数码问题获取逆序数判断可解性时，一定要求出除0之外所有元素的逆序数之和，若求逆序数时候包含了0元素的逆序数，可能会出错。

• 如果0出现在了奇数位置，则不会造成影响，因此时0的逆序数为偶数（即前面有偶数个元素都比他大），任何数加偶数都不会改变其奇偶性
• 如果0出现在了偶数位置，则会造成影响，因此时0的逆序数为奇数（即前面有奇数个元素都比他大），任何数加奇数都会改变其奇偶性
  
  
  可以发现：当0的位置从第五个元素到第八个元素时，出现了错误，也印证了如上的理论。

四、总结

注意到，在八数码问题获取逆序数判断可解性时，一定要求出除0之外所有元素的逆序数之和，若求逆序数时候包含了0元素的逆序数，可能会出错。