问题描述
用二维数组表示地图,若值为 1 则表示有障碍物,若值为 0 则表示可以通行。
输入: m*n 的二维数组,布线起点坐标,布线终点坐标。
输出: 最短布线距离以及对应的布线路径。
问题分析
从起点开始布线,将起点标记为 0 ,把四周可布线的位置标记为 起点标记值 + 1 ,同时将这些点插进队列 Q (插到队尾)。
从 Q 中取出一个点(队首元素)重复布线动作,将可布线位置标记为 取出点标记值 + 1 ,并插进 Q 。不断重复上一个动作,直到找到终点,此时终点的标记值即最短布线距离。
为什么终点的标记值会等于最短布线距离呢?
事实上对于每一点这个结论都是成立的(某点的标记值=该点到起点的最短距离)。
(方块表示起点,椭圆表示终点)
在布线的过程中,始终遵循的规则是:标记值越小的越先布线。(越先入队的越先布线)
我们假设对于标记值为 n 的点该结论成立,我们只需要证明从标记值为 n 的点出发,找到的标记值为 n+1 的点确实最短就可以了。
我们考察标记值 n 周围的可布线点,可以分为两类:已布线点和未布线点。
对于未布线的点:由布线规则可知,所有标记值 < n 点都已经布线完毕,点未被布线的唯一原因是任何一个标记值 < n 的点都无法与它相邻(到不了或者需要付出更大的代价才能到),所以该点只能通过点 n 或者相邻的标记值同样为 n 的点与起点联通,从而取得最小值,故对标记值为 n+1 的点结论同样成立。
因此该结论对于任意标记值的点都成立。
C++ 代码
#include <stdio.h> #include <cstdlib> #include <iostream> #include <queue> using namespace std; #define MAX 6 struct Point { int x; int y; int len; Point* pre; Point(): len(0), pre(0) {} Point(int x, int y): x(x), y(y), len(0), pre(0) {} void setPoint(int x, int y) { this->x = x; this->y = y; } }; queue<Point> mark; void test(Point (*p)[MAX]); bool work(Point& q, Point& e, int (*map)[MAX], Point (*p)[MAX]) { int x, y; // up if ((x=q.x-1) >= 0 && map[x][y=q.y] != 1 && p[x][y].len == 0) { p[x][y].len = q.len + 1; p[x][y].pre = &q; if (x == e.x && y == e.y) { return true; } else { mark.push(p[x][y]); } } // down if ((x=q.x+1) < MAX && map[x][y=q.y] != 1 && p[x][y].len == 0) { p[x][y].len = q.len + 1