Description
在数轴上有 n个闭区间 [l1,r1],[l2,r2],...,[ln,rn]。现在要从中选出 m 个区间，使得这 m个区间共同包含至少一个位置。换句话说，就是使得存在一个 x，使得对于每一个被选中的区间 [li,ri]，都有 li≤x≤ri。
对于一个合法的选取方案，它的花费为被选中的最长区间长度减去被选中的最短区间长度。区间 [li,ri] 的长度定义为 ri−li，即等于它的右端点的值减去左端点的值。
求所有合法方案中最小的花费。如果不存在合法的方案，输出 −1。
Input
第一行包含两个正整数 n,m用空格隔开，意义如上文所述。保证 1≤m≤n
接下来 n行，每行表示一个区间，包含用空格隔开的两个整数 li 和 ri 为该区间的左右端点。
N<=500000,M<=200000,0≤li≤ri≤10^9
Output
只有一行，包含一个正整数，即最小花费。
Sample Input
6 3
3 5
1 2
3 4
2 2
1 5
1 4
3 5
1 2
3 4
2 2
1 5
1 4
Sample Output
2
HINT
Source
这道题和极差最小生成树有点像，就是枚举一个区间作为长度最短的区间，求得满足覆盖>=m次的最大的区间的长度最小；
暴力的做法是把长度sort一边，从前往后枚举最小边，对于每一个枚举的最小长度区间，一直往后加，直到覆盖m次后break；
至于如何判断是否覆盖了>=m次,这就是线段树区间加法了；
然后我们发现左端点是单调的，因为是在同样有点满足覆盖>=m次的条件下,后面的肯定比前面优，所以就可用单调队列扫一遍即可
坐标离散化一下。。。
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ls (x<<1)
#define rs (x<<1|1)
using namespace std;
const int N=1000000;
const int Inf=2147483647;
struct data{
int l,r,len;
}q[N];
int tr[N*4],lazy[N*4],hsh[N],num[N],tot,n,m;
bool cmp(const data &a,const data &b){
return a.len<b.len;
}
void pushdown(int x){
tr[ls]+=lazy[x],tr[rs]+=lazy[x];
lazy[ls]+=lazy[x];lazy[rs]+=lazy[x];lazy[x]=0;
}
void pushup(int x){
tr[x]=max(tr[ls],tr[rs]);
}
void update(int x,int l,int r,int xl,int xr,int v){
if(xl<=l&&r<=xr){
lazy[x]+=v;tr[x]+=v;return;
}
if(lazy[x]) pushdown(x);
int mid=(l+r)>>1;
if(xr<=mid) update(ls,l,mid,xl,xr,v);
else if(xl>mid) update(rs,mid+1,r,xl,xr,v);
else update(ls,l,mid,xl,mid,v),update(rs,mid+1,r,mid+1,xr,v);
pushup(x);
}
int main(){
scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++){
scanf("%d%d",&q[i].l,&q[i].r);
hsh[++tot]=q[i].l;hsh[++tot]=q[i].r;
}
sort(hsh+1,hsh+tot+1),tot=unique(hsh+1,hsh+tot+1)-hsh-1;
for(int i=1;i<=n;i++){
q[i].l=lower_bound(hsh+1,hsh+1+tot,q[i].l)-hsh;
q[i].r=lower_bound(hsh+1,hsh+1+tot,q[i].r)-hsh;
q[i].len=hsh[q[i].r]-hsh[q[i].l];
}
int head=1,ans=Inf;sort(q+1,q+1+n,cmp);
for(int i=1;i<=n;i++){
update(1,1,tot,q[i].l,q[i].r,1);
while(tr[1]>=m){
ans=min(q[i].len-q[head].len,ans);
update(1,1,tot,q[head].l,q[head].r,-1);
head++;
}
}
if(ans==Inf) puts("-1");
else printf("%d
",ans);
}