排列组合
排列就是指从给定个数的元素中取出指定个数的元素进行排序;组合则是指从给定个数的元素中仅仅取出指定个数的元素,不考虑排序。--------OI Wiki
乘法原理和加法原理
加法原理,就好比一个工作,有 个解决的方案,第 项方案有 种不同的实现方式,所以这个工作有 种方式来解决。
乘法原理,就好比一个工作,有 个步骤,第 步有 种方法来完成,所以这个工作的方式有 种方式来解决。
排列数
给定 个数,从中选取 个数形成一个排列,可能的排列的数量,用 来表示(给定的数都为正整数)。
排列的计算公式:
其实就是分子分母同乘一个 。
其中 。
全排列就是当 的时候的一种特殊情况,此时 。
组合数
区别就是,排列数是要求顺序的,而组合数是从 个元素里面选取 个数组成一个集合,问有多少种可能,通常用 来表示。
组合数计算公式:
可以发现只比排列的公式分母多了一个 ,因为不考虑顺序,所以可以想到,挑出来的 个元素组成的集合,里面的排列数是 ,而这里面的元素组成的集合都是相同的,也就是这 个数本来应该算一个,但是排列里面是算了 ,所以排列的公式除以 即为我们要求的答案。
现在人们习惯用 表示 个元素里面选 个,但是我个人觉得不如用 直观,但我们还是要了解这个表示方式。
插板法
为什么叫插板法呢,因为他是用于解决把一些相同种类的元素分成不同的几组的一种方式, 个元素分成 组,每一组至少有一个元素,就相当于拿 个板子放到 个空里,故因此而得名。
因为元素是完全相同的,所以我们根据上面的组合数可以得出公式:
本质是求 的正整数解的组数。
改一下题目,如果要是允许有空的组呢?
如果这样的话,直接插板是不行的,因为有可能出现一堆板子都插到一个空隙里,这样的话求组合数就是错误的了。
所以我们先借来 个元素,在这 个空隙里插板,保证我们的每一组里面都是至少有 个元素,这样我们就把这个问题转化成了上一个问题,我们也可以得出公式:
可以想象一下,我们是先借了 个元素来保证我们的每一组里面都至少有一个元素,那么我们就按照第一个问题一样求解,最后把所有的板子都拿走,那么答案是不会有所变化的。
本质上是求 的非负整数解的组数。
我们来加一些限制:如果说对于第 组我们需要至少分到 个元素,,我们又该怎么去求解呢?
和上面一样,本质上就是求 的解的组数。
我们浅想一下,设 ,所以 ,那么我们要求的就是:
那么我们知道 是一个非负的整数,所以我们可以直接用问题二的公式:
到 这 个自然数选 个,这 个数种任何两个数都不相邻的组合有 种。
二项式定理
二项式就是由两项组成的式子,比如 是一项式, 是二项式, 是三项式,以此类推。
主要是用来解决 的完全展开式的问题,其实是有规律可循的,我们可以通过这个定理快速获得第 项。
举一个最常见的例子:初中的完全平方公式 。
或者高中的完全立方公式 。
相信你已经发现了他们系数的规律,那就是杨辉三角,其实就是用来解释 的各项的系数才有的杨辉三角,这个东西很奇妙,我们后面会提到他和组合数的关系。

公式就是
为什么呢,你可以考虑一下,我们在推导完全立方公式的时候,我们是一项一项暴力拆开成 个 相乘然后拆开合并的同类项,那么我们暴力拆一下可以知道,每一项都是从 个 中选 或者 相乘得到的,也就是说,我们可以把展开后的第 项看作是选了 个 和 个 然后相乘得到的,而这样的组合方案是 ,所以我们得到展开后第 项就是 ,累加后就得到了上面的公式。
组合数性质
下面挑几个会的证明一下,不会的先咕了。
-
证明:
-
-
证明:从 个数里面选 个数,就等同于第一个数选了,然后从 个中选 个数和第一个数没选,从 个数中选 个数的方案的和。或者你可以看看杨辉三角
-
-
证明:当 为奇数的时候,由性质 得,两项一一对应和为 ,显然成立;当 为偶数的时候,利用 替换,再用递推式得到:
-
证明:
在 个数中选 个数,在前 个中选 个数的方案有 种,在后 个里选 个数的方案数为 种,相乘求和即可得到
一开始的式子就是这个式子的 的情况。
-
证明:其实是 的特殊情况,取 即可。
-
证明:把左边拆开得到:
-
证明:和性质 类似,先不证了。
-
-
证明:
分子与分母同乘
-
-
证明:首先对性质 变形:,并且我们知道 ,那么就有:
最后就会得到:
其中 指斐波那契数列, 表示如果 为 则值为 ,反之值为 。
其实还有二项式反演啥的但是我咕了。
组合数取模
有的时候我们题目里面会看到一些要求取模的那种问题。
当然我们都知道取模之后做除法是会出问题的,这个时候我们就需要结合逆元来做。
我们大致可以把这类问题分为三类:
一、 , 为任意实数,显然我们可以利用组合数的性质 来递推,但很明显 的复杂度不足以让我们在数据范围更大的地方使用。
二、, 为质数且 : 预处理 ,然后用费马小定理,扩欧啥的搞一搞 和 的逆元一乘就好,询问是 的,当然也可以用线性求逆元直接 预处理 和 的逆元,询问直接 的:
ans=jc[n]*inv[m]*inv[n-m]%P;
三、若 为质数, ,这个时候用卢卡斯定理来解决,具体下面讲。
其中最常用的是第二种了,因为题目里一般的取模都是 之类的某大质数,而且 也足够了。
卢卡斯定理
如上文所述,卢卡斯定理一般都是用于求解组合数取模。
上文中讲的,当 的时候,分母的乘法逆元是可能不存在的( 可能是 的倍数),所以我们就要用到卢卡斯定理。
内容
对于非负整数 和质数
(或许你在其他地方看见的都没有这个乘号,我觉得打出来更清楚)
引理一
对于组合数 ,其中 为质数,满足如下同余式子:
首先我们由组合数的定义式可以知道:
由于 ,且 为质数,所以 和 都不可能是 的因子。又因为组合数一定是一个整数,所以 一定是 的因子,这样组合数就可以表示成:
等式两边模 得到:
引理二
对于整数 和素数 ,满足如下同余式:
还记得我们之前的二项式定理吗,我们用它来对左边进行二项式展开,然后用引理一:
在第二步中将中间的多项都利用定理一给抹除了(因为模 是 嘛)。
第三步中,因为 所以最后得到了这个式子。
证明
对于组合数 ,将 和 分别除上 得到商和余数,设:
将 转化成同余式:
第四步是用到了二项式定理。
或者:
由于这里 为未知数,所以等式左侧的 系数必然与等式右侧的系数 的系数一致。
对于左侧 中, 对应的系数为
对于右侧,,这有一种可能,即:
从而得到卢卡斯定理如下:
还可以表示成:
这样就把问题转化为了递归的问题,只要 时,我们就可以调用这个公式,将问题转化为 的问题,而 时满足:
可以通过 的复杂度计算出 和 ,预处理完直接调用。
感谢OI Wiki以及bloodstalk的帮助