【ACWing】907. 区间覆盖（配数学证明）

题目地址：

https://www.acwing.com/problem/content/909/

给定一个闭区间$[s,t]$，再给定$N$个闭区间$[a_i,b_i]$，问至少挑出多少区间就能将$[s,t]$覆盖。返回最少个数。无解就输出$-1$。

输入格式：
第一行包含两个整数$s$和$t$，表示给定线段区间的两个端点。第二行包含整数$N$，表示给定区间数。接下来$N$行，每行包含两个整数$a_i,b_i$，表示一个区间的两个端点。

输出格式：
输出一个整数，表示所需最少区间数。如果无解，则输出$-1$。

数据范围：
$1\le N\le 10^5$
$-10^9\le a_i\le b_i\le 10^9$
$-10^9\le s\le t\le 10^9$

思路是贪心。先将所有区间按左端点排序，然后枚举所有左端点小于等于$s$的区间，求出它们的右端点的最大值$r$。如果不存在这样的区间或者这样的区间的右端点都是小于$s$的，那说明$s$无法被覆盖，则无解，输出$-1$；如果这样的区间的最大右端点是大于等于$s$的，说明$s$是可以被覆盖的，那么我们挑出所有能覆盖$s$的那些区间里右端点最大的那个，别的区间都舍弃。如果这个最大的右端点$r$大于等于$t$了，说明已经找到了覆盖$[s,t]$的区间族，则返回选择的区间个数；否则将$s$置为$r$，继续按上述方式挑选区间。最后还要看一下$t$有没有被覆盖，被覆盖了则输出区间个数，否则输出$-1$。

算法正确性证明：
设最优解找到的区间按左端点从小到大数第一个与上述算法找到的解不一样的区间是$I$，设算法找到的区间是$J$，那么显然有$I$的右端点小于等于$J$的右端点，那么将最优解里的$I$用$J$去替换，显然仍然得到的是合法解，并且区间个数一样，所以也是最优解。我们可以一直这样替换下去，这样就能找到一个最优解，它包含算法解的所有区间（由于算法能保证一旦发现能覆盖$t$了就退出循环了，所以算法解的区间个数不会比最优解更多），所以算法正确。

代码如下：

#include <algorithm>
#include <iostream>
using namespace std;

const int N = 100010;

struct Range {
  int l, r;
  bool operator<(const Range &W) const { return l < W.l; }
} range[N];

int main() {
  int st, ed;
  scanf("%d%d", &st, &ed);

  int n;
  scanf("%d", &n);
  for (int i = 0; i < n; i++) scanf("%d%d", &range[i].l, &range[i].r);

  sort(range, range + n);

  int res = 0, r = 0;
  for (int i = 0; i < n; i++) {
    // 注意这里每次循环开始的时候都要重置r，因为我们这里每次都要
  	// 挑选左端点小于等于st的区间，算这样的区间的右端点最大值，有
   	// 可能下次循环的时候挑不出来左端点小于等于st的区间
    r = -2e9;
    int j = i;
    while (j < n && range[j].l <= st) r = max(r, range[j++].r);
    i = j - 1;
	// st无法被覆盖，说明中间有缝隙，则退出循环，此时无解
    if (r < st) break;

    res++;
    // 如果其右端点能覆盖ed，那已经找到了满足条件的区间族，退出循环输出答案
    if (r >= ed) break;

    st = r;
  }
  // 最后还要判断一下ed有没有被覆盖
  printf("%d\n", r >= ed ? res : -1);
}

时间复杂度$O(N\log N)$，空间$O(1)$。