2021 ICPC 昆明 M Stone Games 可持久化值域线段树+动态开点+暴力

原题链接：https://ac.nowcoder.com/acm/contest/12548/M

题意

有n堆石子，每次可以选择一个区间，可以任意取区间内任意堆石子，问最小不能取到的石子数量是多少

分析

非常经典的mex问题，只不过现在可以取任意堆石子。

我们考虑一个问题，如何使得答案的上限增加。假设当前可以取到的石子个数是[1,x]，那么我们下次加入石子数在[1,x+1]之内的石子都可以增加上限，比如[1,x+1]之内石子数的和为sum，那么当前可以取到的石子范围就是[1,sum]，接着询问[1,sum+1]之内的石子数的和…

然后就是如何判断不能加入新的石子了，如果前一次区间的和与当前区间的和相同，说明已经没有新的石子加进来了，那么说明sum+1是无法构成的，那么输出答案就可以了。

Code

#include <iostream>
#include <cstring>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <queue>
#include <stack>
#include <string>
#include <set>
#include <map>
#include <bitset>
using namespace std;
//#define ACM_LOCAL
#define re register
#define fi first
#define se second
#define please_AC return 0
const int N = 1e6 + 10;
const int M = 5e6 + 10;
const int INF = 1e9;
const double eps = 1e-4;
typedef long long ll;
const ll MOD = 1e9 + 7;
typedef unsigned long long ull;
struct node {
    int lc, rc;
    ll val;
}hjt[N<<5];
int a[N], rt[N], cnt;
void modify(int &now, int pre, int l, int r, int k, int pos) {
    now = ++cnt;
    hjt[now] = hjt[pre];
    hjt[now].val += k;
    if (l == r) return;
    int mid = (l + r) >> 1;
    if (pos <= mid) modify(hjt[now].lc, hjt[pre].lc, l, mid, k, pos);
    else modify(hjt[now].rc, hjt[pre].rc, mid+1, r, k, pos);
}
ll query(int now, int pre, int ql, int qr, int l, int r) {
    if (ql <= l && qr >= r) return hjt[now].val - hjt[pre].val;
    int mid = (l + r) >> 1;
    ll ans = 0;
    if (ql <= mid) ans += query(hjt[now].lc, hjt[pre].lc, ql, qr, l, mid);
    if (qr > mid) ans += query(hjt[now].rc, hjt[pre].rc, ql, qr, mid+1, r);
    return ans;
}
void solve() {
    int n, m; cin >> n >> m;
    for (int i = 1; i <= n; i++) cin >> a[i];
    for (int i = 1; i <= n; i++) modify(rt[i], rt[i-1], 1, MOD, a[i], a[i]);
    ll ans = 0;
    while (m--) {
        int l, r; cin >> l >> r;
        l = (l + ans) % n + 1;
        r = (r + ans) % n + 1;
        if (l > r) swap(l, r);
        ll up = 0, now;
        while (1) {
            now = query(rt[r], rt[l-1], 1, min(MOD, up+1), 1, MOD);
            if (now == up) break;
            up = now;
        }
        ans = up + 1;
        printf("%lld\n", ans);
    }
}

signed main() {
#ifdef ACM_LOCAL
    ios_base::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
#endif
    solve();
    please_AC;
}