第二部分 正确性8 邻域规则下的性质8 邻域规则下可以利用的结构性质。结论复制锚点链接 待写：列出 8 邻域规则下的主要性质及其编号。 动机复制锚点链接 待写：说明这些性质在后续算法设计中的用途。 思路复制锚点链接 待写：逐条说明每个性质的直观含义。 斜步限制带来的性质复制锚点链接 待写：说明斜步禁止条件如何影响可达性与距离。 距离的结构复制锚点链接 待写：说明最短距离满足的结构性质。 正确性复制锚点链接 待写：给出各性质的证明或证明梗概。 代价复制锚点链接 待写：只写复杂度和 1–2 个关键数字，完整数据链接到数据。说明利用这些性质能省去哪些计算。 局限复制锚点链接 待写：说明这些性质成立的前提条件。 设计空间复制锚点链接 展开设计空间仅交互版：尝试过的变体及放弃原因待写：列出试过的变体、各自的取舍和放弃原因。相关实验室工具移动规则演示4 与 8 邻域对比最短路的判定条件判断一条路径是否最优的充分必要条件。原版 A* 为什么会错原版 A* 实现给出非最优解的原因与反例。