整体二分初步

部分内容引自myt论文：树状数组延伸和离线优化（CDQ、整体二分和莫队）

大致思路

1.确定答案范围[L,R],mid=L+R>>1;
2.算出答案在[L,mid]内的操作对答案在[mid+1,R]内的操作的贡献;
3.将答案在[L,mid]内的操作放入队列Q1，solve(Q1,L,mid)
将答案在[mid+1,R]内的操作放入Q2,solve(Q2,mid+1,R)

伪代码

divide(hd,tl,l,r){
    if(hd>tl)
        exit
    if(l==r){
        for(i->hd to tl)
            if(queue[i].type=='Ask')
                ans[queue[i].pos]->l
        exit
    }
    int mid->(l+r)/2
    for(i->hd to tl){
        if(queue[i].type=='Add' , queue[i].r<=mid)
            add(queue[i].l,1)
            add(queue[i].r+1,-1)
        if(queue[i].type=='Del' , queue[i].r<=mid)
            add(queue[i].l,-1)
            add(queue[i].r+1,1)
        if(queue[i].type=='Ask')
            tmp[i]->ask(queue[i].r)-ask(queue[i].l-1)
    }
    int l1->0,l2->0
    for(i->hd to tl){
        if(queue[i].type=='Ask'){
            if(queue[i].added+tmp[i]>=queue[i].k)
                dq1[++l1]->queue[i]
            else
                queue[i].added->queue[i].added+tmp[i]
                dq2[++l2]->queue[i]
        }
        else
        {
            if (queue[i].y<=mid) dq1[++l1]->queue[i];
               else dq2[++l2]->queue[i];
           }
    }
    for(i->1 to l1)
        queue[head+i-1]->dq1[i]
    for(i->1 to l2)
        queue[head+l1+i-1]->dq2[i]
    divide(hd,hd+l1-1,l,mid)
    divide(hd+l1,tl,mid+1,r)
}

 

例题思路：动态区间第K小

1～N个数，M个操作，操作分为2种：
1）将x位置的数改为y;求[x,y]内的第K小数
STEP1：将修改操作分解为2个子操作：去掉原先的数a，插入一个新数b。
设此后所有操作数为K
STEP2：新建一个树状数组C和2个队列Q1、Q2，c[i]存储的是小于等于mid的数的个数。
STEP3：确定答案范围[L,R]，同时二分答案mid=L+R>>1
然后遍历1～K个操作：
（1）若是修改操作，且插入/删去的数<=mid，add(opt.x, +1 or -1)&&塞入Q1，否则若大于mid，不更新&&塞入Q2
（2）若是询问操作，且sum(opt.y)-sum(opt.x-1)<=opt.k，塞入Q1，否则，opt.k=opt.k-[sum(opt.y)-sum(opt.x-1)]&&塞入Q2
STEP4：还原更新
STEP5：solve(Q1,L,mid);solve(Q2,mid+1,R)