《解决树上连通块问题的一些技巧和工具》 学习笔记
参考 : 中国国家侯选队论文集。
两类问题
计数问题 : 给出一棵树 , 问多少联通块满足一个性质 。
最优化问题 : 给出一棵树和一个函数 , 求树 中所有满足某性质的联通块的最大收益。
树上联通块的动态规划问题 :
朴素做法 :
对于一般的联通块问题 , 可以运用一个朴素做法 : 设 表示在 的子树中选择一个包含 的联通块的最优答案 , 那么合并答案的时候只需要遍历子树枚举是否取就可以了。 如果合并儿子节点复杂度为 , 则总复杂度 。 如果合并儿子节点复杂度 , 那么总复杂度 。 其理由在于每两个节点都会在其 产生 的复杂度。
按照 序转移与点分治 :
对于一类树上联通块问题 , 如果合并信息不够高效 , 但加入单点的复杂度并不大 , 那么就可以按照 序加点 , 把合并子树变成添加单点。 这类问题中常见的有树上背包问题。 假设体积为 , 那么就可以将 的合并复杂度优化至 。 具体方法如下:
先假定选出的联通块包含根节点 , 求出整棵树的 序 , 一个包含根的联通块必然是整棵树去掉若干个互不相交的子树。 换言之就是去掉了若干个 序列上的连续段。
设 表示 序后 个节点的最优答案。 那么就有两种转移 :
选择第 个节点 , 转移到了
不选择第 个节点 , 转移到了 , 其中 为以 为根的子树的 序右端点 。表示去掉了整棵子树。
这样每次只是往背包中添加一个物品而非合并两个子树 , 故复杂度由 优化至 。
而对于选出的联通块不包括根的情况 , 运用点分治 , 每个联通块递归做即可。
“点树 边数” :
对于一棵树 , 点树 边数恒为 。 可以通过这个等式来统计某性质的联通块个数。记枚举每个点 / 每条边 , 用包含每个点的联通块个数减去包含每条边的联通块个数 , 这样每个联通块恰好被计算了一遍。 因此是正确的。
这个技巧常用于求若干个树上联通块交的方案数 , 因为若干个树上联通块的交集仍然是一个联通块。
线段树合并维护整体 :
有这样一类问题 : 每个点的 数组维护 个值 , 合并两个子树时将对应位置合并 , 添加一个点时对某个位置进行修改。
考虑线段树合并 , 把每个点的 值用一棵线段树合并 , 添加一个点时在线段树中修改 , 而合并子树时用线段树合并来批量完成转移。 线段树中插入总点数是不超过 的 , 而线段树合并复杂度不会超过其插入复杂度。
链分治维护动态 :
一个树上联通块必然是至多 条重链及其轻儿子的交集。
大体就是用动态 里广义矩阵乘法的方法。
论文中的例题 :
题解 :
来自 年集训队互测。 作者是梁晏成。
能对一个连通块进行测试的点形成了一个树上联通块。 而若干个树上联通块的交同样是一个树上联通块。
考虑 “点减边” 容斥 , 即统计能被某个点 测试的完美集合个数 ,减去能同时被某条边两个端点测试的完美集合个数。
考虑计算能被点 测试的完美集合个数 , 不妨令 为树的根 , 去除不满足条件中的点 , 接着 , 进行树形 , 这相当于问树上有多少联通块满足其重量和不超过 且价值和最大。 这是一个经典的最优化背包问题。 只要在背包记录最优值的同时再记录达到最优值的方案数就可以了。 注意到合并儿子节点的复杂度是 的。 但用 序优化就可以做到 。
本题还涉及一个组合数取模的问题 : 首先发现模数是 。 而组合数取模有一个多项式做法 :
显然 , 可以维护出 , , 中非 倍数的乘积和因子 的个数 , 然后合并即可。
非 倍数的乘积可用多项式 的常数项得到。
因为 , 因为模数是 , 故多项式只需保留 项即可。在合并的时候可以暴力卷积。
对于 的倍数 , 可以在 的时间内计算得到。
时间复杂度 : 。
题解 :
来自清华大学冬令营 。
记 表示在 的子树中选一个联通块 , 两种(一种)颜色分别为 和 的方案数。
枚举儿子节点 , 如果 与 的颜色相同 , 那么直接将 乘给 , 否则将 乘给 。
第二种转移总共只会用到 个状态 , 而对于第一种转移线段树合并即可。
时间复杂度 : 。
补充题目 :
一试
线段树合并即可。 之前写过题解 , 故不再赘述。
时间复杂度 :
年十二省联考压轴题。
容易 ,中心能够存在的位置是树上的一个连通块 ,一个方案合法当且仅当该联通块大小非零。
考虑"点减边"容斥 , 答案即为 。
不妨进行树形 , 记 表示以 为根的子树中 , 包含 , 且距离 不超过 的联通块数量。
同理再对边进行一遍 即可。
这样就可以拿到约 分左右的高分。
满分做法还需要再这个做法的基础上用长链剖分和可回退化数据结构优化做到 , 比较复杂 , 不赘述了。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 地球OL攻略 —— 某应届生求职总结
· 周边上新:园子的第一款马克杯温暖上架
· Open-Sora 2.0 重磅开源!
· 提示词工程——AI应用必不可少的技术
· .NET周刊【3月第1期 2025-03-02】
2018-10-16 [USACO 2017DEC] Barn Painting