贪心策略证明正确性+结构体数组的排序

Problem I. 修复建筑

jl 和 sz 等四人一行人一同在校园闲逛，突然他们看到了一个 cos 兔女郎的学生在发传单。他们拿到传单，上面写着：

嗨你好，很荣幸在这里向您介绍一下我们部门：松花部。这是一个关于人类高质量部门招聘人类高质量新生的一个传单……(此处略去大段文本)为了证明您是高质量的新生，请您解答以下问题，证明您的实力：

输出

输出一行一个实数，代表最小的经济损失值。

你的答案被视为是正确的当且仅当你的答案与标准答案的相对误差不超过 0.01。

样例

4
2 4 6 2
2 1 3 1

输出

45.000

---

一道典型的结构体数组，需要每个数据捆绑对应的a和b

对于给出的样例，考场手模拟样例可知贪心最优在于ai/bi。

#include<bits/stdc++.h>
#include<vector>
using namespace std;
struct kk 
{
	double a;
	double b;//结构体
	double shang;//商

};
kk jz[1001];
bool cmp(kk m1,kk m2)
{
	return m1.shang > m2.shang;//降序排列shang
}
int main()
{
	int n;
	cin >> n;
	for (int i = 0; i < n; i++)
		cin >> jz[i].a;
	for (int i = 0; i < n; i++)
		cin >> jz[i].b;
	for (int i = 0; i < n; i++)
	   jz[i].shang=jz[i].a/jz[i].b;
	double sum = 0;
	sort(jz, jz + n, cmp);//升序排列shang  本次贪心为商最大开始贪心
	while(jz[0].a!=0)
	{
		for (int i = 0; i < n; i++)
			sum += jz[i].a;// 记录总和
		jz[0].b--;

		jz[0].a -= jz[0].shang;

		if(jz[0].b!=0)
		jz[0].shang = jz[0].a / jz[0].b;

		if (jz[0].b == 0)//小心分母为0但是不报错 会导致后面无法进行
		{
			jz[0].a = 0; 
			jz[0].shang = 0; //不要漏掉商
		}
		sort(jz, jz + n, cmp);//每次循环都重新排序 确保最大的在前面
	}
	cout <<fixed<<setprecision(6)<< sum;
}

下面用数学知识证明贪心正确性：