【胡诌学习笔记】某种反悔贪心

典例营

TJOI2013 拯救小矮人：传送门 to luogu

对于所有跑出去了的人，让 $(a+b)$ 小的先出去更优。$\text{exchange argument}$ 易证。

那么按照 $(a+b)$ 排序。如果一个人能够出去，就出去；否则，考虑某个已经出去的人回到坑里，而当前人出去，让垫底的 $\sum a$ 最大。所以维护已经出去的人关于 $a$ 的大根堆即可。

核心代码：这里 $id$ 就是按照 $(a+b)$ 排序后的结果，而 $pq$ 为 $\mathtt{int}$ 类型的大根堆。

	int ans = 0; long long bottom = 0;
	for(int i=1; i<=n; ++i) bottom += a[i];
	for(int i=1; i<=n; ++i){
		if(bottom+b[id[i]] >= H){
			++ ans, bottom -= a[id[i]];
			pq.push(a[id[i]]);
		}
		else if(!pq.empty() && a[id[i]] < pq.top()){
			bottom += pq.top(); pq.pop();
			bottom -= a[id[i]]; pq.push(a[id[i]]);
		}
	}

知识桥

当 $\mathtt{dp}$ 转移的条件是关于 $\mathtt{dp}$ 值（或者只涉及参数）的简单大小比较，且值的转移是加法时，$\mathtt{dp}$ 值可能会是个凸函数，此时可以用 闵可夫斯基和 维护。

就例题而言，设 $f(i,j)$ 为，已经考虑了前 $i$ 个人，跑出去了 $j$ 个人，跑出去的人的 $\sum a$ 最小是多少。有转移
f ( i + 1 , j ) = min ⁡ { f ( i , j ) ,    f ( i , j − 1 ) + a i + 1 } ( s u m a − f ( i , j − 1 ) + b i + 1 ⩾ H ) f(i{+}1,j)=\min\{f(i,j),\;f(i,j{-}1){+}a_{i+1}\}\quad(sum_a-f(i,j{-}1)+b_{i+1}\geqslant H) f(i+1,j)=min{f(i,j),f(i,j−1)+ai+1​}(suma​−f(i,j−1)+bi+1​⩾H)

注意这个 $\mathtt{dp}$ 式并不正确，因为它假定了跑出去的人的编号是从小到大的，因此需要 $\mathtt{sort}$ 。但这个做法的好处是：马上我们就可以直接看出，依据什么进行排序，又需要用堆维护什么。也就是机械化的反悔贪心。

将状态视作 $(j,f(i,j))$ 这样一个点，那么转移的本质是 $(0,0),(1,a_i)$ 两个点构成的凸包，与 $\mathtt{dp}$ 值的凸包作闵可夫斯基和。注：事实上我们并没有证明 $\mathtt{dp}$ 值构成凸包，但我们可以坚信之。

转移的要求是 $f(i,j-1)+a_{i+1}⩽su{m}_a-H+a_{i+1}+b_{i+1}$，注意左侧必须是结果的式子，即直接更新 $f(i+1,j)$ 的值。然后我们要 让限制条件越来越宽松，故按照 $(a_i+b_i)$ 从小到大排序。

找到使得 $f(i,j)$ 有定义的最大的 $j$，记为 $j_0$ 。如果 $f(i,j_0)$ 满足转移条件，那就是完整的闵可夫斯基和，直接将这个斜率 $a_i$ 加入堆；否则考虑 $f(i,j_0)-f(i,j_0-1)$ 与 $a_i$ 的大小关系：

• 如果 $a_i$ 不小于它，又因为这是凸包上最大的斜率，故 $a_i$ 无法进行任何更新。
• 如果 $a_i$ 比它小，那么 $a_i$ 至少足以更新 $f(i,j_0)$，所以去掉 $f(i,j_0)$ 后进行闵可夫斯基和即可。——在代码实现上，体现为将优先队列的堆顶删除，将 $a_i$ 插入。

为什么 $a_i$ 足以更新 $f(i,j_0)$ 呢？这就涉及到上面的排序了。限制条件在变宽松，所以 让 $\mathtt{dp}$ 值变小的转移总是合法转移。

最后，它为什么是正确的。因为 $f$ 值 随着转移进行而偏离目标，如 $f$ 是 $\min$ 时 $j$ 越大 $f$ 就越大。然后，两个连续被选的物品，显然前者拥有更差的限制是最好的（否则也可以调整为这种情况）。

训练营

JSOI2007 建筑抢修：传送门 to luogu

前 $i$ 个建筑修好 $j$ 个的最小时间花费 $f(i,j)\leftarrow f(i-1,j-1)+T_1(i)⩽T_2(i)$，按照 $T_2$ 排序后维护 $T_1$ 大根堆。

CF1251E2 Voting：传送门 to CF

稍微有所改变，因为转移条件跟人数挂钩，应该把人数设为 $\mathtt{dp}$ 值。前 $i$ 人都投了票，省下了 $j$ 元，最小化倒戈的人数量。假设该人首个倒戈，有转移 $f(i,j)\leftarrow f(i-1,j-p_i)+1⩽n-m_i$ 。这里凸包的斜率成为了 $\frac{1}{p_i}$，维护 $p_i$ 的小根堆。

美术馆起火：在 $d_i$ 时刻前，分配连续的 $b_i$ 时长以获得 $v_i$ 价值，最大化之。

$f(i,j)\leftarrow f(i-1,j-v_i)+b_i⩽d_i$，按照 $d_i$ 排序后维护 $\frac{b_i}{v_i}$ 的堆。

补充信息

另一种反悔贪心，用堆维护，形如 $\sum f_i(x_i)$ 在 $\sum x_i=k$ 时的最值，事实上是归纳法容易证明的。即，改变的部分不能有可以划分成权值相等的子集。