三种做法：

1.整体二分：

二分mid

考虑小于mid的修改的影响

但是大于mid的修改可能会干掉小于mid的一些值

所以额外把一个修改变成一个值的删除和一个值的添加

这样就相互独立了！

整体二分，树状数组维护即可。

2.树状数组套动态开点线段树

树状数组每个点维护一个线段树，空间O(Nlog^2N)

修改的时候，修改logn个点的线段树，每个点把旧权值--，新权值++。复杂度O(log^2N)

查询的时候，找到[1,l-1],[1,r]两个前缀对应的logn个线段树，然后logn个线段树和logn个线段树差分一下

复杂度O(log^2N)

如果值域过大就离散化。

（不过既然离散化要离线，何不直接整体二分？）

3.分块

万事皆可分块

块内维护原数组（方便修改），排序后的数组

查询，外面二分一个mid，每个块二分小于等于mid第一个数的位置，求出小于等于mid的数的个数。边界暴力处理即可。

修改，直接暴力重构整个块

（也可以每个块维护一个动态开点线段树，不过常数大，而且还不如法二优秀）

O(nsqrt(n)log^2n）由于一个logn比较虚，而且常数很小。所以可过！（惊了）

 

 

加强版：

带修改带插入区间第K大？

正解：替罪羊树套动态开点线段树（log^2N 并不会）

疯狂暴力：分块。还是上面的做法，插入也重构，超过根号必要的时候可以裂解。每次二分到哪个块的哪个位置。还是可以过（惊了）