標籤:

排列組合初步

0. 首先要知道……

本文常用符號:

1. 求和符號:sum,例如sum_{i=1}^n i^2表示從1^2一直累加到n^2,即1^2+2^2+..+(n-1)^2+n^2

2. 求積符號:prod,例如prod_{i=1}^n i^2表示從1^2一直累乘到n^2,即1^2*2^2*..*(n-1)^2*n^2

3. 階乘符號:!,例如n!表示1*2*..*(n-1)*n,特殊地,我們規定0!=1

1. 加法原理

若完成事件An類不同的方式,第i種方式有m_i種不同的方法,則完成該事件總共有sum_{i=1}^{n} m_i種不同的方法。

2. 乘法原理

若完成事件An步驟,第i個步驟有m_i種不同的方法,則完成該事件有prod_{i=1}^{n} m_i種不同的方法。

3. 排列

排列是什麼?

n個不同元素中取出m個元素按照一定順序排成一列,稱為其排列。從n個不同元素中取出m個元素的所有不同排列種數,記為A_n^m

排列數公式為:

A_n^m=frac{n!}{(n-m)!}

如何證明?

選擇第一個元素時有n種不同情況,選擇第二個元素時有n-1種不同情況,以此類推,選擇第m個元素時有n-m+1種不同情況。根據乘法原理可得,總共有prod_{i=0}^{m-1} n-i種不同情況,即frac{n!}{(n-m)!}種不同情況。

特殊情形

n=m時出現了特殊情形,即n個不同元素取出全部元素的排列。我們稱之為全排列。全排列的排列數公式為:

A_n^n=n!

同樣可以用上述方法證明。

4. 組合

組合是什麼?

n個不同元素中取出m個元素組成一組,稱為其組合。從n個不同元素中取出m個元素的所有不同組合種數,記為C_n^m

組合數公式為:

C_n^m=frac{n!}{m!(n-m)!}

如何證明?

利用剛剛的排列數公式,首先從n個不同元素中取出m個元素,不同順序視為不同情況。對於組合,不同順序視為同一情況,如何去除順序的影響呢?對於元素相同的排列,按順序編號,可以得到一個有m個元素的全排列。即使元素不斷交換位置,所有可能的排列的種數都是有限的,即m個元素的全排列數。

那麼,我們只需要用排列數除以m個元素的全排列數,就可以得到組合數了。即:

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

一個特殊的性質

不妨觀察組合數公式,可以發現:

C_n^m=C_n^{n-m}

其中,等式左側展開為C_n^m=frac{n!}{m!(n-m)!},等式右側展開為C_n^{n-m}=frac{n!}{(n-m)![n-(n-m)]!}=frac{n!}{(n-m)!(n-n+m)!}=frac{n!}{m!(n-m)!}

另一個特殊的性質

C_n^m=C_{n-1}^{m-1}+C_{n-1}^m

證明:

egin{align}C_{n-1}^{m-1}+C_{n-1}^{m}&=frac{(n-1)!}{(m-1)![n-1-(m-1)]!}+frac{(n-1)!}{m!(n-1-m)!}\&=frac{(n-1)!}{(m-1)!(n-m)!}+frac{(n-1)!}{m!(n-m-1)!}\&=frac{m(n-1)!}{m!(n-m)!}+frac{(n-m)(n-1)!}{m!(n-m)!}\&=frac{(m+n-m)(n-1)!}{m!(n-m)!}\&=frac{n!}{m!(n-m)!}\&=C_n^mend{align}

楊輝三角?

不妨設楊輝三角第i行,第j列表示為Delta_i^j,行列皆從0開始編號。邊界條件為Delta_x^0=1(xge 0)。楊輝三角每個位置的值等於其上方兩個值之和,那麼遞推公式為Delta_i^j=Delta_{i-1}^{j-1}+Delta_{i-1}^{j}

再觀察剛剛的性質C_i^j=C_{i-1}^{j-1}+C_{i-1}^j,可以發現兩條式子是一樣的。對於邊界條件,二者也是一樣的,所以Delta_i^j=C_i^j

二項式定理?

二項式定理公式:

(a+b)^n=sum_{i=0}^n C_n^i a^{n-i}b^i

那麼問題來了,(a+b)^n的展開與組合數有什麼關係呢?不妨寫成另一種形式:(a+b)(a+b)..(a+b)n(a+b)相乘),從每個(a+b)中選取一個a或一個b相乘,總共有多少種可能使得選取的ab相乘得到a^{n-i}b^i呢?

可以發現,從n(a+b)中選取ib,剩下的選取a肯定是合法的。問題便轉化成了求從n(a+b)中選取ib所有組合種數,即C_n^i。當然,從選取a的角度出發可以得到另一個答案C_n^{n-i},還記得之前的特殊性質嗎?C_n^i=C_n^{n-i}

推薦閱讀:

歐拉公式中的拓撲學跟物理學是什麼?
Serre《算術教程》筆記(1)
「易文化」文明時代的弔詭
從外微分到微分幾何(一)
範疇論學習筆記2:範疇生範疇

TAG:數學 |