hdu 4442 Physical Examination

Problem

acm.hdu.edu.cn/showproblem.php?pid=4442

vjudge.net/contest/162945#problem/A

Meaning

有 n 条队，每条队有两个参数：a 和 b，如果在 t 时刻去排这条队，那在这条队就要花 a + b * t 的时间（一开始是 0 时刻）。现在要排完这 n 条队，问最少要花多少时间。

Analysis

自己 YY 了一个偏序关系：如果 i 排在 j 前，j 排在 k 前，那 i 肯定排在 k 前。

下面来“证明”一下…

有 3 条队：( a1 , b1 ) , ( a2 , b2 ) , ( a3 , b3 )。

假设只考虑 1 和 2 的时候 1 是排在 2 前面的，只考虑 2 和 3 的时候 2 是排在 3 前面的，那么就有下面两条不等式：

a1 + a2 + a1 * b2 <= a2 + a1 + a2 * b1（即：1 先 2 后的总时间 <= 2 先 1 后的总时间）

a2 + a3 + a2 * b3 <= a3 + a2 + a3 * b2

两不等式化简后，有：

a1 * b2 <= a2 * b1（喵）

a2 * b3 <= a3 * b2（汪）

接下来试图“证明”基于前面的假定前提下，只考虑 1 和 3 的时候 1 肯定是放在 3 前面的…

其实就是证不等式：

a1 + a3 + a1 * b3 <= a3 + a1 + a3 * b1

即证（化简后）：

a1 * b3 <= a3 * b1

由前面的（喵）式两边同乘 b3、（汪）式两边同乘 b1，可得：

a1 * b2 * b3 <= a2 * b1 * b3

a2 * b1 * b3 <= a3 * b1 * b2

由此两式可以看到：

a1 * b2 * b3 <= a2 * b1 * b3 <= a3 * b1 * b2

即：

a1 * b2 * b3 <= a3 * b1 * b2

约掉 b2，有：

a1 * b3 <= a3 * b1

得“证”…故 1 应该放在 3 前面…

这证明没有考虑中间夹有别的队时偏序关系是不是还成立，不严谨…但我用这个过了…

Code

#include <cstdio>
#include <algorithm>
using namespace std;
const int N = 100000, MOD = 365*24*60*60;

struct node
{
	int a, b;
	bool operator < (const node &rhs) const
	{
		return (long long)a * rhs.b < (long long)rhs.a * b;
	}
} sub[N];

int main()
{
	int n;
	while(scanf("%d", &n), n)
	{
		for(int i=0; i<n; ++i)
			scanf("%d%d", &sub[i].a, &sub[i].b);
		sort(sub, sub + n);
		long long tm = 0;
		for(int i=0; i<n; ++i)
			tm = (tm + tm * sub[i].b % MOD + sub[i].a) % MOD;
		printf("%lld\n", tm);
	}
	return 0;
}