P4292 [WC2010]重建计划——一题多解, 长剖胜出

Description

请在图上找到一个长度在$[L,R]$之间的路径，使得这条路径经过的所有边的权值的平均值最大。请输出这个平均值。

Solution 1: 二分+点分治+线段树

首先，我们二分答案。假设当前二分到的值为$mid$，我们将所有边权暂时减去$mid$。显然，在原图中一条边权平均值不小于$mid$的路径，等价于在新图中权值和为非负数的路径。

考虑点分治。我们扫描当前节点$now$的所有儿子，维护一棵线段树，它以深度(即与$now$的距离)为下标，以从对应深度的节点到$now$的边权之和的最大值为节点维护的量。每加入一个深度为$p$的节点，就需要查询区间$[p-ri,p-le]$的最大值；另外还要进行一次单点修改。线段树可以胜任这样“单点修改, 区间查询最大值”的问题。

二分的复杂度为$O(\log (v_i\times 10^4))$(需要保留小数点后三位)，点分治的复杂度为$O(n\log n)$，线段树维护的复杂度为$O(\log n)$，总时间复杂度为$O(n{\log }^{2}n\log (v_i\times 10^4))$，无法通过本题。

当然，如果常数控制得很好，也许可能卡过。

Solution 2: 二分+长链剖分+线段树

我们仍然按类似Solution 1中的方法去二分答案并建立带有新点权的新树。考虑在新树上执行一次树形$dp$。

状态设计: $d{p}_{i,j}:$ 在以$i$为根的子树中，以$i$为一端且长度为$j$的路径的最大可能权值和。

我们如何进行状态转移呢？我们可以对于每一个$i$的孩子节点$son$，将它暴力合并到$i$这里，并实时更新答案(更新答案仍然采用类似Solution 1的线段树)。这样的复杂度是$O(n^2\log n)$的，无法通过。

考虑这个$dp$是否可以用长链剖分来优化。我们可以先将$i$的长儿子$ls$直接合并起来，然后对于其他孩子去暴力合并，并实时维护一棵线段树来方便更新答案。

这样的复杂度为什么是正确的呢？考虑一个节点的非长儿子一定是一条链的顶端，所以一个节点只会对这条链顶端的父亲产生复杂度$O(\log n)$的维护线段树的代价。每个节点都贡献了$1$次，所以时间复杂度就是$O(n\log n)$的。

可以使用$vector$或指针来保证空间复杂度的正确性。

总时间复杂度$O(n\log (v_i\times 10^4)\log n)$，由于本题时限为$4s$，可以轻松通过。

Summary

由于点分治本身是一种折半分治，它的复杂度一定是带一个$\log$的。而长链剖分不同，它可以把$dp$成功优化到$O(n)$。一个$\log$，造成了这两种做法“一个可过，一个不可过”的差异。

本题考查了对线段树，$dp$以及长链剖分的技巧，是一道不可多得的好题。