\(prufer\)序列和彻底图的生成树一一对应(考虑构造)spa
彻底图的生成树个数为\(n^{n - 2}\)class
知足第\(i\)个点的度数为\(d_i\)的生成树为\(\frac{n!}{\prod (d_i - 1) !}\)生成
把\(m\)个联通块,第\(i\)个大小为\(a_i\),链接起来的方案数为\(n^{m - 2} \prod a_i\)math
\(n\)个点,指定\(k\)个点在不一样的树中,造成\(k\)个森林的方案数为\(k * n^{n - k - 1}\)