二项式反演学习笔记

这是一篇防遗忘的二项式反演证明博客

在此不给出精妙的容斥证明,开始推代数证明

众所周知二项式反演有两个形式

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

这个式子简直妙啊……太对称了

然而它更常用的形式是这个

\(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 = 0}^{n} (-1)^{i}\binom{n}{i}g(i)\)

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

我们考虑更换枚举顺序

\(f(n) = \sum_{j = 0}^{n} \sum_{i = j}^{n} (-1)^{i + j} \binom{n}{i} \binom{i}{j} f(j)\)

如果只有j = n的时候,

\(\sum_{j = 0}^{n} \sum_{i = j}^{n} (-1)^{i + j} \binom{n}{i} \binom{i}{j}\)值为1的话,那么式子是成立的

(虽然在别的情况下例如加加减减之后也是f(n)但是这个式子就是有这样特殊的性质)

\(\binom{n}{i} \binom{i}{j} = \frac{n!}{i!(n - i)!}\cdot\frac{i!}{j!(i - j)!} = \frac{n!}{(n - j)!j!}\cdot\frac{(n-j)!}{(n - i)![(n - i) - (n - j)]!} = \binom{n}{j}\binom{n - j}{n - i}\)

\(\sum_{j = 0}^{n} \sum_{i = j}^{n} (-1)^{2 \* n - i - j} \binom{n}{j}\binom{n - j}{n - i}\)

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

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

显然在组合数之间相隔一个填一个不同的+-号,考虑杨辉三角,除了第一行,剩下的和全是0

那么就有

\(\sum_{j = 0}^{n} (-1)^{j} \binom{n}{j}[n == j]\)

只有当j = n的时候,值才是1,于是反演得证

对于第二种形式呢,可以也推出一个类似的式子

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

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

\(\sum_{j = 0}^{n} \sum_{i = j}^{n} (-1)^{2 * n - i + j} \binom{n}{j}\binom{n - j}{n - i}\)

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

\(\sum_{j = 0}^{n} (-1)^{n + j} \binom{n}{j}[n == j]\)

于是也可以得证

然后你会发现,这个东西写成矩阵是个下三角,按理来说,这个东西会有一个上三角形式,例如莫比乌斯反演

那么其实是有的

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

什么,也是那么对称的么

还有一个常用形式

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

然后再去证明

\(f(k) = \sum_{i = k}^{n} (-1)^{i}\binom{i}{k}g(i)\)

\(f(k) = \sum_{i = k}^{n} (-1)^{i}\binom{i}{k} \sum_{j = i}^{n} \binom{j}{i} f(j)\)

\(f(k) = \sum_{i = k}^{n} (-1)^{i}\binom{i}{k} \sum_{j = i}^{n} (-1)^{j} \binom{j}{i} f(j)\)

\(f(k) = \sum_{j = k}^{n} \sum{i = k}^{j} (-1)^{i + j}\binom{i}{k} \binom{j}{i} f(j)\)

\(\binom{i}{k}\binom{j}{i} = \frac{i!}{k!(i - k)!}\frac{j!}{i!(j - i)!} = \frac{j!}{k!(j - k)!}\frac{(j - k)!}{(i - k)![(j - k) - (i - k)]!} = \binom{j}{k}\binom{j - k}{i - k}\)

\(f(k) = \sum_{j = k}^{n} \sum{i = k}^{j} (-1)^{i + j - 2\*k}\binom{j}{k}\binom{j - k}{i - k}\)

\(f(k) = \sum_{j = k}^{n} (-1)^{j - k}\binom{j}{k}\sum{i = k}^{j} (-1)^{i - k}\binom{j - k}{i - k}\)

\(f(k) = \sum_{j = k}^{n} (-1)^{j - k}\binom{j}{k}\sum{i = 0}^{j - k} (-1)^{i}\binom{j - k}{i}\)

\(f(k) = \sum_{j = k}^{n} (-1)^{j - k}\binom{j}{k}[k == j]\)

同理第二种形式也可以证明

\(f(k) = \sum_{j = k}^{n} \sum{i = k}^{j} (-1)^{j - i}\binom{i}{k} \binom{j}{i} f(j)\)

\(f(k) = \sum_{j = k}^{n} \sum{i = k}^{j} (-1)^{j - i - k + k}\binom{j}{k}\binom{j - k}{i - k}\)

\(f(k) = \sum_{j = k}^{n} (-1)^{j - k}\binom{j}{k}\sum{i = k}^{j} (-1)^{k - i} \binom{j - k}{i - k}\)

\(f(k) = \sum_{j = k}^{n} (-1)^{j - k}\binom{j}{k}[j == k]\)

原文地址:https://www.cnblogs.com/ivorysi/p/9058093.html

时间: 2024-11-11 16:27:12

二项式反演学习笔记的相关文章

莫比乌斯反演学习笔记

莫比乌斯反演,之前做过一些题,一直没有太理解,膜了下faebdc学长的姿势,终于搞懂了一些. 首先我们有两个式子: 1:∑d|n?(d)=n2:∑d|nμ(d)=e(n) 1式证明:对于n的质因数x对?(n)贡献了(x?1)?xt?1 单独对于x而言约数可以为x0,x1,...,xt,设约数xt?1满足以上式子: 则对于xt而言有xt?1+(x?1)?xt?1=xt,同样成立,归纳法得证. 2式证明,这与莫比乌斯函数性质有关. 然后我们就可以推式子了: 1Dgcd ∑ni=1gcd(i,n)=∑

vector 学习笔记

vector 使用练习: /**************************************** * File Name: vector.cpp * Author: sky0917 * Created Time: 2014年04月27日 11:07:33 ****************************************/ #include <iostream> #include <vector> using namespace std; int main

Caliburn.Micro学习笔记(一)----引导类和命名匹配规则

Caliburn.Micro学习笔记(一)----引导类和命名匹配规则 用了几天时间看了一下开源框架Caliburn.Micro 这是他源码的地址http://caliburnmicro.codeplex.com/ 文档也写的很详细,自己在看它的文档和代码时写了一些demo和笔记,还有它实现的原理记录一下 学习Caliburn.Micro要有MEF和MVVM的基础 先说一下他的命名规则和引导类 以后我会把Caliburn.Micro的 Actions IResult,IHandle ICondu

jQuery学习笔记(一):入门

jQuery学习笔记(一):入门 一.JQuery是什么 JQuery是什么?始终是萦绕在我心中的一个问题: 借鉴网上同学们的总结,可以从以下几个方面观察. 不使用JQuery时获取DOM文本的操作如下: 1 document.getElementById('info').value = 'Hello World!'; 使用JQuery时获取DOM文本操作如下: 1 $('#info').val('Hello World!'); 嗯,可以看出,使用JQuery的优势之一是可以使代码更加简练,使开

[原创]java WEB学习笔记93:Hibernate学习之路---Hibernate 缓存介绍,缓存级别,使用二级缓存的情况,二级缓存的架构集合缓存,二级缓存的并发策略,实现步骤,集合缓存,查询缓存,时间戳缓存

本博客的目的:①总结自己的学习过程,相当于学习笔记 ②将自己的经验分享给大家,相互学习,互相交流,不可商用 内容难免出现问题,欢迎指正,交流,探讨,可以留言,也可以通过以下方式联系. 本人互联网技术爱好者,互联网技术发烧友 微博:伊直都在0221 QQ:951226918 -----------------------------------------------------------------------------------------------------------------

Activiti 学习笔记记录(三)

上一篇:Activiti 学习笔记记录(二) 导读:上一篇学习了bpmn 画图的常用图形标记.那如何用它们组成一个可用文件呢? 我们知道 bpmn 其实是一个xml 文件

HTML&CSS基础学习笔记8-预格式文本

<pre>标签的主要作用是预格式化文本.被包围在 pre 标签中的文本通常会保留空格和换行符.而文本也会呈现为等宽字体. <pre>标签的一个常见应用就是用来表示计算机的源代码.当然你也可以在你需要在网页中预显示格式时使用它. 会使你的文本换行的标签(例如<h>.<p>)绝不能包含在 <pre> 所定义的块里.尽管有些浏览器会把段落结束标签解释为简单地换行,但是这种行为在所有浏览器上并不都是一样的. 更多学习内容,就在码芽网http://www.

java/android 设计模式学习笔记(14)---外观模式

这篇博客来介绍外观模式(Facade Pattern),外观模式也称为门面模式,它在开发过程中运用频率非常高,尤其是第三方 SDK 基本很大概率都会使用外观模式.通过一个外观类使得整个子系统只有一个统一的高层的接口,这样能够降低用户的使用成本,也对用户屏蔽了很多实现细节.当然,在我们的开发过程中,外观模式也是我们封装 API 的常用手段,例如网络模块.ImageLoader 模块等.其实我们在开发过程中可能已经使用过很多次外观模式,只是没有从理论层面去了解它. 转载请注明出处:http://bl

[原创]java WEB学习笔记48:其他的Servlet 监听器:域对象中属性的变更的事件监听器 (3 个),感知 Session 绑定的事件监听器(2个)

本博客为原创:综合 尚硅谷(http://www.atguigu.com)的系统教程(深表感谢)和 网络上的现有资源(博客,文档,图书等),资源的出处我会标明 本博客的目的:①总结自己的学习过程,相当于学习笔记 ②将自己的经验分享给大家,相互学习,互相交流,不可商用 内容难免出现问题,欢迎指正,交流,探讨,可以留言,也可以通过以下方式联系. 本人互联网技术爱好者,互联网技术发烧友 微博:伊直都在0221 QQ:951226918 ---------------------------------