ma18e Trips

题面

题意

• 给定 $n$ 个点，$m$ 个时刻，$k$，每个时刻都会新加入一条边，对于每个时刻，求此时的最大点集大小，满足点集的点构成的子图中的点的度数都不小于 $k$
• $2\le n\le 2\times 10^5,2\le m\le 1\times 10^5,1\le k\le n$

思路

1. 考虑如何求一张图满足题意的点集：拓扑思想，连锁反应，一个点度数 < k 了，这个点就不合法了，就要删除该点，将其加入队列，遍历出边，如果 $in[v]==k-1$，将 $v$ 加入队列。因为每个点只加入一次队列，故当一个点度数 < k - 1 时，此时不需要再考虑该点。最后不在队列中的点便是答案。
2. 如果正序做，每次加一条边，可能让本来 $in[v]<k-1$ 的点，即不需要再考虑的点重复进队，复杂度卡成了 $O(nm)$
3. 正难则反，我们考虑倒序删边。此时发现一个点的度数只减不增，不会让点重复进队，答案有单调性。复杂度降为 $O(n+m)$
4. 注意：无向图，删边的时候用 map 要把两条有向边都删掉。如果遍历到当前边已经被删，直接继承上一次的答案。

代码

const int N = 2e5 + 5;

struct node {
    int u, v;
    friend bool operator < (node a, node b) {
        return a.u == b.u ? a.v < b.v : a.u < b.u;
    }
};

struct edge {int u, v;} ed[N];

int n, m, k, ans, in[N], a[N];
vi e[N];
queue<int> q;
map<node, bool> vis;

void inp() {
    cin >> n >> m >> k;
    rep(i, 1, m) {
        int u = rd, v = rd;
        ed[i] = {u, v};
        e[u].pb(v), e[v].pb(u);
        ++in[u], ++in[v];
    }
}

void solve() {
    while(!q.empty()) {
        int u = q.front(); q.pop();
        --ans;
        for(int v : e[u]) {
            if(vis[{u, v}]) continue;
            vis[{u, v}] = vis[{v, u}] = true;
            --in[v];
            if(in[v] == k - 1) q.push(v);
        }
    }
}

int main() {
    inp();
    ans = n;
    rep(i, 1, n) if(in[i] < k) q.push(i);
    solve();
    a[m] = ans;
    per(i, m, 2) {
        int u = ed[i].u, v = ed[i].v;
        if(vis[{u, v}]) {a[i - 1] = a[i]; continue;}
        vis[{u, v}] = vis[{v, u}] = true;
        --in[u], --in[v];
        if(in[u] < k) q.push(u);
        if(in[v] < k) q.push(v);
        solve();
        a[i - 1] = ans;
    }
    rep(i, 1, m) cout << a[i] << endl;
    return 0;
}