46th-ICPC（昆明）F.Find the Maximum

F.Find the Maximum

题意

给定一棵包含$n$个节点的数，每个节点都有一个权值$b_i$，你需要找出一条长度大于$1$的简单路径，然后找到一个实数$x$最大化$\frac{{\sum }_{u\in V}(x^2+b_{u}x)}{|V|}$的值，其中$V$表示这条简单路径上节点的集合。

题解

首先对上述式子进行化简：
$$\frac{{\sum }_{u\in V}(-x^2+b_{u}x)}{|V|}=\frac{-|V|x^2+({\sum }_{u\in V}{b}_u)x}{|V|}=-x^2+\frac{{\sum }_{u\in V}{b}_u}{|V|}x$$
其中$\frac{{\sum }_{u\in V}{b}_u}{|V|}$为该简单路径上所有节点权值的平均值，令其等于$avg$，继续化简为：
$$-x^2+avg\times x=-(x-\frac{avg}{2}{)}^2+\frac{av{g}^2}{4}$$
显然最大值就等于$\frac{av{g}^2}{4}$，因此我们只需要找到平均值的正数最大值与负数最小值然后进行比较即可。
这里需要用到一个结论：要在$n$个数中找到长度大于$1$的连续子序列的平均值的最大值，其长度为$2$或$3$时最优，可用反证法证明：
现有$4$个数$a,b,c,d$，假设取长度为$4$时平均值最大。
反证：根据题意显然可以得到：
$$\frac{a+b+c+d}{4}>\frac{a+b+c}{3}，\frac{b+c+d}{3}，\frac{a+b}{2}，\frac{b+c}{2}，\frac{c+d}{2}$$
$$=>2c+2d>2a+2b，2a+2d>2b+2c，2a+2b>2c+2d$$
可以发现$2c+2d>2a+2b与2a+2b>2c+2d$互相矛盾，因此平均值最大时不可能超过$3$。
代码就很简单了，注意负数平方后也可能是最大平均值。

代码

#include<bits/stdc++.h>
using namespace std;
using ll = long long;
const int N = 1e5 + 5, inf = 1e9;
int n, a[N];
vector<int> h[N];
double ans1, ans2;
int main() {
	scanf("%d", &n);
	for(int i = 1; i <= n; i++) scanf("%d", &a[i]);
	for(int i = 1; i < n; i++) {
		int u, v;
		scanf("%d%d", &u, &v);
		h[u].push_back(a[v]);
		h[v].push_back(a[u]);
	}
	for(int i = 1; i <= n; i++) {
		int m = h[i].size();
		sort(h[i].begin(), h[i].end());
		if(m) {
			ans1 = max(ans1, (a[i] + h[i][m - 1]) / 2.0);
			ans2 = min(ans2, (a[i] + h[i][0]) / 2.0);
		}
		if(m > 1) {
			ans1 = max(ans1, (a[i] + h[i][m - 1] + h[i][m - 2]) / 3.0);
			ans2 = min(ans2, (a[i] + h[i][0] + h[i][1]) / 3.0);
		}
	}
	double ans = max(ans1 * ans1, ans2 * ans2);
	printf("%.6lf", ans / 4);
	return 0;
}