点开看证明.

Table of Contents

定义一个DP状态$f[x][i]$, 考虑如何合并已经做完的DP状态和一颗新的子树$f[y][]$的状态.