[bzoj4653]区间

将所有区间按照长度排序，枚举最小长度和最大长度，然后判断区间内是否存在符合条件的m个区间
这个东西由于右端点单调递增，所以即：1.支持插入区间；2.支持删除区间；3.维护是否存在被m个区间覆盖的点
对于3操作，可以视为维护区间max，即区间加减和区间max，线段树即可

#include<bits/stdc++.h>
using namespace std;
#define N 500005
#define mid (l+r>>1)
struct ji{
    int l,r,len;
    bool operator < (const ji &k)const{
        return len<k.len;
    }
}a[N];
int V,n,m,r,sum,ans,f[N*30],laz[N*30],ls[N*30],rs[N*30];
void update(int &k,int l,int r,int x,int y,int z){
    if ((l>y)||(x>r))return;
    if (!k)k=++V;
    if ((x<=l)&&(r<=y)){
        f[k]+=z;
        laz[k]+=z;
        return;
    }
    update(ls[k],l,mid,x,y,z);
    update(rs[k],mid+1,r,x,y,z);
    f[k]=max(f[ls[k]],f[rs[k]])+laz[k];
}
int main(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++){
        scanf("%d%d",&a[i].l,&a[i].r);
        a[i].len=a[i].r-a[i].l;
    }
    ans=0x3f3f3f3f;
    sort(a+1,a+n+1);
    for(int i=1,j=1;i<=n;i++){
        if ((i==1)||(a[i-1]<a[i])){
            for(;j<=n;j++){
                if ((f[r]>=m)&&((j==1)||(a[j-1]<a[j])))break;
                update(r,0,1e9,a[j].l,a[j].r,1);
            }
            if (f[r]>=m)ans=min(ans,a[j-1].len-a[i].len);
        }
        update(r,0,1e9,a[i].l,a[i].r,-1);
    }
    if (ans==0x3f3f3f3f)ans=-1;
    printf("%d",ans);
}