一、组合数
1.递推式
证:左边相当于从 个数中选 个数,右边枚举第 个数选不选。如果选,就从剩下 个数中选 个;如果不选,就从剩下 个数中选 个。
2.对称性
证:左边相当于从 个数中选 个数留下,右边相当于从 个数中选 个数丢弃。
3.吸收/相伴等式
证:原式
证:原式
证:原式
4.上指标反转
证:原式
5.三项式系数恒等式
证:左边相当于从 个数中选 个数,再从这 个数中选 个数,右边相当于从 个数中选 个数,这些数一定包含在要选的 个数中,因此就只用在剩下 个数中选 个数。
6.上指标求和
证:①原式 (当 时,无法从 个数中选出 个数,因此省去)( 与 无关,可以提出)(离散微积分,具体证明可见《离散微积分学习笔记》)。
②右边相当于从 个数中选出 个数,左边相当于确定了第 个数的位置 ,要从前 个数中再选 个。
练习一
化简:
解:原式 $= \displaystyle\sum_{i = 0}^m\binom{n + i}{n} = \displaystyle\binom{n + m + 1}{n + 1}$ (上指标求和)。
7.下指标求和
证:①左边相当于从 个数中选任意个数,每个数都有选或不选两种方案,因此有 种方案;
②当二项式定理中 和 都为 ,就可以得出此等式。
例题一
一句话题意:给 组询问,每次给出 ,求。
,对 取模。
解:把 看成区间,使用莫队算法(我不会qwq):
:(两排错位相加,减掉最后一位)
:
8.下指标卷积 | 范德蒙德卷积
证:左边相当于从 个数中选 个数,再从 个数中选 个数,右边相当于从 个数中选 个数,两者意义相同。
练习二|下指标点积
化简
解:原式 (对称性)= (下指标卷积)
9.上指标卷积
证:左边相当于在 个数中插入一个挡板,在挡板左边的数中选 个,在挡板右边的数中选 个,如果将挡板也看作一个数,那么就等于从 个数中选 个数,即右边的表达式。
练习三
化简:
解:原式 (三项式系数恒等式)( 与 无关,可以提出)(组合数展开)(上指标反转)(组合数的定义)
例题二
有标号连通图计数,
分析:记 表示大小为 的有标号连通图的个数, 表示大小为 的有标号图的个数,则 。
考虑简单容斥,求大小为 的有标号不连通图的个数:假设 号点所在连通块大小为,则有
DP 即可。
例题三
一句话题意:给定 , 次询问,每次给定 ,求:
分析:原式 (斯特林数的计算式) (组合数的计算式) (将求和移动到最外层) (三项式系数恒等式) (将只与 有关的因式外移)
预处理一下斯特林数和组合数就可以 每次询问了。
10.Lucas 定理
证:①
(二项式定理展开);
( 表示多项式中 项的系数,由二次项定理可得)
只有产生 倍数处的贡献,而
只在 处产生贡献,所以每个位置刚好被贡献一次。
② 对于素数
带入二项式定理的展开式,得:
令 ,有:
又根据二项式定理 ,与上式对比得:
对比两边第 次项的系数,根据 ,得:
二、二项式定理
11.二项式定理
证:第 项的系数等于从 个 中选出 相乘后最高项系数和
练习四|牛顿级数
记 表示数列 差分 次后的数列,证明:
证:①:当差分一次时,式子成立;假设对于前 次差分,都有 ,则
符合数学归纳法,等式成立
②设
则 ( 变换多少次都不会影响序列) (将 提出) ( 相当于将 左移 位,到 )
三、错排
12.错排
记 表示长度为 的,且不存在 的排列的个数
则
证:考虑数字 有 种放法,假如放到了位置 ,那位置 处的数字有两种类型的放法:要么放在位置 ,那么剩下物品的放法就有 种

要么放在除 外的其他位置,那么让最后排完了时排在 位置的数字与排在 位置的数字 交换,不看 位置,就得到了一个大小为 的错排,也就是这种情况下的每种方案可以与大小为 的错排一一对应,故这种情况
有 种方案。

例题四
一句话题意:记 表示将排列 看成置换,其中循环的个数。给定 和一个 次多项式 ,对于所有 求
其中 表示长度为 的错排
,对 取模
分析:原式 (将多项式展开) (斯特林数的计算式) (将求和移动到最外层) (交换求和顺序) (将只与 有关的因式外移) (将只与 有关的因式内移)
其中 可以 预处理
记 表示有 个循环,长度为 的错排数
则 (与错排递推式推导类似)
记
考虑枚举循环个数,当循环个数为 时,有 种排法,每种排法对 的贡献为
则 (将常量外移) (拆括号) (组合数递推式逆用)
于是 预处理一下之后,对于每个 , 求答案即可。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 阿里最新开源QwQ-32B,效果媲美deepseek-r1满血版,部署成本又又又降低了!
· 开源Multi-agent AI智能体框架aevatar.ai,欢迎大家贡献代码
· Manus重磅发布:全球首款通用AI代理技术深度解析与实战指南
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· AI技术革命,工作效率10个最佳AI工具