竞赛组合:母函数、图论与递推
高中组合竞赛的核心是把“看起来无从下手”的离散问题,转化成可计算的结构:等价分类、双计数、递推、图模型。
一、 核心知识点讲解
1. 双计数 (Double Counting)
对同一集合按两种方式计数,是组合证明最常见武器。
典型模板:
- 按“元素视角”统计;
- 按“容器视角”统计;
- 两个表达式相等,得到恒等式或不等式。
例如二项式恒等式
就是对“从两组各 人中选 人”进行双计数。
2. 抽屉原理与极值思想
- 抽屉原理:若把 个对象放入 个盒子,必有一盒不少于 个。
- 极值思想:先取“最大/最小”对象,再利用其极端性构造矛盾。
这两类方法常用于存在性问题,尤其是“必有两数同余”“必有结构重复”“最短反例不存在”。
3. 递推与生成函数
将序列 转化为形式幂级数
可把递推关系变为代数方程。
4. 常用递推模型
- Catalan 数:。应用:括号匹配、出栈次序、多边形三角剖分。
- 第二类 Stirling 数:将 个不同元素分成 个非空子集的方案数。
5. 图论模型(竞赛常用)
- Ramsey 思想:规模足够大时,必有“全同色子结构”。
- 平面图与欧拉公式:(连通平面图)。
- 握手定理:,常用于奇偶性与度数下界。
6. 容斥原理 (Inclusion-Exclusion Principle)
处理“至少”或“至多”问题的标准工具。
- 基本形式:
- 补集形式:
- 错位排列 (Derangements): 个元素的错排数 满足: 且满足递推式:。
二、 经典例题实战
例题 1:卡特兰数的应用
一个 方格,从左下角走最短路径到右上角,且不跨越主对角线的路径有多少条?
点击查看解析与答案
例题 2:双计数证明恒等式
证明
点击查看解析与答案
考虑集合 的元素个数。
- 按子集大小计数:若 ,则贡献 个有序对,总数为
- 按元素计数:固定 ,含 的子集有 个; 有 种,总数为 。
两种计数相等,结论成立。
例题 3:抽屉原理的同余模型
证明:任取 个整数,必存在两个整数之差能被 整除。
点击查看解析与答案
按模 余数分类,只有 个余数类:。任取 个整数,至少两个同余(抽屉原理)。同余两数之差可被 整除,命题得证。
例题 4:递推求闭式
定义数列 ,且 。求 。
点击查看解析与答案
构造平移量 ,则
故 ,从而
例题 5:容斥原理的应用 (High Difficulty)
求 中不能被 5, 6, 8 中任何一个数整除的整数个数。
点击查看解析与答案
三、 配套练习
练习 1(基础)
证明:
点击查看过程与答案
把 的所有子集按大小分类计数,左式是分类计数,右式是每个元素选/不选共 个子集。
练习 2(提高)
证明:任意 6 个整数中,必有两个数之和是偶数。
点击查看过程与答案
整数按奇偶分两类。取 6 个数,至少 3 个同类;同类中任取 2 个,和为偶数。
练习 3(提高)
设连通平面图有 个顶点、 条边、 个面。若每个面边数至少为 3,证明
点击查看过程与答案
由面边计数得 。再由欧拉公式 得
故 。
练习 4(挑战)
设 ,证明
点击查看过程与答案
由二项式定理
因此结论成立。
练习 5(高难度 - 错位排列)
5 个人把帽子扔进黑箱,每人随机取回一个。求恰有 2 个人拿对帽子的方案数。
点击查看过程与答案
- 先选出拿对帽子的 2 个人: 种方案。
- 剩下 3 个人必须全部拿错,即进行错位排列:。
- 。
- 总方案数:。
答案:20