标签：标号 Cayley 公式 个数 证明 mathcal EGF mathrm
Cayley 公式的一些广为人知的证法：
- Prufer 序列
- Matrix-Tree 定理
然而我都不会 233，所以下面说一个生成函数角度的证法 .
我们知道 \(n\) 个节点的有标号无根树有 \(n^{n-2}\) 种，即 Cayley 公式 .
具体数学的做法是考虑递推完全图生成树个数，然后推出 EGF 的关系 .
那个递推太牛逼了，
我就不这么干了，先令 \(g_n\) 表示 \(n\) 个节点的有标号有根树个数（\(g_0=0\)），且考虑到根本身的影响其 EGF 为 \(G(z)\) .
钦定一个根，它每一个儿子的 EGF 都与它相同, 就是 \(G(z)\) . 那么它的生成函数就是它儿子生成函数的一个组合, 即 \(\mathrm e^{G(z)}\) . 然后考虑根本身的影响，有
\[G(z)=z\mathrm e^{G(z)} \]即 \(G(z)\mathrm e^{-G(z)}=z\) .
现在只需要解出 \(G\) 来然后提取系数即可 .
方法 1
Lagrange 反演
若 \(F,G\) 互为复合逆（即 \(F(G(z))=G(F(z))=z\)），且 \(F,G\) 常系数为 \(0\)，\(1\) 次项非 \(0\)，则有
\[[z^n]G(z)=\dfrac1n[z^{-1}]F(z)^{-n} \]
令 \(F(z)=z\mathrm e^{-z}\)，那么易见 \(F,G\) 互为复合逆，于是 Lagrange 反演一下，得到
\[\begin{aligned}[x^n]G(z)&=\dfrac1n[z^{-1}]F(z)^{-n}\\&=\dfrac 1n[z^{n-1}]\left(z^nF(z)^{-n}\right)\\&=\dfrac1n[z^{n-1}]\left(\dfrac{z}{F(z)}\right)^n\\&=\dfrac1n[z^{n-1}]\mathrm e^{nz}\\&=n^{n-1}\end{aligned} \]于是有标号有根树个数为 \(n^{n-1}\)，于是有标号无根树个数就是 \(n^{n-2}\)，Cayley 公式得证 .
方法 2
考虑广义指数函数 \(\mathcal E_t(z)\) 定义为
\[\mathcal E_t(z)=\sum_{n\ge 0}(tn+1)^{n-1}\dfrac{z^n}{n!} \]广义指数函数有一个性质叫
\[\mathcal E_t(z)^{-t}\ln\mathcal E_t(z)=z \]令 \(\mathcal D(z)=\ln\mathcal E_t(z)\)，则上式可以化为
\[\dfrac{\mathcal D(z)}{\mathrm e^{t\mathcal D(z)}}=z \]移项得
\[\mathcal D(z)=z\mathrm e^{t\mathcal D(z)} \]取 \(t=1\) 就得到所需 EGF \(G\) .
于是 \(G(z)=\ln\mathcal E_1(z)\) .
然后 EGF \(\ln\) 其实相当于一个平移，所以就可以根据定义提取系数 \([z^n]G(z)=n^{n-1}\) .
同样，这表明有标号有根树个数为 \(n^{n-1}\)，于是有标号无根树个数就是 \(n^{n-2}\)，Cayley 公式又得证 .
标签：标号,Cayley,公式,个数,证明,mathcal,EGF,mathrm 来源： https://www.cnblogs.com/CDOI-24374/p/16379360.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。