AcWing125 耍杂技的牛(贪心，推公式)

题目：AcWing125 耍杂技的牛

---

前言

一、题目陈述

农民约翰的N头奶牛（编号为1…N）计划逃跑并加入马戏团，为此它们决定练习表演杂技。奶牛们不是非常有创意，只提出了一个杂技表演：
叠罗汉，表演时，奶牛们站在彼此的身上，形成一个高高的垂直堆叠。
奶牛们正在试图找到自己在这个堆叠中应该所处的位置顺序。
这N头奶牛中的每一头都有着自己的重量Wi以及自己的强壮程度Si。
一头牛支撑不住的可能性取决于它头上所有牛的总重量（不包括它自己）减去它的身体强壮程度的值，现在称该数值为风险值，风险值越大，这只牛撑不住的可能性越高。
您的任务是确定奶牛的排序，使得所有奶牛的风险值中的最大值尽可能的小。
输入格式
第一行输入整数N，表示奶牛数量。
接下来N行，每行输入两个整数，表示牛的重量和强壮程度，第i行表示第i头牛的重量Wi以及它的强壮程度Si。
输出格式
输出一个整数，表示最大风险值的最小可能值。
数据范围
1≤N≤50000,
1≤Wi≤10,000,
1≤Si≤1,000,000,000
输入样例
3
10 3
2 5
3 3
输出样例
2

二、解决思路

按照wi+si从小到大的顺序，从上到下排列，可以得到最优的结果。证明过程如下：假设ans是真实答案，cnt是我们这种方法得到的答案。

1.ans小于等于cnt不证自明

2.ans大于等于cnt的证明过程

使用反证法：如果不按照按照wi+si从小到大的顺序，那么必然有相邻的两头牛满足(w[i]+s[i]) > (w[i+1]+s[i+1])。可以将他们交换对比风险值。

风险值	第i个位置上的牛	第i+1个位置上的牛
交换前	w[1]+w[2]+...+w[i-1]-s[i]	w[1]+w[2]+...+w[i-1]+w[i]-s[i+1]
交换后	w[1]+w[2]+...+w[i-1]-s[i+1]	w[1]+w[2]+...+w[i-1]+w[i+1]-s[i]

接下来，我们的任务就是比较这四个数的大小。可以先对这四个数做等价变换，变成好看的形式。

风险值	第i个位置上的牛	第i+1个位置上的牛
交换前	s[i+1]	w[i]+s[i]
交换后	s[i]	w[i+1]+s[i+1]

我们知道的是，w[i]+s[i]大于s[i]，并且w[i]+s[i]大于w[i+1]+s[i+1]，也就是说这两头牛交换后，最大风险值必然要小于交换前的最大风险值。因此，只要存在一个逆序，我们把这两头牛交换，在其余所有牛的风险值不变的情况下，这两头牛的最大风险值一定会变小，那么所有牛的最大风险值起码不会变大！证明了只要最优解不是从小到大递增序列，我们都可以在最大风险值不变大的条件下，交换次序，将此最优解变换为我们猜想的wi+si递增形式的解。

三、代码实现

#include<iostream>
#include<algorithm>
using namespace std;
typedef pair<int,int> pii;
const int N=50010;
pii cow[N];
int n;
int w[N],s[N];
int main() {
	cin>>n;
	for(int i=0;i<n;i++) {
		int w,s;	cin>>w>>s;
		cow[i] = {w+s,w};
	}
	sort(cow,cow+n);
	// sum存储上面所有牛的体重之和 
	int res = -2e9, sum=0;
	for(int i=0;i<n;i++) {
		int w = cow[i].second;
		int s = cow[i].first-w;
		res = max(res, sum-s);
		sum += w;
	} 
	cout<<res<<endl;
	return 0;
} 

总结

这道贪心题目是典型的推公式贪心，公式以及推公式的过程值得积累。代码实现的时候，利用sort可以直接对pair进行排序，默认的排序关键词是首关键字。