题解 P1712 【[NOI2016]区间】

先按照长度排个序，然后依次添加区间。什么是添加？设这个区间是$[l,r]$，添加就是把$a_l,a_{l+1},a_{l+2},{...},a_{r}$都加上$1$，其中$a_i$表示第$i$个位置被几个区间覆盖。拿走一个区间的含义就是把它们都减$1$。这个过程很显然可以用线段树维护。

如果在添加到一个区间 $i$ 时，有一个点被区间覆盖了$M$次，那么先更新答案，再把前面的加入过的区间一直拿直到没有一个点被覆盖$M$次。如何判断有没有点被覆盖$M$次？因为是一个一个区间加的，所以只用维护一个$a_i$的最大值，看他是否$=M$就行了。

什么叫再把前面的加入过的区间一直拿直到没有一个点被覆盖$M$次？

比如你一直添加区间到第$5$个，此时有一个点被覆盖了$M$次。这时你就将第一个区间拿出，如果此时依然有有一个点被覆盖了$M$次，那么你就拿走第二个…

这个过程就好比一个队列，可以从后面添加区间达到一个点被覆盖了$M$次；从前面弹出区间直到没有一个点被覆盖了$M$次。

差不多就是这样，还有注意一下$l_i,r_i \leq 10^9$，开线段树是要离散化的。上代码：

#include <iostream>
#include <cstdlib>
#include <cstdio>
#include <algorithm>

using namespace std;

const int MAXN = 1000500;
int N, M, l[MAXN], r[MAXN], lid[MAXN], rid[MAXN], cnt;
struct node {
    int left, right, Max, lazy;
    node *ch[2];
}pool[MAXN * 3], *root; 
struct xianduan {
    int len, l, r;
    bool operator < (const xianduan& a) const {
        return len < a.len;
    }
}b[MAXN];
struct getin {
    int d, lid, rid, nid;
    bool operator < (const getin &a) const {
        return d < a.d;
    } 
}a[MAXN * 2];
inline void pushdown(node *r) {
    if(!r->lazy) return ;
    r->Max += r->lazy;
    if(r->ch[0]) r->ch[0]->lazy += r->lazy;
    if(r->ch[1]) r->ch[1]->lazy += r->lazy;
    r->lazy = 0;
}
inline void pushup(node *r) {
    r->Max = max(r->ch[0]->Max, r->ch[1]->Max);
}
inline void build(node *r, int left, int right) {
    r->left = left, r->right = right;
    if(left == right) return ;
    int mid = (left + right) / 2;
    node *lson = &pool[++cnt], *rson = &pool[++cnt];
    r->ch[0] = lson, r->ch[1] = rson;
    build(lson, left, mid); build(rson, mid + 1, right);
}
inline　void　change(node *r, int left, int right, int d) {
    if(r->left == left && r->right == right) {
        r->lazy += d; return ;
    }　　　　
    pushdown(r);
    if(r->ch[0]->right >= right) change(r->ch[0], left, right, d);　　　　
    else if(r->ch[1]->left <= left) change(r->ch[1], left, right, d);　　　　　
    else change(r->ch[0], left, r->ch[0]->right, d), change(r->ch[1], r->ch[1]->left, right, d);
    pushdown(r->ch[0]), pushdown(r->ch[1]), pushup(r);
}　　　　　　　　　　　　　　　　　　　　　　
int main()　 {　　　　　　　　　　　　　　　
    root = &pool[0];
    scanf("%d%d", &N, &M);
    for(int　i　=　1; i <= N; i++) {
        scanf("%d%d", &l[i], &r[i]);
        a[2 * i -　1].d = l[i], a[2 * i - 1].lid = i, a[2 * i - 1].rid = -1;　
        a[2 * i].d = r[i], a[2 * i].lid = -1, a[2 * i].rid　= i;　
    }　
    sort(a + 1, a　+　2 * N + 1);　
    a[0].d = -1;　
    for(int i = 1; i <= 2 * N; i++) {　
        if(a[i].d == a[i - 1].d) a[i].nid = a[i - 1].nid;
        else a[i].nid = a[i - 1].nid + 1;　
        if(a[i].lid != -1) lid[a[i].lid] = a[i].nid; 
        else rid[a[i].rid] = a[i].nid;　
    }　
    build(root, 1, a[2 * N].nid);
    for(int i = 1; i <= N; i++) {
        b[i].len = r[i] - l[i], b[i].l = lid[i], b[i].r = rid[i];
    }
    sort(b + 1, b + N + 1);
    int last =　1, ans = 2147483647;
    for(int i = 1; i <= N; i++) {
        change(root, b[i].l, b[i].r, 1);
        while(root->Max == M) {
            change(root, b[last].l, b[last].r, -1);
            ans = min(ans, b[i].len - b[last].len);
            last++;
        }　　
    }　
    if(ans == 2147483647) ans = -1;
    printf("%d\n", ans);
    return 0;
}

不要试图提交我的代码，你会因为一些奇怪的空格花式CE的。