每日总结2021.4.30

1.EightHDU - 1043 八数码，经典题目，可以用双向广搜或者A*做，这里用 A * 做。

大意： 给定一个3*3 的矩形序列，网格中是12345678x(乱序)，每次操作只种上下左右移动x,问是否能通过最小的步数，得到有序的12345678x,如果可以输出操作步骤（u,r,l,d）,如果不能输出"unsolvable".

思路：果然不写总结还是不行，之前在acwing已经看过这道题的视频，到了kuangbin题单这里还是不会做。总结得经常写，经常看。首先普通搜索在acwing是可以过的，时间复杂度9! *4 ,但在这里爆空间了，双向广搜不太好写，A *虽然有时候玄学，但是好写啊。首先明确个结论，八数码问题有解条件是逆序对的数目为偶数。

关键1：扩展 对于N*N 棋盘的数码问题，

首先需要明确的是横向移动逆序对的数目不会改变，画出棋盘可以很容易的看出。

通过归纳总结，结论如下（根据移动空格 逆序对奇偶性的变化）：

（1）当N为奇数是，例如八数码（3 * 3），两个状态可达的条件：两个状态的一维形式的逆序对数目奇偶性一致。

（2）当N为偶数是，左右移动不会改变逆序对的数目，上下移动只有移动前的那行和移动后的那行共N-1个数对逆序对数目变化有影响，可能增加也可能减少，但一定是奇数，移动一次奇偶性变一次，所有就很明确了，（原状态的逆序对数+行差值）的奇偶性和目标状态的逆序对数奇偶性一致才有可能有解，否则无解。

(3)不管N是奇数还是偶数，对于上下移动一次只有N-1个格子的可能对逆序对造成影响，逆序对变化可能为

±N-1，±N-3，±N-5 …… ±N-2k-1。(可以举例子，很容易证明)，当N为奇数时N-1为偶数，逆序对变化可能为0（即一半大，一半小，移动逆序对不变），当N为偶数时，N-1为奇数，每次移动逆序变化不为0，其改变奇数个，所以每次移动奇偶性必然会改变。

扩展到N * N * N 三维，同理：左右移动不改变逆序对数，上下行移动只有N-1个有影响，上下层移动只有 N * N-1 个有影响。分析奇偶性就行了，具体分析同上。

关键2：A*的估计函数写法，一般估价函数的写法是从此状态开始到目标状态最理想的情况下的距离，但是实际操作一般满足不了这种理想条件，所以就确保了估计值<=真实值，确保A *算法的正确性。

例如此题，对于每个数到最终状态都会有固定的位置，最理想的情况就是每次都能靠着最终位置靠近，即x就根据需要出现在我们需要的位置，因为是和空格交换，不是直接交换两个数，所以各个数之间独立，所以估价函数就是把每个数的“理想距离相加”。

总结：（1）八数码类问题的是否有解的判断，（2）A*算法设计的一般思路。