标签：化简 mC dbinom 组合 sum 学长 数学 相关 德蒙

二项式反演

若有两个长度均为\(n\)的数列\(f\),\(g\)，满足

\[g_m=\sum_{i=0}^m\dbinom{m}{i}f_i \]

则有

\[f_m=\sum_{i=0}^m(-1)^{m-i}\dbinom{m}{i}g_i \]

用途：有时对于较难求出的\(f\)，可利用其性质先求出\(g\),进而较为简单的求出\(f\)
至少形式（一般用的多）
若

\[g_m=\sum_{i=m}^{n}\dbinom{m}{i}f_i \]

就有

\[f_m=\sum_{i=m}^n(-1)^{i-m}\dbinom{m}{i}g_i \]

对第二个证明：（直接嫖学长的）

范德蒙恒等式

\[C_{m+n}^k=\sum_{i=0}^mC_{m}^i\times C_{n}^{k-i} \]

作用：化简式子

标签：化简,mC,dbinom,组合,sum,学长,数学,相关,德蒙
来源： https://www.cnblogs.com/PMZG/p/15088447.html

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