洛谷 1712 BZOJ 4653 [NOI2016]区间

【题解】

　　先把区间按照未离散化的长度排序，保存区间长度，然后离散化区间端点。每次把区间覆盖的点的覆盖次数加1，如果某个点被覆盖次数大于等于m，就从前往后开始删除区间直到没有一个点被覆盖的次数大于等于m，然后继续加入区间。边做边维护答案即可。

　　

 #include<cstdio>
 #include<algorithm>
 #define N 500010
 #define rg register
 #define ls (u<<1)
 #define rs (u<<1|1)
 using namespace std;
 int n,m,b[N<<],ans=2e9;
 struct tree{
     int l,r,mx,del;
 }a[N<<];
 struct interval{
     int l,r,len;
 }itv[N];
 inline int read(){
     int k=,f=; char c=getchar();
     while(c<''||c>'')c=='-'&&(f=-),c=getchar();
     while(''<=c&&c<='')k=k*+c-'',c=getchar();
     return k*f;
 }
 inline int min(int x,int y){
     return x<y?x:y;
 }
 inline bool cmp(interval a,interval b){
     return a.len<b.len;
 }
 void build(int u,int l,int r){
     a[u].l=l; a[u].r=r; int mid=(l+r)>>;
     if(l<r) build(ls,l,mid),build(rs,mid+,r);
 }
 void update(int u,int l,int r,int del){
     if(l<=a[u].l&&a[u].r<=r){
         a[u].del+=del; a[u].mx+=del; return;
     }
     int d=a[u].del; a[u].del=;
     a[ls].del+=d; a[rs].del+=d;
     a[ls].mx+=d; a[rs].mx+=d;
     int mid=(a[u].l+a[u].r)>>;
     if(l<=mid) update(ls,l,r,del);
     if(r>mid) update(rs,l,r,del);
     a[u].mx=max(a[ls].mx,a[rs].mx);
 }
 int main(){
     n=read(); m=read();
     for(rg int i=;i<=n;i++)
         itv[i].l=b[i]=read(),itv[i].r=b[i+n]=read(),itv[i].len=itv[i].r-itv[i].l;
     sort(b+,b++(n<<)); int n2=unique(b+,b++(n<<))-b-;
     for(rg int i=;i<=n;i++)
         itv[i].l=lower_bound(b+,b++n2,itv[i].l)-b,
         itv[i].r=lower_bound(b+,b++n2,itv[i].r)-b;
     sort(itv+,itv++n,cmp);
     build(,,n2);
     int front=;
     for(rg int rear=;rear<=n;rear++){
         update(,itv[rear].l,itv[rear].r,);
         while(a[].mx>=m&&front<=rear){
             ans=min(ans,itv[rear].len-itv[front].len);
             update(,itv[front].l,itv[front].r,-);
             front++;
         }
     }
     if(ans==2e9) puts("-1");
     else printf("%d\n",ans);
     return ;
 }