【洛谷】【搜索(dfs)】P1363 幻想迷宫

【题目描述：】

幻象迷宫可以认为是无限大的，不过它由若干个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就只好启动城堡的毁灭程序了……当然不到万不得已，他不想这么做。

【输入格式：】

输入格式 InputFormat

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

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

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

【输出格式：】

输出格式 OutputFormat

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

输入样例#： 

##.#
##S#
#..#
#.##
#..#

##.#
##S#
#..#
..#.
#.##
输出样例#：
Yes
No

输入输出样例

[算法分析：]

搜索时判断能否重复到达某个点，当然迷宫的四个边界是分别相通的。

一开始想的是：

如果从上（下）边界的某个点能到达同一列下（上）边界的某个点，或者是从左（右）边界的某个点能够到达同一行右（左）边界的某个点，则可以走无限远

但这样的数据就会判断错误：

S.#..
#####
#...# 

并不能直接从上面到达下面但也是可以到达的，而且枚举边界上的点再搜索会超时

然后想了一个比较正确（但还是不正确）的方法：

把读入的一个迷宫变成九个迷宫，判断从起点(x, y)能否走到(x + n, y)或(x - n, y)或(x, y + m)或(x, y - m).

但这么做如果要走不止一个迷宫才能回到起点就GG了

比如这组数据：

#.##.##.##.##.##.##.
#.##.##.##.##.##.##.
#.##.##.##.##.##.##.
S.#..#..#..#..#..#..
##..#..#..#..#..#..#
#..#..#..#..#..#..##

愉快地从下面跑到上面再跑到下面再...

显然这种情况把1 * 1迷宫拓展成3 * 3是不可取的，而如果拓展成9 * 9（81 * 81）那一定是会爆内存的

所以不能拓展迷宫而对坐标取模就好了.

如果走到过某个点现在又走到了这个点，那显然是可以走无限远的。

现在出现了一些（堆）问题：

如何判断是否走到过这个点呢？

有一个比较巧妙的方法：

记录取模的横纵坐标x, y时，同时记录没有取模的坐标lx, ly

当第一次走这个迷宫的时候，x, y和lx, ly肯定是分别相等的

所以只要走到的一个点的x, y和lx, ly不相等（x!=lx || y!=ly），那这个点一定是被走了第二遍.

[Code:]

 //P1363 幻想迷宫
 #include<iostream>
 #include<cstdio>
 #include<cstring>
 using namespace std;

 const int MAXN =  + ;
 const int dx[] = {, -, , };
 const int dy[] = {, , , -};

 int n, m;
 int st_x, st_y;
 int vis[MAXN][MAXN][];
 bool fl, a[MAXN][MAXN];
 char ch;

 void dfs(int x, int y, int lx, int ly) {
     if(fl) return;
     if(vis[x][y][] && (vis[x][y][]!=lx || vis[x][y][]!=ly)) {
         fl = ;
         return;
     }
     vis[x][y][] = lx, vis[x][y][] = ly, vis[x][y][] = ;
     for(int i=; i<; ++i) {
         int xx = (x + dx[i] + n) % n, yy = (y + dy[i] + m) % m;
         int lxx = lx + dx[i], lyy = ly + dy[i];
         if(!a[xx][yy]) {
             if(vis[xx][yy][]!=lxx || vis[xx][yy][]!=lyy || !vis[xx][yy][])
                 dfs(xx, yy, lxx, lyy);
         }
     }
 }
 int main() {
     ios::sync_with_stdio(false);
     while(cin >> n >> m) {
         fl = ;
         memset(a, , sizeof(a));
         memset(vis, , sizeof(vis));
         for(int i=; i<n; ++i)
             for(int j=; j<m; ++j) {
                 cin >> ch;
                 if(ch == '#') a[i][j] = ;
                 if(ch == 'S') st_x = i, st_y = j;
             }
         dfs(st_x, st_y, st_x, st_y);
         if(fl) puts("Yes");
         else puts("No");
     }
 }