文章目录
0. 前言
玄学的贪心问题,一般全凭直觉。
贪心问题没有固定讨论,没有模板,见多了就好了,证明想法的正确性是很困难的,大多采用反证法。
区间问题无非左端点、右端点、左右端点排序…
1. 区间问题+贪心
本题和 [区间问题] 区间选点(区间问题+贪心) 一模一样,一份代码交两遍就行了。贪心思路和证明思路都一致,简单对问题转化即可。
贪心思路:
- 区间按右端点从小到大排序
- 从前往后依次枚举每个区间
- 如果当前区间中已经包含点,则直接跳过该区间
- 否则,选择当前区间的右端点
证明:
- 假设最优解为
ans
个不相交区间,以上述贪心思路选出来的区间为cnt
个。即证明ans = cnt
,等价于ans >= cnt && ans <= cnt
- 首先,以上述贪心思路选择出的
cnt
个区间,是一组可行方案。其覆盖了所有区间,满足题目要求。且ans
表示的是所有可行方案的最大值,那么ans >= cnt
成立 - 证明
ans <= cnt
时,可以采用反证法。假设ans > cnt
,则说明最多有ans
个两两不交的区间,则至少需要ans
个点才能将这些区间全部覆盖,然而实际上只需要cnt
个点就能覆盖全部区间,且cnt < ans
。则矛盾,故ans <= cnt
成立 - 时间复杂度: O ( n l o g n ) O(nlogn) 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;
}