第二部分 正确性导读第二部分说明如何判断一个实现给出的是最优解。这部分回答什么复制锚点链接 待写：概括本部分要回答的问题：怎样判定最短路、8 邻域规则有哪些可用的性质、原版 A* 错在哪里、如何对所有实现做全量验证。 需要先读什么复制锚点链接 待写：需要先读第一部分，尤其是「移动规则」与「什么叫最优」两页。 本部分页面一览复制锚点链接 最短路的判定条件判断一条路径是否最优的充分必要条件。8 邻域规则下的性质8 邻域规则下可以利用的结构性质。原版 A* 为什么会错原版 A* 实现给出非最优解的原因与反例。全量验证：如何确认每个实现都对在全量验证集上逐题比对所有实现的方法。相关实验室工具原版 A* 错误浏览器符号与约定全报告通用的符号、记号与编号约定。最短路的判定条件判断一条路径是否最优的充分必要条件。