有一个很强的性质是,当两个结束序列相等,当且仅当:
- 割掉的边集相等。
- 对于每个点,割掉的边的相对顺序一样。
设 \(f_{x, i, 0/1}\) 为 \(x\) 相连的边割掉了 \(i\) 条,父亲那条边有没有被割掉(要计算子树里的方案数)。
然后输出显然是 \(\sum_i f_{1, i, 0}\)。
有一个很强的性质是,当两个结束序列相等,当且仅当:
设 \(f_{x, i, 0/1}\) 为 \(x\) 相连的边割掉了 \(i\) 条,父亲那条边有没有被割掉(要计算子树里的方案数)。
然后输出显然是 \(\sum_i f_{1, i, 0}\)。