[区间问题] 最大不相交区间数量(区间问题+贪心)

0. 前言

玄学的贪心问题，一般全凭直觉。

贪心问题没有固定讨论，没有模板，见多了就好了，证明想法的正确性是很困难的，大多采用反证法。

区间问题无非左端点、右端点、左右端点排序…

1. 区间问题+贪心

908. 最大不相交区间数量

本题和 [区间问题] 区间选点(区间问题+贪心) 一模一样，一份代码交两遍就行了。贪心思路和证明思路都一致，简单对问题转化即可。

贪心思路：

• 区间按右端点从小到大排序
• 从前往后依次枚举每个区间
  • 如果当前区间中已经包含点，则直接跳过该区间
  • 否则，选择当前区间的右端点

证明：

• 假设最优解为 ans 个不相交区间，以上述贪心思路选出来的区间为 cnt 个。即证明 ans = cnt，等价于 ans >= cnt && ans <= cnt
• 首先，以上述贪心思路选择出的 cnt 个区间，是一组可行方案。其覆盖了所有区间，满足题目要求。且 ans 表示的是所有可行方案的最大值，那么 ans >= cnt 成立
• 证明 ans <= cnt 时，可以采用反证法。假设 ans > cnt，则说明最多有 ans 个两两不交的区间，则至少需要 ans 个点才能将这些区间全部覆盖，然而实际上只需要 cnt 个点就能覆盖全部区间，且 cnt < ans。则矛盾，故 ans <= cnt 成立
• 时间复杂度：$O(nlogn)$

为什么最大不相交区间数==最少覆盖区间点数呢？

• 因为如果几个区间能被同一个点覆盖，说明他们相交了
• 所以有几个点就是有几个不相交区间。两个问题的本质是等价的

代码：

#include <iostream>
#include <algorithm>

using namespace std;

const int N = 1e5+5;

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

int main() {
    int n;
    cin >> n;
    
    for (int i = 0; i < n; ++i) {
        int a, b;
        cin >> a >> b;
        range[i] = {a, b};
    }
    
    sort(range, range + n);
    
    int res = 0, ed = -2e9;
    for (int i = 0; i < n; ++i) 
        if (ed < range[i].l)
            ++res, ed = range[i].r;
    
    cout << res << endl;
    
    return 0;
}