【贪心】AcWing 110. 防晒算法正确性证明

题目描述

有 C 头奶牛进行日光浴，第 i 头奶牛需要 $minSPF[i]$ 到 $maxSPF[i]$ 单位强度之间的阳光。

每头奶牛在日光浴前必须涂防晒霜，防晒霜有 $L$ 种，涂上第 $i$ 种之后，身体接收到的阳光强度就会稳定为 $SPF[i]$，第 $i$ 种防晒霜有 $cover[i]$ 瓶。

求最多可以满足多少头奶牛进行日光浴。

输入格式

第一行输入整数 $C$ 和 $L$。

接下来的 $C$ 行，按次序每行输入一头牛的 $minSPF$ 和 $maxSPF$ 值，即第 i 行输入 $minSPF[i]$ 和 $maxSPF[i]$。

再接下来的 $L$ 行，按次序每行输入一种防晒霜的 $SPF$ 和 $cover$ 值，即第 $i$ 行输入 $SPF[i]$ 和 $cover[i]$ 。

每行的数据之间用空格隔开。

输出格式

输出一个整数，代表最多可以满足奶牛日光浴的奶牛数目。

数据范围

$1\le C,L\le 2500$
$1\le minSPF\le maxSPF\le 1000$
$1\le SPF\le 1000$

输入样例：
3 2
3 10
2 5
1 5
6 2
4 1
输出样例：
2

---

Solution

有一种贪心算法：按 $minSPF$ 从大到小考虑每头奶牛，选取当前未被选取的 $SPF$ 最大的防晒霜。
证明其正确性：
可以发现此题是一个二分图的最大匹配问题，于是我们可以证明按照贪心算法得到的匹配是最大匹配，即该匹配不存在增广路。
考虑反证法，设奶牛编号为 $c_i$ ，防晒霜为 $s_i$ ，
若存在一条增广路，取其中最短的一条 $s_1\to c_1\to s_2\to c_2\to \cdots \to s_n\to c_n$ ，则：

引理 ： $c_1,c_2,...,c_n$ 的 $minSPF$ 递增
证明：
若存在 $c_{i+1}$ 使得 $minSPF[c_{i+1}]<minSPF[c_i]$ ，则可将 $s_{i-1}$ 直接连向 $c_{i+1}$ ，
此时存在一条更短的增广路，矛盾，故引理1成立。

因此，由于增广路最后一条边必须是非匹配边，因此 $c_n$ 没有匹配点，但由于引理可知 $c_n$ 在排序后位于 $c_1\sim c_{n-1}$ 之前，又由于贪心算法，$c_n$ 会与 $s_n$ 匹配，矛盾，因此贪心算法正确。

---

证明参考自 yxc 大佬