Binomial_Inversion
一、反演简介
反演的本质:两个数列的双向求和关系。
最常见的反演,比如前缀和与差分。
定义关系矩阵
即
反过来我们也有
我们有如下结论:
定理:两个互为反演关系的矩阵互逆。
一对互逆矩阵转置后仍然互逆,即:
一对互逆矩阵分别数乘
反演中 -1 的幂可以移动:
我们想办法证明后面的等式能推出前面的等式。
将后面的等式两边乘上
很显然
分类讨论:
如果
,则等式的右边为 1。如果
,则等式的右边为 0。
说明
即我们从右边的等式推到了左边的等式。
想从左边推到右边的话把这个证明过程倒过来走一遍就行了。
对于多维反演,以二维情况为例,假设两维的关系矩阵分别为
二、二项式相关结论
对称:
吸收与释放:
二项式定理:
递推公式(杨辉三角):
平行求和:
证明:前两项之和为
然后与
求和:以此类推,综上得到结论。
上指标求和:
证明:
,与 相加得到 。剩下的递推与上个证明类似,不作赘述。
三、二项式反演
常见形式及其证明:
二项式反演基本形式:
证明该结论即证明
这个矩阵是自逆的。证明:
于是
,反演成立。
二项式反演的另外一种形式:
就是利用我们第一部分讲的那个 -1 的幂可以移动的结论,证明这个形式和我们刚才讲的基本形式是等价的。
如果想证明的话,当然可以先证明这个和上面的基本形式等价,然后再证明基本形式正确,从而证明这个形式正确。
但实际上在这种形式下,我们有更好的证明方法。
证明:
等价于:
这实际上是一个 EGF 的卷积形式:
再换成级数的形式:
该形式等价于:
因为上述证明中我们使用的都是等价,因此所有的推导都可以逆向进行,即两个等式等价。
另一种形式:
实际上就是将 EGF 证明的那种形式的矩阵进行转置后得到的。
另一种形式:
将上面的形式移动 -1 的幂次即可。
错排引入:
求错位排列数
。我知道你会
然后矩阵加速,跑得飞快。但我现在要讲一下这个东西的通项公式是如何使用二项式反演得到的。
每次钦定
个位置,它们严格错排,其余位置不动。其中 取 。显然这些方案可以不重不漏的覆盖所有排列的方案:
二项式反演:
于是我们得到了
的通项,每项可以 计算。如果想求出前
项的具体值的话,根据 卷积,直接 NTT 就是 的,和矩阵乘法没差。但是单次求还是矩阵乘法更胜一筹。
这里拿这个问题不过就是简单应用一下二项式反演。。。
钦定法:
还是错排问题。
我们称
的 为不动点。设
为恰有 个不动点的长度为 的排列个数。设
为有 个及以上不动点的长度为 的排列个数。那么我们就有:
然后二项式反演:
很容易知道:
代入
:我们要求的就是:
和上面我们求出的通项是一样的。
例题一:P4491 [HAOI2018]染色
- 差卷积的使用,就是调整序列标号之后再做加法卷积
例题二:P6478 [NOI Online #2 提高组] 游戏
- 先 DP 后反演
例题三:CF997C Sky Full of Stars
- 二维二项式反演
- 反演过后使用二项式定理化简
练习:CF1228E Another Filling the Grid
- 同样是二维二项式反演
- 例题的弱化
例题四:P5339 [TJOI2019]唱、跳、rap和篮球
- 特殊的钦定方法
- 以及 EGF 计算
练习题 ? 组:
P5400 [CTS2019] 随机立方体
P5401 [CTS2019] 珍珠