第二部分 正确性最短路的判定条件判断一条路径是否最优的充分必要条件。结论复制锚点链接 待写：陈述判定一条路径是否最优的条件，并给出对应定理编号。 动机复制锚点链接 待写：说明为什么需要独立于算法的判定条件。 思路复制锚点链接 待写：给出判定条件的推导思路。 正确性复制锚点链接 待写：给出判定条件的证明或证明梗概，完整证明见附录。 定理陈述复制锚点链接 待写：写出定理的完整陈述。 证明梗概复制锚点链接 待写：给出证明的主要步骤，链接到附录。 代价复制锚点链接 待写：只写复杂度和 1–2 个关键数字，完整数据链接到数据。说明按该条件检查一条路径的代价。 局限复制锚点链接 待写：说明判定条件的适用范围。 设计空间复制锚点链接 展开设计空间仅交互版：尝试过的变体及放弃原因待写：列出试过的变体、各自的取舍和放弃原因。相关实验室工具多条最短路展示导读第二部分说明如何判断一个实现给出的是最优解。8 邻域规则下的性质8 邻域规则下可以利用的结构性质。