洛谷P5507 机关-双向bfs和启发式搜索

更好的观看体验

题目链接 P5507 机关

题意简述

  有12个旋钮，每个旋钮开始时处于状态 $1$ ~ $4$ ，每次操作可以往规定方向转动一个旋钮 （$1\Rightarrow 2\Rightarrow 3\Rightarrow 4\Rightarrow 1$） ，并且会触发一次连锁反应：处于某个状态的旋钮在旋转时会引起另一个旋钮发生相同方向的转动（另一个旋钮转动不会再触发连锁反应）。问将12个旋钮都置为 $1$ 至少需要几次转动，并输出每次转动的旋钮编号。

单向BFS

  直接暴力地进行单向 $\mathrm{B}\mathrm{F}\mathrm{S}$ ，每次转动都有 $12$ 种选择，时间复杂度是 $O(12^{step})$ ，看数据范围，最高的步数可达 $17$ 步，必定 $\mathrm{T}\mathrm{L}\mathrm{E}$ 。但是这样简单如果优化的比较好可以得 $50$ ~ $60$ 分（没吸氧气，吸了氧气反而更低了）。
  单向BFS评测记录
  超时的主要原因是搜索树过于庞大，而我们会发现本题起始状态和终止状态是明确的，这时我们就可以使用神奇的双向 $\mathrm{B}\mathrm{F}\mathrm{S}$ 来限制搜索树的生长。

双向BFS

  双向 $\mathrm{B}\mathrm{F}\mathrm{S}$ 非常适合在起始状态和终止状态明确的条件下使用，做法是从起点和终点同时进行单向 $\mathrm{B}\mathrm{F}\mathrm{S}$ ，让两边 $\mathrm{B}\mathrm{F}\mathrm{S}$ 搜索树的生长受到对面搜索树的限制，不要过于野蛮生长，偏离目标太远。自己画了一张很丑很丑的对比图，应该可以便于理解。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-VaMYqi3o-1609721541210)(https://images.cnblogs.com/cnblogs_com/ailanxier/1827981/o_200814043631%E5%AF%B9%E6%AF%94.jpg)]
  可以看到双向 $\mathrm{B}\mathrm{F}\mathrm{S}$ 可以在某一状态发现相同时就停止了，通过回溯可以找到沿路选择的点。再看看本题的数据范围，最大的点正向和反向 $\mathrm{B}\mathrm{F}\mathrm{S}$ 最多是 $9$ 步, $12^9$ 是 $5\times 10^8$ 的量级,勉强可以在一秒冲过去。事实上我最大的点用时在 $200ms$ ~ $300ms$ 之间，还是很稳的。
最好的一次双向BFS记录

状态存储

  可以把两个二进制位当做一个四进制位,把每个旋钮状态减一后就刚好可以存下了，即1对应0,2对应1，以此类推。先讲一下读入处理。

int button,Start = 0;
For(i,0,11){
   
    button = read();                        //读入第i+1个旋钮状态
    Start |= (button - 1) << (i << 1);      //记录初始状态
    For(j,0,3) nxt[i][j] = read()-1;          
}

  我代码中的旋钮编号和状态全部进行了减一处理（后面描述时我都会说+1），方便位运算操作。注意记录初始状态时要将 $i\ast 2$ （即左移一位），因为我们把两个二进制位当做一个四进制位了，后面也有这样的乘2处理。再用一个数组 $nxt$ 记录第 $i+1$ 个旋钮在 $j+1$ 状态下进行旋转时，会带动第 $nxt[i][j]+1$ 个旋钮转动。

状态转移

  首先正向和反向的 $\mathrm{B}\mathrm{F}\mathrm{S}$ 的转移方式是不一样的。设当前转到的是第 $i+1$ 个旋钮，它现在处于 $j+1$ 状态。

• 正向：将第 $i+1$ 个旋钮按规定方向转动一次，同时带动第 $nxt[i][j]+1$ 个旋钮转动。旋转后状态可以用$(j+1)\&3$ 表示（这样可以实现旋钮位于4状态，即 $j=3$ 时，旋转后变成1 ，即 $j=0$ 的操作）。
• 反向：将第 $i+$