第二部分 正确性全量验证：如何确认每个实现都对在全量验证集上逐题比对所有实现的方法。结论复制锚点链接 待写：概括全量验证的方法和结论。 动机复制锚点链接 待写：说明为什么抽样测试不够，需要全量验证。 思路复制锚点链接 待写：说明验证流程：参考答案从何而来、比对哪些量。 参考答案复制锚点链接 待写：说明参考答案的来源。 比对规则复制锚点链接 待写：说明逐题比对的内容与判定标准。 正确性复制锚点链接 待写：说明验证流程本身为什么可信。 代价复制锚点链接 待写：只写复杂度和 1–2 个关键数字，完整数据链接到数据。说明全量验证的耗时与运行方式（数据定稿后再填）。 局限复制锚点链接 待写：说明全量验证不能保证的东西。 设计空间复制锚点链接 展开设计空间仅交互版：尝试过的变体及放弃原因待写：列出试过的变体、各自的取舍和放弃原因。相关实验室工具题集浏览器多算法并排原版 A* 为什么会错原版 A* 实现给出非最优解的原因与反例。导读第三部分介绍 4 邻域规则下的各个算法以及它们之间的调度。