Codeforces840 D. Destiny（可持久化线段树，复杂度分析）

题意：

给定长度为n的序列，q次询问
每次询问给定L,R,k，问[L,R]内是否存在出现次数严格大于(R-L+1)/k的数，
如果存在则输出满足条件的最小答案，否则输出-1

数据范围：n,q<=3e5，2<=k<=5

解法：

直接建立可持久化权值线段树,维护每个值域区间内数的出现次数
在[L,R]版本内找满足条件的最小数即可,优先找左子树就行了。

这题主要的难点在于,为什么这样找的复杂度是对的,
别人的复杂度分析:
设区间长度为len,那么需要找数量>len/k的数
假设cnt[lc]>=x*(len/k),其中x是设出来的一个常数
那么cnt[rc]<=len-x*(len/k)=(k-x)*(len/k)
显然x*(len/k)<=len,因此x最大为k
左子树最多搜索x次,因为是(len/k)的x倍,
同理右子树最多搜索(k-x)次,
总次数最多k次,所以复杂度是O(k*logn)的

总结:学到了新的复杂度分析技巧

code：

#include<bits/stdc++.h>
using namespace std;
const int maxm=3e5+5;
int lc[maxm*40],rc[maxm*40],ma[maxm*40],cnt[maxm*40];
int rt[maxm],tot;
int n,q;
void update(int x,int l,int r,int last,int &k){
    k=++tot;
    lc[k]=lc[last];
    rc[k]=rc[last];
    cnt[k]=cnt[last];
    cnt[k]++;
    if(l==r){
        return ;
    }
    int mid=(l+r)/2;
    if(x<=mid){
        update(x,l,mid,lc[last],lc[k]);
    }else{
        update(x,mid+1,r,rc[last],rc[k]);
    }
}
int ask(int x,int l,int r,int L,int R){
    if(cnt[R]-cnt[L]<=x)return -1;
    if(l==r)return l;
    int mid=(l+r)/2;
    int ans=-1;
    ans=ask(x,l,mid,lc[L],lc[R]);//左子树
    if(ans==-1){
        ans=ask(x,mid+1,r,rc[L],rc[R]);
    }
    return ans;
}
signed main(){
    ios::sync_with_stdio(0);
    cin>>n>>q;
    for(int i=1;i<=n;i++){
        int x;cin>>x;
        update(x,1,n,rt[i-1],rt[i]);
    }
    while(q--){
        int l,r,k;cin>>l>>r>>k;
        int x=(r-l+1)/k;
        int ans=ask(x,1,n,rt[l-1],rt[r]);
        cout<<ans<<endl;
    }
    return 0;
}

---