2020ICPC昆明 M.Stone Games（可持久化权值线段树）

题意：

给定长度为n的序列，q次询问，
每次询问给出L,R，问[L,R]中选择一个子集求和，无法凑出的最小数是多少。
询问强制在线。

数据范围：n<=1e6，q<=1e6，1<=a(i)<=1e9，时限4s。

解法：

先考虑给定n个数,如何计算无法凑出的最小数是多少:
1.先判断是否有1,如果有1则可以组成1,否则答案就是1.
2.假设现在能组成[1,x],设在[1,x+1]范围内的数的总和为sum,
那么就可以组成[1,sum],如果sum=x,说明x不能再增长了,答案为x+1,
否则令x=sum,继续求[1,x+1]范围内数的总和,不断递推.
查询[1,x]的和可以用权值线段树.
x的增长至少是斐波那契数列{1,2,3,5,....},因此次数不会太大,我估计是O(log).

这题的询问是对区间的,因此用区间权值线段树就行了,即可持久化权值线段树.

算法总复杂度O(n*log*log)

ps:
也可以直接在树上跑,可以优化掉一个log.

code：

#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int maxm=1e6+5;
//
const ll p=1e9+10;
int rt[maxm],tot;
int lc[maxm*66],rc[maxm*66];
ll sum[maxm*66];
//
int a[maxm];
int n,q;
void update(int x,int val,int l,int r,int &k,int last){
    k=++tot;
    lc[k]=lc[last];
    rc[k]=rc[last];
    sum[k]=sum[last]+val;
    if(l==r)return ;
    int mid=(l+r)/2;
    if(x<=mid)update(x,val,l,mid,lc[k],lc[last]);
    else update(x,val,mid+1,r,rc[k],rc[last]);
}
ll ask(int st,int ed,int l,int r,int x,int y){
    if(st<=l&&ed>=r)return sum[y]-sum[x];
    int mid=(l+r)/2;
    ll ans=0;
    if(st<=mid)ans+=ask(st,ed,l,mid,lc[x],lc[y]);
    if(ed>mid)ans+=ask(st,ed,mid+1,r,rc[x],rc[y]);
    return ans;
}
void solve(){
    scanf("%d%d",&n,&q);
    for(int i=1;i<=n;i++){
        scanf("%d",&a[i]);
    }
    for(int i=1;i<=n;i++){
        update(a[i],a[i],1,p,rt[i],rt[i-1]);
    }
    ll last=0;
    while(q--){
        int l,r;scanf("%d%d",&l,&r);
        l=(l+last)%n+1;
        r=(r+last)%n+1;
        if(l>r)swap(l,r);
        ll S=0;
        while(1){
            ll SS=ask(1,min(S+1,p),1,p,rt[l-1],rt[r]);
            if(SS==S)break;
            S=SS;
        }
        last=S+1;
        printf("%lld\n",last);
    }
}
signed main(){
    solve();
    return 0;
}

---