这种错误可能就我会犯把。。 我们会按区间长度排序，排序一定要在离散化之前，否则就会喜提10分。原因也很好分析，不过我硬是因此调了一个小时。

#include<bits/stdc++.h>
using namespace std;
const int N=1e6+10,INF=2e9;

int n,m,L[N],R[N],lsh[N],ord[N],tot,cnt;

struct node{
	int l,r;
	int mx,add;
}tr[N*4];

int read(){
	int x=0,f=1;char ch=getchar();
	while(ch<'0'||ch>'9'){
		if(ch=='-') f=-1;
		ch=getchar();
	}
	while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=getchar();
	return x*f;
}

bool cmp(int a,int b){
	return (R[a]-L[a])<(R[b]-L[b]);
}

void pushdown(int u){
	node &root=tr[u],&left=tr[u<<1],&right=tr[u<<1|1];
	if(!root.add) return;
	left.add+=root.add,right.add+=root.add;
	left.mx+=root.add,right.mx+=root.add;
	root.add=0;
}

void pushup(int u){
	tr[u].mx=max(tr[u<<1].mx,tr[u<<1|1].mx);
}

void build(int u,int l,int r){
	if(l==r) tr[u]={l,r,0,0};
	else{
		tr[u].l=l,tr[u].r=r;
		int mid=(l+r)>>1;
		build(u<<1,l,mid),build(u<<1|1,mid+1,r);
		pushup(u);
	}
}

void modify(int u,int l,int r,int x){
	if(tr[u].l>=l&&tr[u].r<=r){
		tr[u].add+=x;
		tr[u].mx+=x;
	}
	else{
		pushdown(u);
		int mid=(tr[u].l+tr[u].r)>>1;
		if(l<=mid) modify(u<<1,l,r,x);
		if(r>mid) modify(u<<1|1,l,r,x);
		pushup(u);
	}
}

int query(int u,int l,int r){
	if(tr[u].l>=l&&tr[u].r<=r) return tr[u].mx;
	pushdown(u);
	int mid=(tr[u].l+tr[u].r)>>1,ans=0;
	if(l<=mid) ans=max(ans,query(u<<1,l,r));
	if(r>mid) ans=max(ans,query(u<<1|1,l,r));
	return ans;
}

int main(){
	
	n=read(),m=read();
	for(int i=1;i<=n;i++){
		L[i]=read(),R[i]=read(),lsh[++tot]=L[i],lsh[++tot]=R[i],ord[i]=i;
	}
	sort(lsh+1,lsh+1+tot),cnt=unique(lsh+1,lsh+1+tot)-lsh-1;
	build(1,1,cnt);
	sort(ord+1,ord+1+n,cmp);
	for(int i=1;i<=n;i++){
		L[i]=lower_bound(lsh+1,lsh+1+cnt,L[i])-lsh;
		R[i]=lower_bound(lsh+1,lsh+1+cnt,R[i])-lsh;
	}
	//sort(ord+1,ord+1+n,cmp);
	int ans=INF;
    for(int l=1,r=0;l<=n;modify(1,L[ord[l]],R[ord[l]],-1),l++){
        while(r<n&&query(1,1,cnt)<m)
            r++,modify(1,L[ord[r]],R[ord[r]],1);
        if(r==n&&query(1,1,cnt)<m) break;
        ans=min(ans,(lsh[R[ord[r]]]-lsh[L[ord[r]]])-(lsh[R[ord[l]]]-lsh[L[ord[l]]]));
    }
	if(ans==INF) cout<<-1<<endl;
	else cout<<ans<<endl;
	
	return 0;
}