任务：25×25 网格寻路

待写：用一两句话陈述任务：在 25×25 网格上从起点到终点找一条路径。

待写：说明为什么要把课程题目形式化，以及形式化后方便讨论什么。

待写：给出任务的形式化定义：网格、障碍、起点、终点和输出格式。

待写：描述网格与起终点的表示方式。

待写：描述路径的表示方式以及无解时的约定。

待写：说明输入合法性的约定（越界、起终点在障碍上、无解时的输出）。

待写：只写复杂度和 1–2 个关键数字，完整数据链接到数据。给出问题规模的基本量，作为后续复杂度分析的参照。

待写：说明形式化定义与课程原题之间可能存在的差异。