哈希算法在判定树同构方面的应用（下）

哈希算法在判定树同构方面的应用

在上一篇文章中我们介绍了 枚举根节点哈希 和 求重心哈希 两种方法来判断两棵无根树是否同构。

但是如果有些题目中我必须要计算出每个根节点的 $f$ 值，且 $n\le 1e5$，我们要怎么办呢？

考虑以下问题。

（一）：洛谷–P4323 [JSOI2016]独特的树叶

题解：
考虑如下解法。

我们求解 $A$ 树中，以每一点 $x$ 为根的 $f[x]$ 值并保存。

我们枚举 $B$ 树中的叶子节点，计算删去这个叶子节点后，这个叶子节点的父亲的 $f$ 值，即计算 $f[father[当前叶子]]$。

如果在 $A$ 树的 $f[x]$ 中存在一个值与 $f[father[当前叶子]]$ 相等，那就说明对于 $B$ 树中以某一点 $y$ 为根的 $f[y]$，在$A$ 树中能找到一点 $x$，使得以$x$ 为根的 $f[x]=f[y]$。那么 $A$ 树与 $B$ 树同构，当前叶子节点符合要求。

当前问题的关键点转化为怎么快速求出，无根树中，以任意一点 $x$ 为根的 $f[x]$

我们将当前无根树转化为根节点为 $1$ 的有根树。

对根节点 $1$ 进行求解，得到 $f[1]$ ，此时各点 $f[x]$ 表示整棵树以 $1$ 为根，且当前为 节点$x$ 子树的哈希值。

我们设一个辅助数组 $g[x]$，表示整棵树以 $x$ 为根的哈希值，初始时$g[1]=f[1]$。

假设 $y\in so{n}_x$，且当前 $g[x]$ 已求出，考虑怎么求解 $g[y]$。

我们已经求出 $f[y]=1+\sum _{z\in so{n}_{y}andz\ne x}f[z]\ast p[si[z]]$，我们要得到以$y$ 为根的哈希值$g[y]$。

$g[y]=f[y]+$ (以 $y$ 为根的树中，子树 $x$ 的哈希值)$\ast p[n-si[y]]$。

其中 ( 以 $y$ 为根的树中，子树 $x$ 的哈希值 ) 等于 $(g[x]-f[y]\ast p[si[y]])$。