二项式反演结论+证明

搂鱼114514

已于 2024-05-05 08:54:38 修改

阅读量186

点赞数 2

文章标签：算法

于 2024-05-04 15:43:26 首次发布

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/m0_60506105/article/details/138443299

版权

结论

$f$ 为带有“钦定”条件的数组， $g$ 为带有“恰好”条件的数组，则有二项式反演两个形式

形式一：

$f(n)=\sum_{i=0}^{n}\binom{n}{i}g(i)\Leftrightarrow g(n)=\sum_{i=0}^{n}(-1)^{n-i}\binom{n}{i}f(i)$

形式二：

$f(n)=\sum_{i=n}^{m}\binom{i}{n}g(i)\Leftrightarrow g(n)=\sum_{i=n}^{m}(-1)^{i-n}f(i)$

证明

对于形式一：

等量代换 $f$ ：

$g(n)=\sum_{i=0}^{n}\binom{n}{i}(-1)^{n-i}\sum_{j=0}^{i}\binom{i}{j}g(j)$

$=\sum_{i=0}^{n}\sum_{j=0}^{i}\binom{n}{i}\binom{i}{j}(-1)^{n-i}g(j)$

改变i和j的枚举顺序：

$=\sum_{j=0}^{n}\sum_{i=j}^{n}\binom{n}{i}\binom{i}{j}(-1)^{n-i}g(j)$

$=\sum_{j=0}^{n}g(j)\sum_{i=j}^{n}\binom{n}{i}\binom{i}{j}(-1)^{n-i}$

在此需要应用一个重要性质：

$\binom{n}{r}\binom{r}{k}=\binom{n}{k}\binom{n-k}{r-k}$

因此：

$=\sum_{j=0}^{n}g(j)\sum_{i=j}^{n}\binom{n}{j}\binom{n-j}{i-j}(-1)^{n-i}$

$=\sum_{j=0}^{n}\binom{n}{j}g(j)\sum_{i=j}^{n}\binom{n-j}{i-j}(-1)^{n-i}$

$=\sum_{j=0}^{n}\binom{n}{j}g(j)\sum_{k=0}^{n-j}\binom{n-j}{k}(-1)^{n-j-k}1^{k}$

$=\sum_{j=0}^{n}\binom{n}{j}g(j)[n=j]$

$=g(n)$

对于形式二：和形式一推导过程类似，请读者自行举一反三

一种可行的推导过程（转载自南海信息学网站，原创作者不详）

R$}6M9$Q6LB}({5OA5C~PLO.png

关注

2
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
二项式反演结论+证明

为带有“恰好”条件的数组，
复制链接

扫一扫

搂鱼114514 CSDN认证博客专家 CSDN认证企业博客

码龄3年

24: 原创

58万+: 周排名

6万+: 总排名

5260: 访问

: 等级

378: 积分

77: 粉丝

113: 获赞

15: 评论

104: 收藏

私信

关注

热门文章

最新评论

【点分治】洛谷P5306 Transport 题解
CSDN-Ada助手: 恭喜作者成功写出第20篇博客！看了您的题解，收获颇丰，对点分治这一算法有了更深入的了解。希望您可以继续保持创作的热情，分享更多高质量的题解和算法思路。如果可能的话，可以考虑结合实际案例或者个人经历，让读者更加容易理解和接受您的观点。期待您的下一篇作品！
【莫比乌斯反演】洛谷P2231 跳蚤题解
CSDN-Ada助手: 算法技能树或许可以帮到你：https://edu.csdn.net/skill/algorithm?utm_source=AI_act_algorithm
【莫比乌斯反演】洛谷P3327 约数个数和题解
CSDN-Ada助手: 恭喜作者写下了第17篇博客，题目看起来非常有趣，莫比乌斯反演在数论领域是一个很有深度的话题呢。希望作者能继续保持创作的热情，不断分享自己的学习心得和解题思路。或许下一步可以尝试探讨一些实际生活中的数学应用，让更多读者受益。期待作者更多精彩的文章，加油！🌟
【子集dp】CF165E Compatible Numbers 题解
CSDN-Ada助手: 恭喜作者发布了新的博客《【子集dp】CF165E Compatible Numbers 题解》，内容详细且易懂，让读者受益匪浅。希望作者能继续坚持创作，分享更多优质的题解内容。或许可以考虑增加一些实例分析或者扩展一些相关题目的讨论，让读者更深入地理解和应用所学知识。期待作者更多精彩的作品！
【莫比乌斯反演&类积性函数处理】洛谷P4449 于神之怒加强版题解
CSDN-Ada助手: 恭喜博主撰写了第16篇博客，标题听起来就很高深啊！莫比乌斯反演和类积性函数处理，让人眼前一亮。对于洛谷P4449的题解，详细的分析和解题思路让读者受益匪浅。希望博主能继续保持创作的热情和耐心，分享更多有深度的题解和算法思考。未来可以考虑结合实际案例或者应用场景，让读者更好地理解和运用你分享的知识。期待你的下一篇精彩博文！

您愿意向朋友推荐“博客详情页”吗？

强烈不推荐
不推荐
一般般
推荐
强烈推荐

提交

最新文章

目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。