排列组合与二项式

排列

概念：从n个不同元素中取出m（m≤n）个元素的所有排列的个数，叫做从n个不同元素中取出m个元素的排列数，用符号 $A_n^m$ 表示，有时也写作 A(n, m)。
$$A_n^m=\frac{n!}{(n-m)!}$$

$$=\frac{n\ast (n-1)\ast (n-2)...2\ast 1}{(n-m)\ast (n-m-1)\ast (n-m-2)...2\ast 1}$$

$$=n\ast (n-1)\ast (n-2)...(n-m+1)$$

$$全排列：A_n^n=n!=n\ast (n-1)\ast (n-2)\ast ...\ast 1叫做n的阶乘$$

$$另规定:0!=1，因为0本身也是一种情况.$$

---

组合

概念：从n个不同元素中，任取m（m≤n）个元素并成一组，叫做从n个不同元素中取出m个元素的一个组合；从n个不同元素中取出m（m≤n）个元素的所有组合的个数，叫做从n个不同元素中取出m个元素的组合数。用符号 $C_n^m$表示，有时也写作 C(n, m) 。

$$C_n^m=\frac{A_n^m}{A_m^m}=\frac{\frac{n!}{(n-m)!}}{m!}=\frac{n!}{(n-m)!\ast m!}$$

$$=\frac{n\ast (n-1)\ast (n-2)\ast ...\ast (n-m+1)}{m!}$$

$$公式替换:C_n^m=C_n^{n-m}，其中(n\ge m).$$

$$另规定：C_n^0=C_n^n=1$$

$$推导公式：P=\frac{A_m^1}{A_n^1}=\frac{\frac{m!}{(m-1)!}}{\frac{n!}{(n-1)!}}=\frac{m!(n-1)!}{(m-1)!n!}=\frac{m}{n}$$

$$推导公式：P=\frac{C_m^1}{C_n^1}=\frac{\frac{A_m^1}{A_1^1}}{\frac{A_n^1}{A_1^1}}=\frac{A_m^1}{A_n^1}=\frac{m}{n}$$

可以把从n个数中选m个数的组合分为2类

1. 不含第n个数的组合，方案数为：$C_{n-1}^m$
2. 含第n个数的组合，方案数为：$C_{n-1}^{m-1}$

所以 $C_n^m=C_{n-1}^{m-1}+C_{n-1}^{m-1}$

---

洛谷问题：P2181 对角线

P2181 对角线题目 洛谷链接

题目描述
对于一个 n 个顶点的凸多边形，它的任何三条对角线都不会交于一点。
请求出图形中对角线交点的个数。

输入格式：输入只有一行一个整数 n，代表边数。
输出格式：输出一行一个整数代表答案。

输入输出样例
输入：3 \quad\quad 输出：0
输入：6 \quad\quad 输出：15

说明/提示
数据规模与约定
对于 50 % 的数据，保证 $3\le n\le 100$ 。
对于 100 % 的数据，保证$3\le n\le 10^5$。

---

洛谷问题：P2181 对角线解答

已知：保证任何三条对角线都不会交于一点

推导如下：

1. 每两个顶点连一条对角线
2. 每两条对角线有一个顶点
3. 所以每一个交点对应四个顶点
   则问题转化为：

   从n个顶点之中选出4个，有多少种选法?

由于四个顶点无序，所以是组合问题，那么结果就是：$C_n^4$

$$C_n^4=\frac{A_n^4}{A_4^4}=\frac{\frac{n!}{(n-4)!}}{4!}$$

$$=\frac{n\ast (n-1)\ast (n-2)\ast (n-3)}{4!}$$

程序实现
知道公式了，也就能解决问题了，但是这里出现了高精度问题
因为 $n=[3,1e5]$，unsigned long long 对应的最大值为 $2^{64}-1=1.8e19$.

ULLONGMAX =18446744073709551615
$$交点个数=n\ast (n-1)\ast (n-2)\ast (n-3)/4!$$

$$1e5\ast 1e5\ast 1e5\ast 1e5=1e20>pow(2,64)-1$$

所以需要解决这个问题：
发现规律

n，n-1 中必然有个数能被2 整除
n, n-1, n-2 中必然有个数能被3 整除
n, n-1, n-2, n-3 中必然有个数能被4 整除

所以 $交点个数=n\ast (n-1)\ast (n-2)\ast (n-3)/4!$
可以改写为 $交点个数=n\ast (n-1)/2\ast (n-2)/3\ast (n-3)/4$

#include<iostream>
#include<climits>
#include<cmath>
using namespace std;
unsigned long long n,ans;// 2^64-1 = 18446744073709551615 = 1.84467e+019 
int main(){
	cin>>n;// n = [3,1e5]
	ans = n*(n-1)/2*(n-2)/3*(n-3)/4;
	cout<<ans;
//	cout<<pow(2,64)-1<<endl;//1.84467e+019  
//	cout<<ULLONG_MAX<<endl;//18446744073709551615 
//	1e5 * 1e5 * 1e5 * 1e5 =1e20 > pow(2,64) 
	return 0;
}

---

那么如果问怎么求对角线条数呢？
容易得出公式：对角线条数 = $n\ast (n-3)/2.$

n	3	4	5	6	7	8	…	n
规律	0	$\frac{4\ast 1}{2}$	$\frac{5\ast 2}{2}$	$\frac{6\ast 3}{2}$	$\frac{7\ast 4}{2}$	$\frac{8\ast 5}{2}$	…	$\frac{n\ast (n-3)}{2}$
对角线条数	0	1	5	9	14	20	…	$\frac{n\ast (n-3)}{2}$

二项式

$$(a+b{)}^n=C_n^0{a}^n+C_n^1{a}^{n-1}b+C_n^2{a}^{n-2}{b}^2+...+C_n^r{a}^{n-r}{b}^r+...+C_n^n{b}^n$$

展开式共n+1项，第r+1项：$T_{r+1}=C_n^r{a}^{n-r}{b}^r（r=0,1,2...n）$称为二项式展开式的通项，其中组合数$C_n^r$叫做第（r+1）项的二项式系数。

注意：项的系数和二次项系数是不同的概念，当a=b=1时，系数就是二项式系数.

举例：$(2a+b{)}^n$ 第r+1项：$T_{r+1}=C_n^r(2a{)}^{n-r}{b}^r=2^{n-1}{C}_n^r{a}^{n-1}{b}^r$，其中 $2^{n-1}{C}_n^r$ 叫做第（r+1）项的系数。

当 a=b=1时，容易推导出下列公式：
$$C_n^0+C_n^1+C_n^2+...+C_n^{n-1}+C_n^{n-1}+C_n^n=2^n$$

$$C_n^0+C_n^2+C_n^4+...=C_n^1+C_n^3+C_n^5+...=2^{n-1}$$

---

【例】$(x^2+\frac{1}{x^2})$的二项式展开式中各项展开式的系数和为64，则二项式展开式中常数项为（ \quad ）

$$2^n=64，所以n=6$$

$$T_{r+1}=C_n^r(x^2{)}^{6-r}(\frac{1}{x^2}{)}^r=\frac{6!}{(6-r)!\ast r!}\ast x^{12-4r}$$

$$12-4r=0，所以r=3$$

$$\frac{6!}{(6-r)!\ast r!}=\frac{6!}{(6-3)!\ast 3!}=\frac{6\ast 5\ast 4}{3\ast 2\ast 1}=20$$