标签：aligned frac 入门 sum 反演 Leftrightarrow binom 二项式 Rightarrow

对于序列 \(\{f_n\}\) 和 \(\{g_n\}\)，通过 \(f\) 计算出 \(g\) 叫做正演，通过 \(g\) 计算出 \(f\) 叫做反演。

形式

二项式反演讲的是：

\[g_n=\sum_{i=0}^n\binom{n}{i}f_i \Leftrightarrow f_n=\sum_{i=0}^n(-1)^{n-i}\binom{n}{i}g_i \]

证明

将组合数展开得到：

\[\begin{aligned} &g_n=\sum_{i=0}^n\binom{n}{i}f_i \\ &\Leftrightarrow g_n=\sum_{i=0}^n \frac{n!}{i!(n-i)!}f_i \\ &\Leftrightarrow \frac{g_n}{n!} = \sum_{i=0}^n \frac{1}{(n-i)!}\frac{f_i}{i!} \end{aligned} \]

考虑序列 \(\{f_n\}\)，\(\{g_n\}\) 的指数生成函数 \(F(x),G(x)\)。上式是一个卷积的形式，写成指数生成函数就是 \(G(x)=e^xF(x) \Rightarrow F(x)=\frac{1}{e^x}G(x)\)。

将 \(e^{-x}\) 在 \(x=0\) 处泰勒展开得到 \(e^{-x} = \sum_{i=0}^n (-1)^i \dfrac{x^i}{i!}\)，和 \(G(x)\) 卷起来得到

\[\begin{aligned} &F(x)=\sum_{k=0}^n\sum_{i=0}^k(-1)^{k-i}\frac{1}{(k-i)!}\frac{g_i}{i!}x^k \\ &\Rightarrow \frac{f_n}{n!}=\sum_{i=0}^n(-1)^{n-i}\frac{1}{(n-i)!}\frac{g_i}{i!} \\ &\Rightarrow f_n=\sum_{i=0}^n(-1)^{n-i} \frac{n!}{i!(n-i)!}g_i=\sum_{i=0}^n(-1)^{n-i} \binom{n}{i} g_i \end{aligned} \]

证毕。

应用

咕

标签：aligned,frac,入门,sum,反演,Leftrightarrow,binom,二项式,Rightarrow
来源： https://www.cnblogs.com/Lewis-Li/p/binominv.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。