bzoj1901--樹狀數組套主席樹

樹狀數組套主席樹模板題。。。

題目大意：

給定一個含有n個數的序列a[1],a[2],a[3]……a[n]，程式必須回答這樣的詢問：對於給定的i,j,k，在a[i],a[i+1],a[i+2]……a[j]中第k小的數是多少(1≤k≤j-i+1)，並且，你可以改變一些a[i]的值，改變後，程式還能針對改變後的a繼續回答上面的問題。你需要編一個這樣的程式，從輸入文件中讀入序列a，然後讀入一系列的指令，包括詢問指令和修改指令。對於每一個詢問指令，你必須輸出正確的回答。 第一行有兩個正整數n(1≤n≤10000)，m(1≤m≤10000)。分別表示序列的長度和指令的個數。第二行有n個數，表示a[1],a[2]……a[n]，這些數都小於10^9。接下來的m行描述每條指令，每行的格式是下麵兩種格式中的一種。 Q i j k 或者 C i t Q i j k （i,j,k是數字，1≤i≤j≤n, 1≤k≤j-i+1）表示詢問指令，詢問a[i]，a[i+1]……a[j]中第k小的數。C i t (1≤i≤n，0≤t≤10^9)表示把a[i]改變成為t。

思路：

這題可以整體二分做。可以看他的做法：http://blog.csdn.net/coldef/article/details/53843459

如果沒有修改操作，顯然主席樹就可以解決。但有了修改操作，因為主席樹每個節點都和前面的節點有關，所以暴力修改是O(n*logn)的，顯然會超時。所以要用到樹狀數組套主席樹。

我們不再是一個節點有連向前面的節點的邊，而是在原來的基礎上修改（原來的節點不保存）。在主席樹外面套一層樹狀數組，這樣每個節點的值只需要查詢一邊樹狀數組就可以了。修改是O(logn)的。

還要離散a數組的值。

具體看代碼

代碼：

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
inline char Nc(){
    static char buf[100000],*p1=buf,*p2=buf;
    if(p1==p2){
        p2=(p1=buf)+fread(buf,1,100000,stdin);
        if(p1==p2)return EOF;
    }
    return *p1++;
}
inline void Read(int& x){
    char c=Nc();
    for(;c<'0'||c>'9';c=Nc());
    for(x=0;c>='0'&&c<='9';x=(x<<3)+(x<<1)+c-48,c=Nc());
}
inline void Read(char& C){
    char c=Nc();
    while(c!='Q'&&c!='C')c=Nc();
    C=c;
}
#define N 10001
struct Gj{
    int l,r,w;
}c[N*220];
struct Job{
    int x,y,k;
}b[N];
int Rt[N],i,j,k,n,m,x,y,Hash[N<<1],Tot=1,Num,a[N],s[N<<1],S,L[N],R[N],l1,l2;
char C;
bool f[N];
inline int Lowbit(int x){
    return x&-x;
}
inline int Find(int x){
    int l=1,r=Tot,Mid;
    while(l<=r){
        Mid=l+r>>1;
        if(x>Hash[Mid])l=Mid+1;else r=Mid-1;
    }
    return l;
}
inline void Update(int& Node,int l,int r,int Last,int x,int y){
    c[++Num]=c[Last];Node=Num;
    c[Node].w+=y;
    if(l==r)return;
    int Mid=l+r>>1;
    if(x<=Mid)Update(c[Node].l,l,Mid,c[Last].l,x,y);else Update(c[Node].r,Mid+1,r,c[Last].r,x,y);
}
inline int Query(int l,int r,int k){
    if(l==r)return l;
    int Sum=0,Mid=l+r>>1;
    for(int i=1;i<=l1;i++)Sum-=c[c[L[i]].l].w;
    for(int i=1;i<=l2;i++)Sum+=c[c[R[i]].l].w;
    if(Sum>=k){
        for(int i=1;i<=l1;i++)L[i]=c[L[i]].l;
        for(int i=1;i<=l2;i++)R[i]=c[R[i]].l;
        return Query(l,Mid,k);
    }else{
        for(int i=1;i<=l1;i++)L[i]=c[L[i]].r;
        for(int i=1;i<=l2;i++)R[i]=c[R[i]].r;
        return Query(Mid+1,r,k-Sum);
    }
}
char Ss[20];
int Len;
inline void Print(int x){
    if(x==0){
        putchar('0');putchar('\n');
        return;
    }
    for(Len=0;x;x/=10)Ss[++Len]=x%10;
    for(;Len;)putchar(Ss[Len--]+48);
    putchar('\n');
}
int main()
{
    Read(n);Read(m);
    for(i=1;i<=n;i++)Read(a[i]),s[++S]=a[i];
    for(i=1;i<=m;i++){
        Read(C);Read(b[i].x);Read(b[i].y);
        if(C=='Q'){
            Read(b[i].k);
            b[i].x--;f[i]=1;
        }else s[++S]=b[i].y;
    }
    sort(s+1,s+S+1);
    Hash[1]=s[1];
    for(i=2;i<=S;i++)
    if(s[i]!=s[i-1])Hash[++Tot]=s[i];
    for(i=1;i<=n;i++){
        x=Find(a[i]);
        for(j=i;j<=n;j+=Lowbit(j))Update(Rt[j],1,Tot,Rt[j],x,1);
    }
    for(i=1;i<=m;i++)
    if(!f[i]){
        x=Find(a[b[i].x]);
        for(j=b[i].x;j<=n;j+=Lowbit(j))Update(Rt[j],1,Tot,Rt[j],x,-1);
        a[b[i].x]=b[i].y;
        x=Find(b[i].y);
        for(j=b[i].x;j<=n;j+=Lowbit(j))Update(Rt[j],1,Tot,Rt[j],x,1);
    }else{
        l1=l2=0;
        for(j=b[i].x;j;j-=Lowbit(j))L[++l1]=Rt[j];
        for(j=b[i].y;j;j-=Lowbit(j))R[++l2]=Rt[j];
        Print(Hash[Query(1,Tot,b[i].k)]);
    }
    return 0;
}