挖一下坟，三阶也是不行的，在使用逆序数判断的时候，要跳过空位，在操作上就是空白为0的时候在正常算出逆序后减去0所在的元素下标，我举个例子，这个序列（9为空白）你的函数判断是可以复原的，实际上是不可以的，不信你可以试一试，顺便贴一下我自己的代码（C++，空白为0）

图片好像看得不太清楚，直接贴上来吧，不过格式就不太好看了，顺便说一下我这里是不能还原的返回true
//判断随机生成的数组逆序数是否为偶数，是否需要重新生成
bool Puzzle::Judge(const int* state)
{
int inver_n = state[0];//设定逆序数变量并初始为首元素
int index_zero = 0;//记录空白方块的下标
for (int index = 1, tmp; index < 9; index++)
{
if (!state[index])
{
index_zero = index;
continue;
}
if (index < 5)
{
tmp = state[index];
for (int i = index - 1; i >= 0 && tmp; i--)
{
if (state[i] < state[index])
{
tmp--;
}
}
}
else
{
tmp = 0;
for (int i = index + 1; i < 9 && tmp <= state[index]; i++)
{
if (state[i] < state[index])
{
tmp++;
}
}
}
inver_n += tmp;
}
inver_n -= index_zero;
return inver_n % 2;
}