前言
符号约定:
- C n m C_n^m Cnm表示在 n n n个元素中选择 m m m个,而不是在 m m m个元素中选择 n n n个。
简介
一个二项式反演就是一个简单的推导。
若
有
f
(
n
)
=
∑
i
=
0
n
C
n
i
g
(
i
)
则
有
g
(
n
)
=
∑
i
=
0
n
(
−
1
)
n
−
i
C
n
i
f
(
i
)
若有f(n)=\sum_{i=0}^n C_n^i g(i)\\ 则有g(n)=\sum_{i=0}^n (-1)^{n-i} C_n^i f(i)
若有f(n)=i=0∑nCnig(i)则有g(n)=i=0∑n(−1)n−iCnif(i)
来一个简单的证明吧:
右
式
=
∑
i
=
0
n
(
−
1
)
n
−
i
C
n
i
f
(
i
)
=
∑
i
=
0
n
(
−
1
)
n
−
i
C
n
i
∑
j
=
0
i
C
i
j
g
(
j
)
=
∑
i
=
0
n
∑
j
=
0
i
(
−
1
)
n
−
i
C
n
i
C
i
j
g
(
j
)
=
∑
j
=
0
n
∑
i
=
j
n
(
−
1
)
n
−
i
C
n
i
C
i
j
g
(
j
)
\begin{aligned} 右式 & = \sum\limits_{i=0}^n (-1)^{n-i} C_n^i f(i)\\ & = \sum\limits_{i=0}^n (-1)^{n-i} C_n^i \sum\limits_{j=0}^i C_i^j g(j)\\ & = \sum\limits_{i=0}^n \sum\limits_{j=0}^i (-1)^{n-i} C_n^i C_i^j g(j)\\ & = \sum\limits_{j=0}^n \sum\limits_{i=j}^n (-1)^{n-i} C_n^i C_i^j g(j) \end{aligned}
右式=i=0∑n(−1)n−iCnif(i)=i=0∑n(−1)n−iCnij=0∑iCijg(j)=i=0∑nj=0∑i(−1)n−iCniCijg(j)=j=0∑ni=j∑n(−1)n−iCniCijg(j)
因为组合数的性质:
C
i
j
×
C
j
k
=
C
i
k
×
C
i
−
k
j
−
k
C_i^j \times C_j^k=C_i^k \times C_{i-k}^{j-k}
Cij×Cjk=Cik×Ci−kj−k
有
右
式
=
∑
j
=
0
n
∑
i
=
j
n
(
−
1
)
n
−
i
C
n
j
C
n
−
j
i
−
j
g
(
j
)
=
∑
j
=
0
n
∑
i
=
0
n
−
j
(
−
1
)
n
−
i
−
j
C
n
j
C
n
−
j
i
g
(
j
)
\begin{aligned} 右式 & = \sum\limits_{j=0}^n \sum\limits_{i=j}^n (-1)^{n-i} C_n^j C_{n-j}^{i-j} g(j)\\ & = \sum\limits_{j=0}^n \sum\limits_{i=0}^{n-j} (-1)^{n-i-j} C_n^j C_{n-j}^i g(j)\\ \end{aligned}
右式=j=0∑ni=j∑n(−1)n−iCnjCn−ji−jg(j)=j=0∑ni=0∑n−j(−1)n−i−jCnjCn−jig(j)
可以发现,存在
∑
i
=
0
n
−
j
(
−
1
)
n
−
i
−
j
C
n
−
j
i
=
(
1
−
1
)
n
−
j
\sum\limits_{i=0}^{n-j} (-1)^{n-i-j} C_{n-j}^i=(1-1)^{n-j}
i=0∑n−j(−1)n−i−jCn−ji=(1−1)n−j
那么
右
式
=
∑
j
=
0
n
(
1
−
1
)
n
−
j
g
(
j
)
\begin{aligned} 右式 & = \sum\limits_{j=0}^n (1-1)^{n-j} g(j) \end{aligned}
右式=j=0∑n(1−1)n−jg(j)
因为当
n
−
j
≠
0
n-j \neq 0
n−j=0的时候,是右边绝对是
0
0
0,因此只有
n
=
j
n=j
n=j的时候有贡献,又因为存在:
∑
i
=
0
n
(
−
1
)
n
−
i
C
n
i
=
1
\sum\limits_{i=0}^n (-1)^{n-i} C_n^i=1
i=0∑n(−1)n−iCni=1
因此
右
式
=
g
(
n
)
=
左
式
右式=g(n)=左式
右式=g(n)=左式
(突然发现这证明还是很长的)
例题
LUOGU-P5505 [JSOI2011]分特产
题意就不说了,数据范围也不说了。
首先可以发现,恰好全部人都能分到特产是非常难算的。那么就转化问题。
首先设两个函数
f
(
i
)
表
示
恰
好
有
i
个
人
没
有
得
到
特
产
,
其
余
人
得
到
特
产
g
(
i
)
表
示
钦
定
了
i
个
人
没
有
得
到
特
产
,
其
他
人
随
意
\begin{aligned} & f(i)表示恰好有i个人没有得到特产,其余人得到特产\\ & g(i)表示钦定了i个人没有得到特产,其他人随意 \end{aligned}
f(i)表示恰好有i个人没有得到特产,其余人得到特产g(i)表示钦定了i个人没有得到特产,其他人随意
那么可以得到:
g
(
i
)
=
∑
j
=
i
n
C
i
j
f
(
j
)
⟺
f
(
i
)
=
∑
j
=
i
n
(
−
1
)
j
−
i
C
i
j
g
(
j
)
g(i)=\sum\limits_{j=i}^n C_i^j f(j)\Longleftrightarrow f(i)=\sum\limits_{j=i}^n (-1)^{j-i}C_i^jg(j)
g(i)=j=i∑nCijf(j)⟺f(i)=j=i∑n(−1)j−iCijg(j)
而最终的答案显然是
f
(
0
)
f(0)
f(0)。
接下来就是求出
g
(
i
)
g(i)
g(i),因为已经钦定了
i
i
i个人,那么剩下人只需要用插板法随意分配就好了。
g
(
i
)
=
∏
j
=
0
m
C
a
j
+
i
−
1
i
−
1
g(i)=\prod\limits_{j=0}^m C_{a_j+i-1}^{i-1}
g(i)=j=0∏mCaj+i−1i−1
可以发现,二项式定理可以用于解决一些有"恰好
k
k
k个",“刚好
k
k
k个"的计数问题。将"恰好"转化为"钦定”,通常可以是问题更简单。
LUOGU-P4859 已经没有什么好害怕的了
题意就不说了,数据范围也不说了。
首先,转化一下题目说法,可以发现,药片比糖果能量大的组有 m = n + k 2 m=\frac{n+k}{2} m=2n+k个。
接着继续设两个函数:
f
(
i
)
表
示
恰
好
m
组
是
药
片
比
糖
果
能
量
大
的
,
剩
余
是
药
片
比
糖
果
能
量
大
的
。
g
(
i
)
表
示
钦
定
m
组
是
药
片
比
糖
果
能
量
大
的
,
剩
余
随
意
\begin{aligned} f(i)& 表示恰好m组是药片比糖果能量大的,剩余是药片比糖果能量大的。\\ g(i)& 表示钦定m组是药片比糖果能量大的,剩余随意 \end{aligned}
f(i)g(i)表示恰好m组是药片比糖果能量大的,剩余是药片比糖果能量大的。表示钦定m组是药片比糖果能量大的,剩余随意
可以发现:
g
(
i
)
=
∑
j
=
i
n
C
i
j
f
(
j
)
⟺
f
(
i
)
=
∑
j
=
i
n
(
−
1
)
j
−
i
C
i
j
g
(
j
)
g(i)=\sum\limits_{j=i}^n C_i^j f(j)\Longleftrightarrow f(i)=\sum\limits_{j=i}^n (-1)^{j-i}C_i^jg(j)
g(i)=j=i∑nCijf(j)⟺f(i)=j=i∑n(−1)j−iCijg(j)
答案显然为
f
(
k
)
f(k)
f(k)。接下来求解
g
(
i
)
g(i)
g(i)。
设
l
i
m
i
lim_i
limi表示比
a
i
a_i
ai小的
b
j
b_j
bj个数,那么可以得到:
f
(
i
,
j
)
=
f
(
i
−
1
,
j
)
+
f
(
i
−
1
,
j
−
1
)
∗
[
r
i
−
(
j
−
1
)
]
f(i,j)=f(i-1, j) + f(i-1, j-1) * \left[r_i - (j - 1)\right]
f(i,j)=f(i−1,j)+f(i−1,j−1)∗[ri−(j−1)]
而
g
(
i
)
g(i)
g(i)显然就是
f
(
n
,
i
)
×
(
n
−
i
)
!
f(n,i)\times (n-i)!
f(n,i)×(n−i)!。