第一部分 问题符号与约定全报告通用的符号、记号与编号约定。网格与坐标复制锚点链接 待写:列出网格、格子、坐标与障碍的记号。 移动与代价复制锚点链接 待写:列出邻域、移动代价与路径长度的记号。 算法与复杂度复制锚点链接 待写:列出算法描述和复杂度分析中使用的记号。 编号复制锚点链接 待写:说明定理、算法、实验、表格的编号写法,与「如何阅读本报告」保持一致。相关实验室工具网格编辑器题集:课程三题与全量验证集课程给出的三道题,以及用于全量验证的题集。导读第二部分说明如何判断一个实现给出的是最优解。