第一部分 问题题集：课程三题与全量验证集课程给出的三道题，以及用于全量验证的题集。结论复制锚点链接 待写：概括两类题集：课程给定的三题和用于全量验证的验证集。 动机复制锚点链接 待写：说明为什么课程三题不足以验证正确性，需要更大的题集。 思路复制锚点链接 待写：说明验证集的构造方式和覆盖范围。 课程三题复制锚点链接 待写：逐题介绍课程给出的三道题。 全量验证集复制锚点链接 待写：介绍验证集的生成方式与组成。 正确性复制锚点链接 待写：说明如何确认题集中每道题的参考答案是可信的。 代价复制锚点链接 待写：只写复杂度和 1–2 个关键数字，完整数据链接到数据。给出题集规模及其对验证耗时的影响（数据定稿后再填）。 局限复制锚点链接 待写：说明题集没有覆盖的地图类型。 设计空间复制锚点链接 展开设计空间仅交互版：尝试过的变体及放弃原因待写：列出试过的变体、各自的取舍和放弃原因。相关实验室工具题集浏览器随机地图生成器什么叫最优：距离优先、步数唯一最优路径的定义：先比距离，再比步数。符号与约定全报告通用的符号、记号与编号约定。