标签：等于 ++ 修改 部分 else 大于 大致 divide 位置
部分内容引自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) }
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)
标签：等于 ++ 修改 部分 else 大于 大致 divide 位置
原文地址：http://www.cnblogs.com/keshuqi/p/6223899.html
