幻象迷宫（C++，BFS）

题目描述

（喵星人LHX和WD同心协力击退了汪星人的入侵，不幸的是，汪星人撤退之前给它们制造了一片幻象迷宫。）

WD：呜呜，肿么办啊……

LHX：momo…我们一定能走出去的！

WD：嗯，+U+U！

描述 Description

幻象迷宫可以认为是无限大的，不过它由若干个N*M的矩阵重复组成。矩阵中有的地方是道路，用’.‘表示；有的地方是墙，用’#‘表示。LHX和WD所在的位置用’S’表示。也就是对于迷宫中的一个点(x,y)，如果(x mod n,y mod m)是’.‘或者’S’，那么这个地方是道路；如果(x mod n,y mod m)是’#'，那么这个地方是墙。LHX和WD可以向上下左右四个方向移动，当然不能移动到墙上。

请你告诉LHX和WD，它们能否走出幻象迷宫（如果它们能走到距离起点无限远处，就认为能走出去）。如果不能的话，LHX就只好启动城堡的毁灭程序了……当然不到万不得已，他不想这么做。。。

输入格式

输入包含多组数据，以EOF结尾。

每组数据的第一行是两个整数N、M。

接下来是一个N*M的字符矩阵，表示迷宫里(0,0)到(n-1,m-1)这个矩阵单元。

输出格式

对于每组数据，输出一个字符串，Yes或者No。

样例 #1

样例输入 #1

5 4
##.#
##S#
#..#
#.##
#..#
5 4
##.#
##S#
#..#
..#.
#.##

样例输出 #1

Yes
No

提示

对于30%的数据，N,M<=20

对于50%的数据，N.M<=100.

对于100%的数据，N,M<=1500，每个测试点不超过10组数据.

解题思路：

题意还是很好理解的，问题是如何判断能走到无限远处呢

这里再给出几个例子帮助进一步理解

反例：四个$\frac{1}{4}$环，虽然能回到起点，但是走不出去

11 11
####.#.####
###..#..###
##..###..##
#..#####..#
..#######..
###########
..#######..
#..#####S.#
##..###..##
###..#..###
####.#.####

例一：不需要回到起点就能走出去，但是可以回到起点

5 6
###.##
......
######
###S##
###.##

例二：第二次没有回到起点，但第三次回到起点了

5 5
##S##
#..##
..#..
##..#
##.##

例三：类似于例二的推广

9 13
#.#.#.#.#.###
..#.#.#.#.#.S
##..#.#.#.#.#
#..#..#.#.#.#
#.#..#..#.#.#
#.#.#..#..#.#
#.#.#.#..#..#
#.#.#.#.#..##
#.#.#.#.#.###

可以得出判断条件：

如果能够走到无穷远处，一定能够在重复到达起点时远离起点

但“回到起点”这个条件太强了，我们将其弱化，借助下面这个条件：

如果能够到达一个点，那么就能到达这个点所能到达的所有点

能够从起点到达的点，反之也能到达起点

弱化后的判断条件：

如果能够走到无穷远处，一定能够在重复到达一个点时远离这个点

那么只要找到一个符合条件的点就可以了，将常规迷宫的bfs修改一下就可以实现

第一个需要修改的是越界的操作

if (temp_node.m_x < 0 || temp_node.m_x >= N || temp_node.m_y < 0 || temp_node.m_y >= M)
	if (temp_node.m_x < 0) temp_node.m_x = N - 1;
	else if (temp_node.m_x >= N) temp_node.m_x = 0;
	else if (temp_node.m_y < 0)	temp_node.m_y = M - 1;
	else temp_node.m_y = 0;

第二个需要修改的是重复到达一个点时候的操作

在进行该项修改时，需要为元素新增一个distance属性，用以判断是否是在绕圈

如果不是在绕圈就可以断定能够走到无穷远处

if (map_books[temp_node.m_x][temp_node.m_y].book) {
	if (map_books[temp_node.m_x][temp_node.m_y].distance_x != temp_node.distance_x || map_books[temp_node.m_x][temp_node.m_y].distance_y != temp_node.distance_y) {
		while (!(bfs_queue.empty())) bfs_queue.pop();
		return true;
	}
	continue;
}

AC代码如下

#include <iostream>
#include <vector>
#include <string>
#include <queue>
using namespace std;

struct node {
	int m_x;
	int m_y;
	int distance_x = 0;
	int distance_y = 0;
};

struct map_book {
	int distance_x = 0;
	int distance_y = 0;
	bool book = false;
};

int N, M, start_x, start_y;
vector<vector<map_book>> map_books;
vector<string> map;
vector<bool> results;
queue<node> bfs_queue;
int step[4][2] = {
	{0, 1},
	{1, 0},
	{0, -1},
	{-1, 0}
};

bool bfs(int x, int y) {
	node temp_node;
	temp_node.m_x = x, temp_node.m_y = y;
	map_books[x][y].book = true;
	bfs_queue.push(temp_node);

	while (!(bfs_queue.empty())) {
		for (int i = 0; i < 4; i++) {
			temp_node.m_x = bfs_queue.front().m_x + step[i][0];
			temp_node.m_y = bfs_queue.front().m_y + step[i][1];
			temp_node.distance_x = bfs_queue.front().distance_x + step[i][0];
			temp_node.distance_y = bfs_queue.front().distance_y + step[i][1];
			if (temp_node.m_x < 0 || temp_node.m_x >= N || temp_node.m_y < 0 || temp_node.m_y >= M)
				if (temp_node.m_x < 0) temp_node.m_x = N - 1;
				else if (temp_node.m_x >= N) temp_node.m_x = 0;
				else if (temp_node.m_y < 0)	temp_node.m_y = M - 1;
				else temp_node.m_y = 0;
			if (map[temp_node.m_x][temp_node.m_y] == '#') continue;
			if (map_books[temp_node.m_x][temp_node.m_y].book) {
				if (map_books[temp_node.m_x][temp_node.m_y].distance_x != temp_node.distance_x || map_books[temp_node.m_x][temp_node.m_y].distance_y != temp_node.distance_y) {
					while (!(bfs_queue.empty())) bfs_queue.pop();
					return true;
				}
				continue;
			}
			map_books[temp_node.m_x][temp_node.m_y].book = true;
			map_books[temp_node.m_x][temp_node.m_y].distance_x = temp_node.distance_x;
			map_books[temp_node.m_x][temp_node.m_y].distance_y = temp_node.distance_y;
			bfs_queue.push(temp_node);
		}
		bfs_queue.pop();
	}

	return false;
}

int main() {
	while(scanf("%d", &N) != EOF) {
		string temp_str;
		bool is_search = true;
		cin >> M;
		for (int i = 0; i < N; i++) {
			cin >> temp_str;
			map.push_back(temp_str);
			if (is_search && (start_y = temp_str.find('S')) != -1) {
				is_search = false;
				start_x = i;
			}
		}
		map_books.assign(N, vector<map_book>(M, map_book()));

		results.push_back(bfs(start_x, start_y));

		map.clear();
		map_books.clear();
		cin.ignore();
	}

	for (vector<bool>::iterator step = results.begin(); step != results.end(); step++)
		if (*step) cout << "Yes" << endl;
		else cout << "No" << endl;
	return 0;
}