AcWing 区间问题——905. 区间选点

原题链接：

905. 区间选点 - AcWing题库

题解：

贪心性证明：

设 ans 为最优解， cnt为某一个答案。

欲证：ans = cnt

① ans <= cnt， 显然；
② ans >= cnt， 这里应该是容易产生困惑的地方。

首先要清楚一点，ans是一个定值、常数，表示最优解的值； 而cnt它是一个变量，代表某一种方案的值。

①中的cnt是指，按照各区间按右端点从小到大排，再从前往后枚举各区间，若当前区间中已包含之前被选的区间右端点，则直接跳过该区间；否则，选择当前区间的右端点这样的贪心思路所选出来的右端点的数量。
②中的cnt是指，所有区间中一定存在cnt个两两之间没有交集的区间。因为各区间按照右端点排序后，每一个被选择的区间右端点（共cnt个）都是没有被 （被选择的排序位置更靠前的区间的右端点） 覆盖到的区间的 右端点。

①假设最优解为ans个，以上述贪心思路选出来的点为cnt个。即证明ans == cnt，等价于证ans >= cnt 同时 ans <= cnt
②首先，以上述贪心思路选择出的cnt个点，是一组可行方案。其覆盖了所有区间，满足题目要求。又因为ans是最优解，即为所有可行方案的最小值，那么最优解ans <= cnt成立
③其次由于所有区间中一定存在cnt个两两之间没有交集的区间，那么至少需要cnt个点才能将这些两两不交的区间进行覆盖，又因为题目要求选的点还要能覆盖所有别的区间，故最优解ans >= cnt成立。

代码：

#include<bits/stdc++.h>
using namespace std;
using PII = pair<int, int>;
const int N = 1e5 + 10, INF = 0x3f3f3f3f;
int n, res;
vector<PII> v;

bool cmp(PII p1, PII p2) {
	return p1.second < p2.second;
}

int main(){
	cin >> n;
	for (int i = 0;i < n;i++) {
		int a, b;cin >> a >> b;
		v.push_back({ a,b });
	}
	sort(v.begin(), v.end(), cmp);
	int cur = ~INF;
	for (int i = 0;i < n;i++) {
		if (cur < v[i].first) {
			cur = v[i].second;
			res++;
		}
	}
	cout << res;
}