定义 3.1.1
一个正整数的阶乘,是所有小于或等于它的正整数的乘积。也就是说,
原书第 46 页
阶乘、排列与组合、计数策略、隔板法、二项式恒等式、概率、期望值与容斥原理。
原书第 46–59 页 · 54 个条目
一个正整数的阶乘,是所有小于或等于它的正整数的乘积。也就是说,
原书第 46 页
把 个物体排成一排,方法数是 。
把 个物体排成一圈,如果同一种排法旋转后不算不同,方法数是 。
把 个物体排成一圈,如果同一种排法的旋转和镜像都不算不同,方法数是
原书第 46 页已数值验证
组合是从一组物体中选出一些的一种方式,其中选取的顺序没有区别。
原书第 47 页
从总共 个物体中选出 个,方法数是
去学习:定理 1.5.3 · 组合公式
原书第 47 页已数值验证
计算组合数的第二种方法 ,在数学竞赛中更快。
去学习:定理 1.5.3 · 组合公式
原书第 47 页
注意:
这是因为选出要拿走的 个物体(左边),等同于选出不被选中的 个物体(右边)。
原书第 47 页已数值验证
排列是把一个集合中的物体排好的一种方式,其中物体的顺序是有区别的。
原书第 47 页
从总共 个物体中取出 个排好,方法数是
去学习:定理 1.2.4 · 排列公式
原书第 47 页已数值验证
通常,“排列”“顺序有关”等说法表示排列,而“选”“挑选”“不计顺序”等说法表示组合。
去学习:注 1.5.2
原书第 48 页
一个有 个元素的集合,子集个数是 。
去学习:定理 1.6.1 · 子集的个数第 1.6 节 子集
原书第 48 页已数值验证
集合的每个元素都有 2 种选择:放进子集,或者不放。这意味着其中一个子集是空集,也就是每个元素都不放。如果题目让你数子集,一定要看清空集该不该算。
去学习:注 1.6.2
原书第 48 页
分类讨论是解组合题非常有用的策略,尤其是在没有其他明显思路的时候。
去学习:概念 3.1.1 · 让情况尽量少注 3.1.2第 3.1 节 分类讨论
原书第 49 页
很多时候,分类讨论要和补集计数等其他方法一起用。
原书第 49 页
一个单词的字母重排方法数是
其中 是字母个数, 是单词中每个出现不止一次的字母各自出现的次数。
去学习:定理 1.4.1 · 字母重排第 1.4 节 字母重排
原书第 49 页已数值验证
这不只适用于单词!排列有重复的物体(或任何东西)时,方法数也由同一个公式给出。
去学习:注 1.4.2
原书第 50 页
在 的长方形方格中,各种大小的长方形的个数是
去学习:定理 7.2.1 · 方格中的长方形第 7.2 节 长方形计数
原书第 50 页已数值验证
每一种“两条横线加两条竖线”的组合都围成一个唯一的长方形。 的方格一个方向有 条线,另一个方向有 条线,所以选两条横线有 种方法,选两条竖线有 种方法。
去学习:注 7.2.2
原书第 50 页已数值验证
组合计数的一个类似应用是经典问题:(凸) 边形的对角线有多少个交点(假设没有三条对角线交于同一个内部点)?一个交点由 2 条对角线产生,每条对角线由 2 个顶点确定,所以每个交点恰好对应 4 个顶点。因此交点个数就是从 个点中选 4 个的方法数:
去学习:第 7.1 节 三角形计数
原书第 51 页已数值验证
把 个相同的物品放进 个可区分的盒子里,方法数是
去学习:定理 5.1.1 · 隔板法第 5.1 节 隔板法基础
原书第 51 页已数值验证
之所以成立,是因为可以把它看成在 个物品(球)之间放 块隔板,排法共有
种。理解这一点很重要,因为题目可能会把隔板法稍加变化。
去学习:第 5.1 节 隔板法基础
原书第 51 页已数值验证
隔板法非常有用,而且常常可以根据情况灵活变通。例如,如果每个盒子里至少要有 1 个物品,就先给每个盒子放 1 个,再对 个物品和 个可区分的盒子使用公式。
去学习:注 5.1.2概念 5.2.1 · 先给够最少数第 5.2 节 带限制条件的隔板法
原书第 51 页已数值验证
对非负整数 ,
去学习:定理 24.0.10 · 二项式定理第 12.1 节 二项式展开第 6.1 节 基本恒等式
原书第 52 页已数值验证
二项式定理有很多强大的应用。它可以用来展开这样的式子:
另外,如果要求像
这样的式子的值( 和 为整数),只需展开二项式展开式的最后 项:其余每一项都含有 或 的更高次幂。
原书把模数印成了 ;它必须是 (两项之一的幂)。模 时,含 的项都变成 0,只剩最后 项。模 则不成立:取 ,,,,,但最后一项是 。
去学习:定理 24.0.10 · 二项式定理第 24.0b 节 欧拉定理、费马小定理、威尔逊定理与二项式定理
原书第 52 页已数值验证
二项式恒等式:
去学习:定理 6.1.2 · 二项式恒等式定理 1.6.1 · 子集的个数
原书第 52 页已数值验证
范德蒙恒等式:
去学习:定理 6.2.1 · 范德蒙恒等式注 6.2.2第 6.2 节 范德蒙恒等式
原书第 52 页已数值验证
原书第 53 页已数值验证
杨辉三角(帕斯卡三角)如下图所示(第 行到第 行):
它也可以用组合数表示:第 行依次是 。
去学习:概念 6.3.1 · 杨辉三角第 6.3 节 帕斯卡恒等式与曲棍球棒恒等式
原书第 53 页
帕斯卡恒等式:
原书第 53 页已数值验证
曲棍球棒恒等式:
原书第 54 页已数值验证
去学习:定理 6.3.4 · 曲棍球棒恒等式的推广注 6.3.5
原书第 54 页已数值验证
这个恒等式是说()
原书第 54 页已数值验证
这些恒等式在组合题中很有用,但怎么用上它们并不总是一眼就能看出来。所以对付许多组合题的一个好办法,就是直接变形式子。
去学习:注 6.3.7
原书第 54 页
如果要把至少 个物体分到 组中,那么至少有 1 组至少有 个物体。
原书第 55 页已数值验证
概率是某件事发生的可能性大小。
原书第 55 页
当所有结果都等可能时,
去学习:定理 2.1.2 · 概率
原书第 55 页
期望值是所有结果的加权平均。
去学习:定义 9.0.1 · 期望值第 9.0 节 期望值与线性性
原书第 55 页
事件 的期望值是
其中 是 所有可能的取值, 是它们出现的概率。
说白了,期望值就是把每件事发生的概率乘上这件事对应的数值或数量,再加起来。
去学习:定理 9.0.2 · 期望值
原书第 55 页
求期望值时,很多时候可以利用对称性,而不必把每个概率乘上对应的数值再相加。例如,求掷一颗骰子的期望值时,不必计算
只要注意到 1 到 6 的每个点数都是等可能的,所以期望值就是点数的平均数,也就是中间 2 项的平均数 。(参见等差数列一节。)
去学习:注 9.0.3
原书第 55 页已数值验证
无论事件独立还是相关,都有
说白了, 件事总的期望值,就是每件事各自期望值之和。
原书第 56 页已数值验证
这个定理威力很大,因为它让我们可以分别求每件事的期望值,而不用一次处理整体。
去学习:注 9.0.5
原书第 56 页
几何概率是一种计算概率的方法:用长度、面积或体积从几何上度量结果的“多少”。解几何概率题的关键是:
去学习:定义 8.0.1 · 几何概率第 8.0 节 用面积表示概率第 8.1 节 三维中的几何概率
原书第 56 页
当可能的结果有无穷多种时,几何概率会很有用。
去学习:注 8.0.2
原书第 57 页
容斥原理(PIE)是一种计数方法:它求出至少满足若干性质之一的元素个数,同时保证满足不止一个性质的元素不会被数两次。
去学习:定义 4.0.1 · 容斥原理第 4.0 节 容斥原理
原书第 57 页
表示 与 的并集的元素个数:所有属于 或属于 的元素(重复的只算一次)。
去学习:定义 4.0.2 · 并集符号
原书第 57 页
表示 与 的交集的元素个数(只包括同时属于两个集合的元素)。
去学习:定义 4.0.3 · 交集符号
原书第 57 页
对两个集合 和 ,
简单地说,先数出 2 类“东西”各有多少种可能,再减去重复的部分。
原书第 57 页已数值验证
对三个集合 、、,
在这个公式里,先数出 3 类“东西”各有多少种可能,再减去 3 对集合中各自重复的部分,最后把同时属于 3 个集合的元素个数加回来。
原书第 57 页已数值验证
若 是有限集合,则
原书第 58 页已数值验证
双射是两个集合的元素之间的一一对应。双射很有用,因为它能把难题转化成更容易计算的问题。遇到可能要用双射的难题时,先试几个例子,找找规律。
去学习:注 7.4.2
原书第 58 页
递推就是先对较小的值解出问题,再写出递推式,一步一步算出较大的值。
解递推题的步骤:
去学习:定义 10.1.1 · 递推概念 10.2.1 · 递推法第 10.1 节 递推基础
原书第 58 页
注意,很多递推题的答案都可以用工程归纳法得到(参见应试技巧一节)。
去学习:注 10.1.3 · 工程归纳法
原书第 58 页
当我们想求从不同局面或不同轮次出发“获胜”的概率时,就用状态。遇到状态问题时,按下面的步骤做:
原书第 59 页
做状态问题时,一定要时刻留意对称性(获胜概率相同的局面),这能帮你化简方程。
原书第 59 页
在状态很多的问题里,你常常需要写一个状态递推方程。
去学习:注 11.0.3概念 11.1.1 · 状态表第 11.1 节 状态与递推
原书第 59 页