【学习笔记】边分治

合集 - 学习笔记(42)

1.【学习笔记】Kruskal 重构树2022-11-252.【学习笔记】网络流2022-12-153.【学习笔记】高级数据结构2022-12-214.【学习笔记】线性基2022-12-275.【学习笔记】Link Cut Tree2022-12-286.【学习笔记】字符串后缀算法2022-12-307.【学习笔记】字符串回文算法2023-01-128.【学习笔记】组合数学2023-01-279.【学习笔记】多项式 1：基础操作2023-01-3010.【学习笔记】多项式 2：集合幂级数2023-02-0311.【学习笔记】多项式 3：多项式运算2023-02-1112.【学习笔记】Prufer 序列2023-02-1513.【学习笔记】多项式 4：生成函数2023-02-1514.【学习笔记】DP 套 DP2023-02-1915.【学习笔记】图的连通性2023-02-2216.【学习笔记】差分约束2023-03-2017.【学习笔记】长链剖分2023-04-2218.【学习笔记】2-SAT2023-04-2319.【学习笔记】根号算法2023-06-0620.【学习笔记】Primal-Dual 原始对偶算法2023-06-1521.【学习笔记】Bostan-Mori 算法2023-07-0222.【学习笔记】狄利克雷卷积与高级筛法2023-07-0323.【学习笔记】DP 优化 1：基础优化2023-07-0324.【学习笔记】DP 优化 2：动态 DP2023-07-0425.【学习笔记】李超线段树2023-07-0926.【学习笔记】优化建图2023-07-1127.【学习笔记】Segment Tree Beats2023-07-1128.【学习笔记】插头 DP2023-07-1329.【学习笔记】任意模数多项式乘法2023-07-1630.【学习笔记】SG 函数与 SG 定理2023-08-0531.【学习笔记】类欧几里得算法2023-08-0632.【学习笔记】狄利克雷前/后缀和/差分2023-08-1133.【学习笔记】DSU on Tree2023-08-2234.【学习笔记】DP 优化 3：闵可夫斯基和优化 DP2023-09-0135.【学习笔记】笛卡尔树2023-09-0536.【学习笔记】Miller-Rabin 算法2023-10-2437.【学习笔记】DP 优化 4：决策单调性2023-11-1538.【学习笔记】DP 优化 5：wqs 二分优化 DP2023-12-04

39.【学习笔记】边分治2023-12-28

40.【学习笔记】KMP 相关算法2024-01-1041.【学习笔记】概率生成函数2024-01-1142.【学习笔记】离散对数和剩余2024-01-25

收起

算法思想#

和点分治类似，边分治每次选一条边，考虑跨过这条边的路径贡献，为了保证复杂度，会让两边子树大小尽量接近。

发现菊花图无论怎么分治都是无效的，考虑将原树三度化，具体做法是如果 $u$ 有两个儿子，就新建一个节点连接第二个儿子，如果还有更多的儿子，就再新建节点与上一次新建的节点当前的儿子相连，这样复杂度是正确的。

具体过程和点分治类似：求当前的子树大小，求当前的重心边，递归处理子问题。

边分治具有优美的性质：每次分治只会考虑两棵子树之间的贡献，也就完全不需要点分治中容斥掉自己贡献的操作。缺点是点数翻倍。

例题#

Luogu-P4565 CTSC 2018 暴力写挂#

在边分治过程中，某两个子树的 $\mathrm{LCA}$ 一定之和分治中心父亲一侧子树的节点有关，所以式子可以写成形如 $val_u+val_v-\mathrm{depth'}(\mathrm{LCA}'(u,v))$。将分治边两侧子树视作黑白两种颜色，那么就是在第二棵树上求异色点权最大值，具体可以建虚树，枚举 $\mathrm{LCA}'(u,v)$。

Luogu-P4220 WC 2018 通道#

依旧是第一棵树边分治，第二棵树建虚树，现在每个节点有点权，固定了第二棵树的 $\mathrm{LCA}$，剩下可以看作对第三棵树求一个带端点点权的有权直径，由于边权非负，容易证明这满足所有的直径性质，那么对虚树每个子树维护然后合并就行了，实际上要维护两条同色直径，合并时求一下异色直径。（只维护一条异色直径可能出现端点不是所有同色节点的最长距离对于端点的情况）