哈希算法在判定树同构方面的应用
在上一篇文章中我们介绍了 枚举根节点哈希 和 求重心哈希 两种方法来判断两棵无根树是否同构。
但是如果有些题目中我必须要计算出每个根节点的 f f f 值,且 n ≤ 1 e 5 n\le 1e5 n≤1e5,我们要怎么办呢?
考虑以下问题。
(一):洛谷–P4323 [JSOI2016]独特的树叶
题解:
考虑如下解法。
我们求解 A A A 树中,以每一点 x x x 为根的 f [ x ] f[x] f[x] 值并保存。
我们枚举 B B B 树中的叶子节点,计算删去这个叶子节点后,这个叶子节点的父亲的 f f f 值,即计算 f [ f a t h e r [ 当 前 叶 子 ] ] f[father[当前叶子]] f[father[当前叶子]]。
如果在 A A A 树的 f [ x ] f[x] f[x] 中存在一个值与 f [ f a t h e r [ 当 前 叶 子 ] ] f[father[当前叶子]] f[father[当前叶子]] 相等,那就说明对于 B B B 树中以某一点 y y y 为根的 f [ y ] f[y] f[y],在 A A A 树中能找到一点 x x x,使得以 x x x 为根的 f [ x ] = f [ y ] f[x]=f[y] f[x]=f[y]。那么 A A A 树与 B B B 树同构,当前叶子节点符合要求。
当前问题的关键点转化为怎么快速求出,无根树中,以任意一点 x x x 为根的 f [ x ] f[x] f[x]
我们将当前无根树转化为根节点为 1 1 1 的有根树。
对根节点 1 1 1 进行求解,得到 f [ 1 ] f[1] f[1] ,此时各点 f [ x ] f[x] f[x] 表示整棵树以 1 1 1 为根,且当前为 节点 x x x 子树的哈希值。
我们设一个辅助数组 g [ x ] g[x] g[x],表示整棵树以 x x x 为根的哈希值,初始时 g [ 1 ] = f [ 1 ] g[1]=f[1] g[1]=f[1]。
假设 y ∈ s o n x y\in son_x y∈sonx,且当前 g [ x ] g[x] g[x] 已求出,考虑怎么求解 g [ y ] g[y] g[y]。
我们已经求出 f [ y ] = 1 + ∑ z ∈ s o n y a n d z ≠ x f [ z ] ∗ p [ s i [ z ] ] f[y]=1+\sum\limits_{z\in son_y\space and\space z\neq x}f[z]*p[si[z]] f[y]=1+z∈sony and z=x∑f[z]∗p[si[z]],我们要得到以 y y y 为根的哈希值 g [ y ] g[y] g[y]。
g [ y ] = f [ y ] + g[y]=f[y]+ g[y]=f[y]+ (以 y y y 为根的树中,子树 x x x 的哈希值) ∗ p [ n − s i [ y ] ] *p[n-si[y]] ∗p[n−si[y]]。
其中 ( 以 y y y 为根的树中,子树 x x x 的哈希值 ) 等于 ( g [ x ] − f [ y ] ∗ p [ s i [ y ] ] ) (g[x]-f[y]*p[si[y]]) (g[x]−f[y]∗p[si[y]])。
n − s