组合数学学习笔记(持续完善中)
更好的阅读体验
update
2024-11-12 11:25 修改了一些格式错误且增加了二项式反演的例题
2024-11-12 14:33 改进了二项式反演的证明
基础知识
一、加法原理
完成某个工作有
二、乘法原理
完成某个工作有
排列组合(基础)
一、定义
1.排列数:从
2.组合数:从
3.插板法
现有
- 保证每组至少有一个元素,一共有多少种分法?
考虑拿
本质是求
- 每组允许为空,一共有多少种分法?
给总体先加上
本质是求
- 对于第
组,至少要分到 个( ),一共有多少种分法?
本质是求
模仿第三种情况,我们设
过程:
所以答案为
例:
证明:设选的
二项式定理
内容
证明
采用数学归纳法。
先理解一个引理:帕斯卡法则,即:
- 证明帕斯卡法则:假设有
个人,要在其中选出 个人,很明显方案有 种;但不幸的是,一共的 个人中死了一个,现在我们总人数剩下 人,但还是要选 人,现在方案数为 种;我们发现少的方案数一定和那死的一个人有关,那我们所缺少的方案数就是在选种的 个人中有那个死人,所以我们还能自主选择 人,所以缺少的方案数为 。所以我们有:
调换下顺序得到:
得证。
现在证明二项式定理。
当
假设当
将
把前半部分
将
把后半部分
将中间两个求和合并:
套用帕斯卡法则:
所以当
得证。
鸽巢原理(抽屉原理)
内容
将
证明
反证法。
设每个分组含有小于
容斥原理
内容
设
证明
数学归纳法,懒得写了以后填坑()
卡特兰数
定义
定义卡特兰数
求法
如下图,对每个非法的方案都可以通过把在第一个越过
因为一共需要走
综上可得:
递推公式
证明:
-
从
走到 ,方案数为 。 -
从
走到 ,方案数为 。 -
从
走到 ,方案数为 。
枚举每一个
故得证。
组合数性质
性质1
证明
正确性显然,用组合数意义理解,在
性质2
证明
性质3
证明
即帕斯卡定理的略微转换,具体见上。
性质4
证明
将
性质5
bool
)。
证明
证法基本等同于性质
我们这里认为
具体证明略。
性质6
证明
考虑通过组合数意义来理解。
假设现在有
性质7
证明
性质
性质8
证明
性质9
证明
拓展:求证 $$\begin{aligned}
\sum_{i=1}{n}im\dbinom{n}{i}&=n{\overline{m}}2
\end{aligned}$$。
性质10:
证明
二项式反演
内容
形式1
形式2
证明
发现形式一的形态很对称,那我们设一个反演系数。
设矩阵
发现后面的那块是二项式定理,所以原式可以化简为:
仔细观察,此式只有在
由此得证
例题
虽然 Codeforces
题库炸了,但不影响这是一道能用来练二项式反演的好题(好像也可以用容斥原理做?)。
套路化的,我们设
发现这是 二维二项式反演 的经典式子,反演后可得:
而我们要求的答案是总方案数
- 当
时,同色的行和列一定交叉,所以所有行和列都是一种颜色,方案数为 。 - 当
时,同色的行和列一定交叉,所以所有行和列都是一种颜色,方案数为 。 - 当
时,无限制,方案数为 。
把
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· Manus的开源复刻OpenManus初探
· 三行代码完成国际化适配,妙~啊~
· .NET Core 中如何实现缓存的预热?
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?