LOJ#2508. 「AHOI / HNOI2018」游戏 拓扑排序

题目链接

这个题网上题解好多都是暴力啊…..

怎么一个省选题就被暴力踩成了这样…

首先我们可以将序列中没有门的房间缩成一个点

然后我们有个很直接的想法就是暴力往左右两边拓展

直到无法拓展为止，但是这样子复杂度肯定是错的

我们发现对于一个门$i$ 如果它的钥匙的位置在它的右边

那么这左边的点肯定是不能到达右边的区间

所以先更新完左边的到达区间再更新右边的肯定不会更劣

可以连一条边$i -> i + 1$

如果钥匙在左边也可以连一条边$i + 1-> i$

这样子按照拓扑序更新的话 复杂度应该是线性的

每个钥匙会被用来打开一扇门 那复杂度就是$\Theta(n + m)$的

然后就做完了

而且题目为了卡正解放了很多复杂度不对的暴力过去

例如拓扑序倒着加会快很多

Codes

#include<bits/stdc++.h>

using namespace std;

int read() {
    int _ = 0, ___ = 1; char __ = getchar(); 
    for(; !isdigit(__); __ = getchar()) if(__ == '-') ___ = -1;
    for(; isdigit(__); __ = getchar()) _ = (_ << 3) + (_ << 1) + (__ ^ 48);
    return _ * ___;
}

const int N = 1e6 + 10;
int be[N], cnt = 1, L[N], R[N];
int n, m, q, key[N], de[N];
vector<int> G[N];

void extend(int x) {
    while(true) {
        int _L = L[x], _R = R[x];
        while(L[x] <= key[L[x] - 1] && key[L[x] - 1] <= R[x]) 
            L[x] = L[be[L[x] - 1]];
        while(L[x] <= key[R[x]] && key[R[x]] <= R[x])
            R[x] = R[be[R[x] + 1]];
        if(_L == L[x] && _R == R[x]) break;
    }
}

void TopSort() {
    queue<int> q;
    for(int i = 1; i <= cnt; ++ i)
        if(!de[i])
            q.push(i);
    while(!q.empty()) {
        int k = q.front(); q.pop();
        //cerr << k << endl;
        extend(k);
        for(auto v : G[k])
            if(!(-- de[v]))
                q.push(v);
    }
}

int main() {
#ifndef ONLINE_JUDGE
    freopen("2508.in", "r", stdin);
    freopen("2508.out", "w", stdout);
#endif
    int x, y;
    n = read(), m = read(), q = read();
    for(int i = 1; i <= m; ++ i) {
        x = read(); y = read();
        key[x] = y;
    }
    for(int i = 1; i <= n; ++ i) {
        cnt += (key[i - 1] != 0);
        be[i] = cnt;
        R[cnt] = i;
        if(!L[cnt]) L[cnt] = i;
    }
    for(int i = 1; i <= n; ++ i)
        if(key[i]) {
            if(be[i] < be[key[i]]) 
                G[be[i]].push_back(be[i] + 1), ++ de[be[i] + 1];
            else
                G[be[i] + 1].push_back(be[i]), ++ de[be[i]];
        }
    TopSort();
    //for(int i = 1; i <= n; ++ i)
    //  cout << i << ' ' << L[be[i]] << ' ' << R[be[i]] << endl;
    while(q --) {
        x = read(); y = read();
        if(L[be[x]] <= y && y <= R[be[x]]) puts("YES");
        else puts("NO");
    }
    cerr << 1.0 * clock() / CLOCKS_PER_SEC << endl;
    return 0;
}