缩点后dp时，设 $f_u$ 表示 $u$ 子树内方案数。

初始化：

$f_u=2^{val_u}-1.$

$sz[u]=1.$

其中 $val_u$ 指缩点后该点内的点数。

---

则每当新增一颗子树，有转移式：

$f_u=f_u\times 2^{sz[v]}+f_v\times 2^{sz[u]}+f_u\times f_v.$

$sz[u]+=sz[v].$

答案即 $f_1\times 2^{Identical}$，其中 $Identical$ 为原图在同一边双的边个数。