RT，发现网上很多题解只给出了必要性证明。

奇数码问题。

结论是满足条件当且仅当压缩为一维后两个排列逆序对奇偶性相同。