整体二分算法

整体二分

整体二分，就是通过二分答案值域将问题转化成判定，并不断地将每组询问的答案取值区间二分地分成两部分，并在递归至底部后获得一批询问的答案。

---

一、大致思路

整体二分可以用于解决满足以下条件的问题：

• 可离线
• 答案可二分
• 修改对判定答案的贡献相对独立，修改之间不互相影响
• 修改操作对其影响的询问的贡献情况不随判定标准的改变而改变

整体二分需要先将所有问题离线，统一处理所有询问。枚举出一个值，判断每个操作与该值的大小关系，从而将询问分成了两个规模减半的子问题。由上述性质，如果我们已经计算过某一些修改对询问的贡献，那么这个贡献可以永远不会被改变，那么我们不需要重复计算这部分的贡献，只要记录这一部分的总共先，再进一步二分时直接加上去就好了。
这么干说实在是有点无力，拿例题说话吧

二、例题分析

题目链接

如果没有修改，主席树O(nlog(n))就可以搞定，但是如果加上修改呢？那可能就要外层套一个树状数组了……反正我不会。
这道题解法不唯一，这里我们用整体二分解决。
我们将起始数列转化成n次插入操作，将修改操作看成删除原数 和 插入新数 两部分，于是这道题就符合了整体二分的应用条件。
我们需要实现一个函数solve(l,r,L,R),表示操作序列中第l~r个询问（注意不一定是按照输入顺序排第几个）的答案在[L,R]中。对于min=(L+R)/2,我们考虑如何验证。我们将大于mid的数字视为0，小于等于mid的数字视为1，对于一个询问[ql,qr,k]，查询这段区间内1的个数num，如果num>=k,说明该询问的答案在[L,mid]内，反之则在[mid+1,R]内。这样我们就将操作划分成了两部分，递归下去就行了。那么修改呢？如果修改的值比mid大,就丢到[mid+1,R]的区间内，反之亦然。注意一点，如果一个区间被丢到了[mid+1,R],那么这个询问的k值需要减去num,正确性是显然的。
注意，在将操作分成两部分的时候不能改变某一段区间内部的相对顺序（即稳定排序）。换句话说，原来操作a在操作b前，并且他们被分到了一个区间，那么在新区间里操作a还是要在操作b的前面。
有了例题，我们就能大概知道整体二分是用来干什么的了。

#include<bits/stdc++.h>
using namespace std;
#define il inline
#define re register
#define lowbit(x) (-(x)&(x))
#define Abs(x) ((x)<0?-(x):(x))
#define Val(x) ((x)<0?-1:1)
il int read(){
   
	int s=0,w=1;char c=getchar();
	while(c<'0'||c>'9'){
    if(c=='-') w=-1;c=getchar();}
	while(c>='0'&&c<='9'){
    s=(s<<1)+(s<<3)+c-'0';c=getchar();}
	return s*w;
}
il int read_sp(){
   
	char c=getchar();
	while(c