C++ 电路布线/最短路径问题

问题描述

用二维数组表示地图，若值为 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