AcWing906 区间分组(区间贪心、优先队列)

题目：AcWing906 区间分组

---

前言

区间贪心问题解法正确的证明方法：为了证明真实解ans=解法求得的解cnt，可以利用两边夹逼的思想（证明ans<=cnt同时证明ans>=cnt），这两个条件前一个靠定义证明，后一个靠构造极限情况或者反证法证明。还有一种证明思路是：证明真实解可以通过等价变换变化到解法算出的解（即所求最值没有发生变化）。

一、题目陈述

这道题目对应的实际场景可能是，将一群同学分组去旅游，但是其中有一些人有过节，不能分到同一组，所以我们要在考虑这些人不想交的情况下将同学们分成最少的组。

二、解决思路

1.区间贪心的整体思路

将这些区间按照起始点从小到大的顺序排序，然后从前往后遍历每个区间。如果这个区间能够加入到已经存在的某一个组，就将其随便加入一个可行的组；如果这个区间不能加入到已经存在的任何一个组，就新建一个组，组中只包含这个区间。

2.如何快速判断一个区间能否加入到已经存在的某一个组

可以利用优先队列的数据结构，这个堆存的是所有组的终止点，堆顶存的是现存所有组的终止点的最小值。如果一个区间的起始端点<=堆顶，就说明这个区间不能加入到已经存在的任何一个组；如果一个区间的起始端点>堆顶，就说明这个区间能够加入到已经存在的某一个组，然后把它加入到堆顶所对应的组。

三、代码实现

#include<bits/stdc++.h>
using namespace std;
const int N = 1e5+10;
// 区间个数 
int n;
struct Seg{
	int s,e;
	bool operator< (const Seg &W) const {
		return s < W.s;
	}
}segs[N];
int main() {
	cin>>n; 
	for(int i=0;i<n;i++)	cin>>segs[i].s>>segs[i].e;
	sort(segs,segs+n);
	int res = 0;
	// 小根堆 
	priority_queue<int, vector<int>, greater<int>> heap;
	// 从前到后遍历所有区间 
	for(int i=0;i<n;i++) {
		auto t = segs[i];
		// 如果heap为空或者无法将此区间加入现有的组，则新增一个组 
		if(heap.empty()||t.s<=heap.top()) heap.push(t.e);
		// 合并到已经存在的任意组
		else {
			heap.pop();
			heap.push(t.e); 
		} 
	}
	printf("%d\n",heap.size());
	return 0;
}

总结

加强记忆区间贪心解法正确性的证明方法。熟练掌握快速存储读取最值的数据结构——优先队列。