CodeForces - 1101F Trucks and Cities

Solution

直接枚举 $m$ 显然是不现实的。

不过我们发现，卡车的油箱大小和卡车依靠油箱走的最长的一段路是一次函数关系。

而卡车依靠油箱走的最长的一段路是由卡车能将它的路程分为几段决定的。

所以可以转化为 $i$ 到 $j$ 分 $k$ 段路，使得最长的一段路最短。

朴素算法枚举 $i,j,k$ 和最后一段路的开始 $t$，是 $O(n^4)$：

$$f[i][j]=\underset{t=1}{\overset{j}{\min }}\max (f[i][t],dis(t,j))$$

但是考虑到 $f[i][t]$ 随 $t$ 的增大而增大，$dis(t,j)$ 随 $t$ 的增大而减小。我们应该使这两个玩意尽量均衡（即增加 $t$）。而且，$j$ 是逐渐增加的，$dis(t,j)$ 又会增加，我们再次增加 $t$，这是最优的。

这样复杂度就减到 $O(n^3)$。

Code

#include <cstdio>
#include <vector>
#include <iostream>
using namespace std;

const int N = 405, M = 250005;

int n, m, p[N], a[M], b[M], c[M], d[M];
vector <int> id[N];
long long ans, f[N][N][2];

int read() {
	int x = 0, f = 1; char s;
	while((s = getchar()) > '9' || s < '0') if(s == '-') f = -1;
	while(s >= '0' && s <= '9') x = (x << 1) + (x << 3) + (s ^ 48), s = getchar();
	return x * f;
}

int main() {
	n = read(), m = read();
	for(int i = 1; i <= n; ++ i) p[i] = read();
	for(int i = 1; i <= m; ++ i) {
		a[i] = read(), b[i] = read(), c[i] = read(), d[i] = read() + 1;
		d[i] = min(d[i], b[i] - a[i]);
		id[d[i]].push_back(i);
	}
	for(int i = 1; i <= n; ++ i)
		for(int j = i; j <= n; ++ j)
			f[i][j][0] = p[j] - p[i];
	for(int k = 1; k < n; ++ k) {
		for(int i = 0; i < id[k].size(); ++ i)
			ans = max(ans, f[a[id[k][i]]][b[id[k][i]]][k + 1 & 1] * c[id[k][i]]);
		for(int i = 1; i <= n; ++ i) {
			f[i][i][k & 1] = 0;
			int pos = i;
			for(int j = i + 1; j <= n; ++ j) {
				while(f[i][pos][k + 1 & 1] < p[j] - p[pos]) ++ pos;
				f[i][j][k & 1] = min(f[i][pos][k + 1 & 1], 0ll + p[j] - p[pos - 1]);
			}
		}
	}
	printf("%lld\n", ans);
	return 0;
}