Prufer 序列 常用引理与性质 引理一 具有 nnn 个节点的无根树有 nn−2n^{n-2}nn−2 棵。 引理二 假设有 kkk 个连通块，每一块连通块有 sis_isi 个节点。添加 k−1k-1k−1 条边将这 kkk 个连通块连成一棵树的方案数为 nk−2⋅∏iksin^{k-2}\cdot\prod_i^k s_ink−2⋅i∏ksi 性质一 例题 洛谷 P11039
