2021牛客暑期多校训练营8 F.Robots

$题意:有三种机器人1：只会向下走2：只会向右走3：可以右也可以下$
$给出n\ast m的地图，和q次询问，询问机器人是否能走起点走到终点$
题目

---

思路：我们去维护每一个终点，记录所有能顺利走到他的起点，所以我们从<1,1>开始枚举到<n,m>，令f[a][b][c][d]是终点<a,b>到起点<c,d>的连通性,1.如果该点不是'1'，那么必能由j-1走来，显然也能由所有能走到j-1的地方走来，所以f[a][b][c][d] |= f[a][b][c][d-1]以及所有能走到<c,d-1>的点，并且f[a][b][c][d] = 1(自己到自己肯定可达），2.如果该点是'1'，注意，我们维护的是终点，所以没有任何点能到达该終点，所以f[a][b][1][1]到f[a][b][c][d]都应该标记为false。但是这样四维空间会MLE，考虑优化，我们每一次转移都很繁琐，又因为或运算，考虑bitset，bitset<N*N> f[N]表示当前枚举到的终点的横坐标，那么f[j] |= f[j-1],这样向右走的情况就考虑了，那么向下走的呢？可以发现，我们的f是一维的，也就是说，每次重复枚举到j的时候，我们的i必定已经++了，他的意义就是f[j-1]已经完成了从上到下的状态转移，具体可以手玩一个例子，有同学可能又会继续问，这里的bitset不是只有维吗，怎么记录能顺利到<i, j>的点呢，实际上我们可以映射一下，将<x,y>映射成xm+y即可，所以实际上，我们的f[j][t]表示的是：<x,y>这个起点(x*m+y=t)是否能到当前i下的<i,j>

例子摘抄自牛客题解

#include <bits/stdc++.h>

using namespace std;

typedef pair<int, int> pii;
const int N = 510;

struct node
{
     int x, y, id, t;
};

char g[N][N];
int n, m, k;
bitset<N*N> f[N];
vector<node> Q[N][N];
bool ans[500010];
int main()
{
    cin >> n >> m;
    
    for(int i = 1; i <= n; i ++) scanf("%s", g[i] + 1);
    
    cin >> k;
    for(int i = 1; i <= k; i ++)
    {
        int type, sx, sy, ex, ey;
        scanf("%d %d %d %d %d", &type, &sx, &sy, &ex, &ey);
        Q[ex][ey].push_back({sx, sy, i, type});
    }
    
    for(int i = 1; i <= n; i ++)
        for(int j = 1;j <= m; j ++)
        {
            f[j] |= f[j-1];
            if(g[i][j] == '0') f[j][i*m + j] = 1;
            else f[j].reset();
            
            //       <i, j> is end position
            for(auto it : Q[i][j])
            {
                int type, x, y, id;
                type = it.t, x = it.x, y = it.y, id = it.id; 
                if(type == 1) if(j == y && f[j][x*m+y]) ans[id] = 1;
                else if(type == 2) if(i == x && f[j][x*m+y]) ans[id] = 1;
				else(f[j][x*m+y]) ans[id] = 1;
            }
        }
    
    for(int i = 1; i <= k; i ++)
        if(ans[i]) puts("yes");
        else puts("no");
    
}