[笔记] n个点的基环树数量

某裴姓蒟蒻上午提了一个小问题(rt)。。然后他升华了。。升华之前感受到了神犇的力量。。。


方法一:

g[n][k]表示n个点,k条边的无向图(不一定连通)

f[n][k]表示表示n个点,k条边的无向连通图

咕咕了。。。自己讲不清。。。O(n^4)


方法二: 

我们可以枚举环的大小,设为$i$,则可以从$ n$个中随意选$i$个点即$C_n^i$,造出本质不同的环的数量为$(i-1)!$,但是会有翻转同构,所以要$/2$;

当n个点有k个连通块,把他们连成一棵树的方案数是:$ \Pi sz_i \space* n^{k-2}$

证明:把连通块看成点,$sz_i$表示第$i$个连通块的点数

枚举$Prufer$序列,设$p_i$为$Prufer$序列中的第$i$项,$q_i$代表$i$在$Prufer$序列中的出现次数,

则有 $ \Sigma_{Prufer}\space \Pi sz_i^{q_i+1} \space q_i+1$相当于是$i$的度数,而每个点都有可能是连边的点,所以是$sz_i^{q_i+1}$ 

$\Pi sz_i \space \Sigma_{Prufer}\space \Pi sz_i^{q_i}$ 

$\Pi sz_i \space \Sigma_{Prufer} \space \Pi sz_{p_i}$

根据$Prufer$序列的性质,我们知道$Prufer$序列长$ k-2$并且每个位置都可以填$[1,k]$

所以根据乘法原理(或是说乘法分配律)可知:

$\Sigma_{Prufer} \space \Pi sz_{p_i}=\Pi_{p=1}^{k-2}\Sigma_{i=1}^k sz_i$

所以有$\Pi sz_i \space \Pi_{p=1}^{k-2}\Sigma_{i=1}^k sz_i$,而$\Sigma_{i=1}^k sz_i=n$

即$\Pi sz_i \space n^{k-2}$

证毕

此时每个点的$sz$都是$1$,除了那个环的$sz$是$i$,共有$n-i+1$个点(连通块)

所以公式为$C_n^i*(i-1)!*i*n^{n-i+1-2}=C_n^i*i!*n^{n-i-1}$


咕了一天qwq2019.05.20

posted @ 2019-05-20 21:06  LuitaryiJack  阅读(634)  评论(0编辑  收藏  举报