洛谷 P1712 [NOI2016]区间（线段树）

传送门

考虑将所有的区间按长度排序

考虑怎么判断点被多少区间覆盖，这个可以离散化之后用一棵权值线段树来搞

然后维护两个指针$l,r$，当被覆盖次数最多的点的覆盖次数小于$m$时不断右移$r$，在覆盖次数大于等于$m$时不断右移$l$，然后每一次用$len[r]-len[l]$更新答案，其中$len$表示该区间的长度

//minamoto
#include<iostream>
#include<cstdio>
#include<algorithm>
#define inf 0x3f3f3f3f
using namespace std;
#define getc() (p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++)
char buf[1<<21],*p1=buf,*p2=buf;
template<class T>inline bool cmax(T&a,const T&b){return a<b?a=b,1:0;}
template<class T>inline bool cmin(T&a,const T&b){return a>b?a=b,1:0;}
inline int read(){
    #define num ch-'0'
    char ch;bool flag=0;int res;
    while(!isdigit(ch=getc()))
    (ch=='-')&&(flag=true);
    for(res=num;isdigit(ch=getc());res=res*10+num);
    (flag)&&(res=-res);
    #undef num
    return res;
}
const int N=5e5+5;
int sum[N<<3],add[N<<3],L[N],R[N],val[N<<1],n,m,lim,cnt,ans=inf;
struct node{
    int len,id;
    node(){}
    node(int len,int id):len(len),id(id){}
    inline bool operator <(const node &b)const
    {return len<b.len;}
}a[N];
inline void upd(int p){
    if(add[p]){
        add[p<<1]+=add[p],add[p<<1|1]+=add[p];
        sum[p<<1]+=add[p],sum[p<<1|1]+=add[p];
        add[p]=0;
    }
}
void update(int p,int l,int r,int ql,int qr,int val){
    if(ql>r||qr<l) return;
    if(ql<=l&&qr>=r) return (void)(add[p]+=val,sum[p]+=val);
    int mid=(l+r)>>1;upd(p);
    update(p<<1,l,mid,ql,qr,val);
    update(p<<1|1,mid+1,r,ql,qr,val);
    sum[p]=max(sum[p<<1],sum[p<<1|1]);
}
int main(){
//    freopen("testdata.in","r",stdin);
    n=read(),m=read();
    for(int i=1;i<=n;++i)
    L[i]=val[++cnt]=read(),R[i]=val[++cnt]=read(),a[i]=node(R[i]-L[i],i);
    sort(a+1,a+1+n);
    sort(val+1,val+1+cnt),lim=unique(val+1,val+1+cnt)-val-1;
    for(int i=1;i<=n;++i)
    L[i]=lower_bound(val+1,val+1+lim,L[i])-val,R[i]=lower_bound(val+1,val+1+lim,R[i])-val;
    int l=0,r=0;
    while(true){
        while(sum[1]<m&&r<n){
            int i=a[++r].id,u=L[i],v=R[i];
            update(1,1,lim,u,v,1);
        }
        if(sum[1]<m) break;
        while(sum[1]>=m&&l<n){
            int i=a[++l].id,u=L[i],v=R[i];
            update(1,1,lim,u,v,-1);
        }
        cmin(ans,a[r].len-a[l].len);
    }
    printf("%d
",ans==inf?-1:ans);
    return 0;
}