【ACWing】906. 区间分组（配数学证明）

题目地址：

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

给定$N$个区间$[a_i,b_i]$，要求将其分为尽可能少的组，使得每组内部区间两两不交。输出最小组数。

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

输出格式：
输出一个整数，表示最小组数。

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

思路是贪心。将区间按左端点排序，然后顺次遍历区间，如果当前区间的左端点小于等于已经分好的组中的任意一组的右端点最右的那个区间的右端点，那么就新开一组。代码实现方面可以用最小堆来做，堆存每个组右端点最右的区间的右端点，小者优先。接下来，当堆不空，并且堆顶的值小于当前区间的左端点的话，那就将当前区间加入堆顶所在的那个组，也就是把堆顶删掉，再将当前区间右端点入堆。最后返回堆的size。

算法正确性证明：
我们可以证明任意考虑完某个区间的时刻，堆的size都是答案，并且堆里存的就是每个组的右端点最右的那个区间的右端点。数学归纳法。考虑完第$1$个区间之后，堆的size是$1$，显然成立；假设考虑完第$k$个区间之后，上述命题也正确，那么当考虑第$k+1$个区间的时候，这个区间如果其左端点小于等于堆顶，由于区间是按照左端点从小到大依次考虑的，所以堆里的那些右端点对应的所有区间的左端点都是小于等于当前区间左端点的，所以当前区间加上堆里的区间都是两两相交的（它们至少都含当前区间的左端点），所以考虑完当前区间后答案至少是堆的size + 1，当然直接新开一个组答案就恰好是堆的size + 1，所以最优解就是堆的size + 1，结论成立。再由数学归纳法，知算法正确。

代码如下：

#include <iostream>
#include <algorithm>
#include <queue>
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 n;
    scanf("%d", &n);
    for (int i = 0; i < n; i++) scanf("%d%d", &range[i].l, &range[i].r);

    sort(range, range + n);
    priority_queue<int, vector<int>, greater<int> > min_heap;

    for (int i = 0; i < n; i++) {
        if (!min_heap.empty() && range[i].l > min_heap.top()) 
            min_heap.pop();
            
        min_heap.push(range[i].r);
    }

    printf("%d\n", min_heap.size());

    return 0;
}

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