关于虚树
对于一些在树上进行某些询问的查询,且每个询问实际用到的点并不多的时候,可以考虑建虚树来查询。
虚树的建立复杂度是 的, 是虚树节点数量, 是原树节点数量。也有方法可以做到 。
例题
题目链接。
分析
注意到范围:,所以考虑虚树。
对于暴力做法,定义状态函数 表示使 不和其为根的子树中任意一个关键点联通的最小代价。不难有转移方程:
可以发现,我们实际上有用的点只有所有的关键点,任意两个关键点的 和节点 。如果我们建立一棵只有这些点的树,那么上面的暴力就可以用复杂度为 的暴力实现。由于 ,显然是可以过的。
建立虚树
这里介绍二次排序的做法。
先将所有的关键点按照 DFS 序排序。那么任意两个关键点的 就相当于排序后相邻的两个关键点的 。
证明:
对于点 ,若某两个关键点 和 的 ,那么 两点只会存在于 不同的两个儿子为根的子树中。很显然,在按照 DFS 序排序后,一定存在 ,满足 和 是在 不同的两个儿子为根的子树中。
将得到的点再次排序去重后,就得到了虚树的所有节点。现在就只需要根据原树上节点祖孙关系给它们建边了。枚举相邻两个节点,然后将 成为 在虚树上的儿子,虚树就建完了。
证明:
如果 是 的祖先,那么 直接到 连边。因为 dfn 序保证了 和 的 DFS 序是相邻的,所以 到 的路径上面没有关键点。
如果 不是 的祖先,那么就把 当作 的的祖先,根据上一种情况也可以证明 到 点的路径上不会有关键点。
所以连接 和 ,不会遗漏,也不会重复。
复杂度 ,最后跑一遍暴力就行了。
练习题
对于 DP,定义状态函数 表示使以 为根的子树中任意两个关键节点都不联通的最小代价, 表示以 为根的子树中是否剩下 个与 联通的点关键点。则有转移方程:
答案为 。对于无解的情况,就是相邻两个节点都是关键点,这个在读入的时候判断即可。
分情况讨论。
定义 表示离 最近的关键点的编号。对于虚树上 两个点,若 ,则 中间的所有不在虚树上的点都会被 管理;若 ,则它们一边一半。
第一种情况直接加即可。第二种情况,用倍增求出分界点 ,使得 中间不在虚树上点的数量不小于 中间不在虚树上点的数量。
求 跑两遍 DFS 就行,难点在于求某条边外不在虚树上点的数量。可以自己推。
问题
定义 表示 为根子树中关键点的数量(不包含 ), 表示 为根子树所有关键点到 的距离。
则从 的 子树中选一个关键点,从 的另一个子树中选一个关键点的路径长度和就是 。
从 的 子树中选一个关键点到 ( 是关键点)的路径长度和为 。
。
问题
存下 为根子树中关键点到 的最短和最长路。同问题 的 种情况分讨即可。
考虑差分。
定义 表示 为根子树中关键点的数量。若 ,则 这条路径一定是需要删掉的,因为一定有别的关键点会经过 到达 为根子树中的某个关键点。
最后再跑一遍 DFS 将所有被选择次数不小于 的输出即可。
为什么蓝+紫+紫+大码量不评黑。
对于虚树建出来之后 两个点之间的边权( 是 的儿子),显然是 到 的颜色段数量。但对于 这条路径,其颜色段数量一定不等于 和 这两条边的边权和,而等于其和 。所以将虚树上两点的边权定义为颜色段数量 ,路径颜色段数量就等于边权和 了。因为存在路径查询与路径修改,所以用染色的方式维护。
然后就是一个询问从关键点 出发,到达另一个关键点的路径长度之和的问题了。这就是一个点分治模板,对于枚举到的重心,将其子树的答案暴力更新即可。
复杂度是 的,但是有点大常数。
定义状态函数 表示将以 为根子树中所有关键点分成 组的方案数。
若 不是关键点,则:,因为 的儿子的子树中任意一个关键点都不会在 为树根的时候是 另一个儿子的子树中任意一个点的祖先或后代。
若 是关键点,显然我们只能将 单独分一个组,一共有 中方案,则:。
对于答案,考虑枚举分成的组数 。根据容斥,有:。然后 。
单次询问的复杂度是 的。,能过。
对于换根的虚树构造,可以将换的 看成一个不记录答案的关键点。跑暴力的时候就可以直接以 为根了。
数组开小莫名 RE。
很显然的可以发现,不可能有两个深度相同的点同时出现在一个点上。也就是说,不同深度节点对于答案的贡献独立。
考虑对于相同深度的节点建立虚树。定义状态函数 表示在某一时刻节点 上面有 或 或 个石子的方案数。
则有转移方程:
对于初始值,显然 。因为最开始只有虚树上叶子节点可能有 个石子,所以当 是关键点时 。
对于答案,除了虚树上的点外,其余的点都可以随便选石子数量,所以每个深度的答案为:。
复杂度 。
咕......
当时没学过虚树,不然就 AK 了 pwp。
考虑对于相同颜色建立虚树,然后答案就是在每棵虚树上生成出叶子节点都是关键点的树的方案数之和。
定义状态函数 表示在以 为根的子树中, 作为生成树的树根时的方案数。若 是关键点,则 将会有选择与不选择两种情况,即:。而对于 不是关键点的情况,显然只选 ( 的儿子都不选)是不行的,所以:。
对于答案的贡献,当 是关键点时显然是 。当 不是关键点时,若 只与其 个儿子连边生成树,显然 的度数为 了(变成叶子节点了)。所以要将其贡献从 中减去 。
复杂度 。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· PowerShell开发游戏 · 打蜜蜂
· 在鹅厂做java开发是什么体验
· 百万级群聊的设计实践
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战
· 永远不要相信用户的输入:从 SQL 注入攻防看输入验证的重要性