【NOI2020 超现实树】

题意

对于所有的无标号且区分左右儿子的有根二叉树，定义一棵树 $T_1$ 可以由另一棵树 $T_2$ 生长得到，当且仅当可以通过进行若干次将 $T_2$ 的叶节点替换成某棵二叉树的操作得到。对于一个二叉树集合 $\mathcal{T}$，定义 $\mathrm{g}\mathrm{r}\mathrm{o}\mathrm{w}(\mathcal{T})$ 表示所有可以由 $\mathcal{T}$ 中的树生长得到的树构成的集合。定义 $\mathrm{g}\mathrm{r}\mathrm{o}\mathrm{w}(\mathcal{T})$ 是完备的当且仅当只有有限棵二叉树不在 $\mathrm{g}\mathrm{r}\mathrm{o}\mathrm{w}(\mathcal{T})$ 中。给一个二叉树集合 $\mathcal{T}$，问 $\mathrm{g}\mathrm{r}\mathrm{o}\mathrm{w}(\mathcal{T})$ 是否完备。
∑ n , ∑ m ≤ 2 ∗ 1 0 6 \sum n,\sum m\le 2*10^6