第二部分 正确性原版 A* 为什么会错原版 A* 实现给出非最优解的原因与反例。结论复制锚点链接 待写：概括原版 A* 出错的原因。 动机复制锚点链接 待写：说明为什么要专门分析原版 A* 的错误。 思路复制锚点链接 待写：用一个最小反例逐步说明错误是怎样发生的。 最小反例复制锚点链接 待写：给出最小反例的网格与搜索过程。 错误的根源复制锚点链接 待写：说明是哪一个假设不成立。 正确性复制锚点链接 待写：说明修正后的版本为什么正确，并给出对应定理编号。 代价复制锚点链接 待写：只写复杂度和 1–2 个关键数字，完整数据链接到数据。说明修正对性能的影响（数据定稿后再填）。 局限复制锚点链接 待写：说明反例集合的覆盖范围。 设计空间复制锚点链接 展开设计空间仅交互版：尝试过的变体及放弃原因待写：列出试过的变体、各自的取舍和放弃原因。相关实验室工具原版 A* 错误浏览器启发式实验台8 邻域规则下的性质8 邻域规则下可以利用的结构性质。全量验证：如何确认每个实现都对在全量验证集上逐题比对所有实现的方法。