首页 > 其他分享 >杂谈:二项式反演与多步容斥

杂谈:二项式反演与多步容斥

时间:2022-12-19 21:59:41浏览次数:40  
标签:多步 钦定 容斥 反演 binom 二项式

这是两个本质不同的东西。

多步容斥是“至少或至多选若干个”到“恰好选若干个”的变换。而二项式反演是“钦定选若干个”到“恰好选若干个”的变换。二项式反演虽然形式上和多步容斥极为相似,但它们并不等价,只是习惯上很多人把他们都称之为多步容斥。

在二项式反演的组合意义上,记 \(f(n)\) 表示 “钦定选 \(n\) 个”,\(g(n)\) 表示 “恰好选 \(n\) 个”,则对于任意的 \(i\ge n\),\(g(i)\) 在 \(f(n)\) 中被计算了 \(\binom in\) 次,故有

\[f(n)=\sum_{i=n}^m\binom ing(i) \]

其中 \(m\) 是数目上界。

十分值得注意的是,在定义中,\(f(n)\) 表示先钦定 \(n\) 个,再统计钦定情况如此的方案数,其中会包含重复的方案,因为一个方案可以有多种钦定情况。具体地,对于恰好选择 \(i\) 个,钦定情况数为 \(\binom in\),故 \(g(i)\) 在 \(f(n)\) 中被计算了 \(\binom in\) 次。切勿将 \(f(n)\) 理解为普通的后缀和。

举个例子,错排数 \(D_n\) 的一个公式是

\[D_n=\sum_{k=0}^n(-1)^k\binom nk(n-k)! \]

这个公式是对的,然而从容斥的角度看毫无疑问是似是而非的。如果把 \((-1)^k\) 理解为容斥系数,这个式子的意思似乎是先选定至少 \(k\) 个位置使得 \(a_i=i\),剩下的随意排,也就是至少 \(k\) 个位置不错位的方案数,但仔细想想并不是这样的。

考虑 \(n=3,k=1\) 时公式给出方案数为 \(6\),而实际上只有下面四种方案:

\[123,132,321,213 \]

这是因为 \(123\) 被计算了 \(3\) 次,毫无疑问这里从容斥原理的角度看是算重复了。但是重二项式反演的角度看则刚刚好:设 \(f_i\) 表示恰好有 \(i\) 个 \(a_k=k\) 的排列数,\(g_i\) 表示钦定有 \(i\) 个 \(a_k=k\) 的排列数,那么

\[g_i=\sum_{j\geq i} \binom jif_j \]

二项式反演得到

\[f_i=\sum_{j\geq i} (-1)^{j-i} \binom jig_j \]

我们要求的就是 \(f_0\)。

标签:多步,钦定,容斥,反演,binom,二项式
From: https://www.cnblogs.com/szdytom/p/note-binomial-inversion-vs-inclusion-exclusion.html

相关文章

  • 算法学习笔记(41)——容斥原理
    容斥原理设\(S_1,S_2,\cdots,S_n\)为有限集合,\(|S|\)表示集合\(S\)的大小,则:\[\vert\bigcup\limits_{i=1}^{n}S_i\vert=\sum\limits_{i=1}^{n}\vertS_i\vert......
  • 一种关于子集异或和的冷门反演
    前言本文用集合的符号表示二进制数。具体地,定义全集\(u\)是\(2^n-1\),某个二进制数\(x\)第\(t\)位是1可以理解为为\(x\)中有\(t\)号元素,否则没有。定义\(|x|......
  • 容斥原理学习笔记
    定义集合两个集合的交集:集合\(A\)与\(B\)的交集可以表示为:\[A\capB=\{x:x\inA\landx\inB\}\]两个集合的并集:集合\(A\)与\(B\)的并集可以表示为:\[A\c......
  • 容斥与简单莫反
    容斥与莫比乌斯函数容斥原理:介绍:设集合\(S_1\simS_n\),记\(|S_i|\)表示集合\(S_i\)的大小,设\(\cup\)表示集合的并集运算,\(\cap\)表示集合的交集运算,则\[\left|\bigcup_......
  • 反演与筛法
    本文大量参考了:《反演与筛法》马耀华OI中(?)常用数论函数求和法的大致描述、zzt求和法的简化版,negiizhao1积性函数与反演我们先给出一些关于数论函数的基本定义。......
  • CF1591F Non-equal Neighbours (容斥qwq)
    容斥神仙题qwq。题意给定一个长度为\(n\)的序列\(a_1,a_2,\cdots,a_n\),输出满足如下条件的序列\(x\)的方案数:\(1\leqx_i\leqa_i\)\(x_i\neqx_{i+1}(1\leqi......
  • 容斥
    妈的好难理解啊QAQ经典容斥容斥模型:设有一些元素及一些条件\(U=\{p_1,p_2,\dots,p_n\}\)。有一个函数\(f\),\(f(S),S\subseteqU\)表示至少满足\(S\)中的全部条件......
  • Möbius 反演
    \(\textbf{QAQ}\)令\(h\)为两个数论函数\(f,g\)的Dirichlet卷积\(f*g\),则\[h(n)=\sum_{d|n}f(d)g(\frac{n}{d})\]它满足结合律,交换律,分配律。Dirichlet卷积单......
  • 容斥原理 & 莫比乌斯反演
    tobefix:“扩展”部分的式子是假的二维子集反演莫比乌斯反演容斥原理&莫比乌斯反演一、函数卷积:定义函数卷积\(f(x,y)\)和\(g(x,y)\)是\(X\timesX\ri......
  • 【CF1750F】Majority(容斥+DP)
    题目链接规定一个\(01\)串\(s\)是好的,当且仅当可以经过若干次下面的操作将它变成全\(1\):选择一对\(i,j\)满足\(s_i=s_j=1\)且\(\sum_{k=i}^js_k\ge\frac{j-i+1......