離散數學第三篇,討論基本的計數技術——排列組合及其推廣。組合數學是離散數學的重要組成部分,這裏比較簡略,待到有時間詳細學習組合數學後再討論一些複雜一點的問題。那何爲組合數學呢?組合數學(Combinatorics)是研究一定條件的組態的存在、計數以及構造的科學。直白說就是研究物體如何安排的科學。這裏的組合數學是狹義的組合數學,廣義的組合數學就是離散數學。因計算機科學的核心就是使用算法研究離散數據,所以組合數學在算法科學中具有重要地位。本文主要內容:基本計數原則、鴿巢原理、排列組合及其推廣、二項式定理與恆等式以及生成排列組合的算法。
基本計數原則
乘法原則
如果一個任務被分解爲相互獨立的兩個步驟,完成第一個步驟有 種方法,第二個步驟有 種方法,則完成整個過程方法數爲 。推廣到多個步驟就是 ,共k個步驟, 是第 個步驟的方法數。
用集合語言描述如下:
求和原則
如果有兩種獨立的途徑完成一項任務,第一種有 種方法,第二種有 種方法,則完成該任務共有 種方法。推廣到多種途徑就是 種方法。
也稱爲加法原則。用集合語言描述: ,其中 ,對所有 , .
減法原則
如果一個任務可以有兩種途徑完成,第一種有 種方法,第二種有 種方法,兩種途徑中有 種方法是相同的。則完成該任務共有 種方法。
集合語言描述:即是兩個集合的容斥原理
除法原則
如果一個任務可以由 種方法完成,而在這 中方法中每一種完成的方式在 種中正好有 種與之對應(即在該問題的研究中可以看做一種方法),則完成該任務的方法數爲 。
這幾個原則乃是計數最基礎的原則,很好理解。
鴿巢原理
鴿巢原理的通俗描述:如果鴿子比籠子多,那麼一定有一個籠子裏面至少有兩隻鴿子。
鴿巢原理
描述:把 個甚至更多物體放入 個盒子,那麼至少有一個盒子裏面有兩隻甚至更多個物體。
推論:從 個甚至更多個元素的集合到 個元素的集合的函數 一定不是一對一函數。
廣義鴿巢原理
描述:將 個物體放入 個盒子,那麼至少有一個盒子裏面有 個物體。
應用
定理:每個由 個不同實數構成的序列都包含一個長度爲 的嚴格遞增子序列或嚴格遞減子序列。
上述定理可以使用廣義鴿巢原理證明。
拉姆齊數(Ramsey number): (其中 ) 是這樣一個數 ,使得在 個人中有 個人互相認識或 個人互相不認識需要的最小人數 。其中兩個人要麼互相認識,要麼互相不認識。
拉姆齊定理(Ramsey theory)是組合學的一個重要組成部分,用來處理集合元素的子集分配問題。
拉姆齊數也是圖論中的重要函數之一。已知的拉姆齊數非常少,這包括 (其中 , , 等。有一個關於拉姆齊數的笑話
想像有隊外星人軍隊在地球降落,要求取得R(5,5)的值,否則便會毀滅地球。在這個情況,我們應該集中所有電腦和數學家嘗試去找這個數值。若它們要求的是R(6,6)的值,我們要嘗試毀滅這班外星人了。
形象的描述了尋找拉姆齊數的難度。我們只能知道很多拉姆齊數的上下界,包括著名的 。
排列組合
解決某些計數問題時,我們會發現可以通過找到特定大小集合中不用元素的排列的方法數來解決問題,其中元素的次序收到限制,即是排列問題(Arrangement)。而另一些問題可以通過找到從特定大小元素集合中選出特定數量元素的方法數來解決,即是組合問題(Combination)。這裏詳細闡述這兩類問題。
排列
從 個不同元素組成的集合中選出 個元素排成一列,即需要考慮排列的次序。這種有序安排稱爲 元素集合的r排列。排列的方法數記作 (也記作 或者 ),讀作 元素集合的 排列數。
顯然,
則 元素集合的全排列爲
組合
從 個不同元素組成的集合中無序選出 個元素,即不需要考慮排列的次序。這些無序選取的元素構成該集合的子集,稱爲 元素的一個 組合。組合的方法數記作 (或者 ),讀作 元素集合的 組合數。也記作 ,並且稱爲二項式係數。
顯然,
顯然有
二項式定理與恆等式
元素集合的 排列數常記作 ,由於這些數出現在二項式冪 的展開式中作爲係數,所以也稱二項式係數。
二項式定理
設 , 是變量, 是非負整數,那麼
一些推論:
- ,令 得到。
- ,令 , 得到。
- ,令 , 得到。
帕斯卡恆等式
設 和 是滿足 的正整數,則有 .
證明:現從n+1個元素中取k個元素組成一個集合,將n+1個元素集合分爲兩部分,一個包含n個元素,一個包含1個元素。現要從n+1個集合中取出k個元素,則將有兩種選擇——包含這單獨的一個元素與否,若包含,則只需要從n個元素中取出另外的k-1個,若不包含,則需從n箇中取出全部k個,由加法原則有 。
我們可以使用帕斯卡恆等式遞歸定義二項式係數。
帕斯卡三角形
帕斯卡三角形的基礎是帕斯卡恆等式,亦是著名的楊輝三角。
如下:
計算出數值:
在上述三角形中,用帕斯卡恆等式可以證明,每個二項式係數均等於該數其上一行左右兩係數之和(左邊或者右邊沒有數的可以看做是0),即每一行相鄰兩個係數相加就產生了下一行的這兩個係數中間的二項式係數。
其他二項式係數恆等式
範德蒙德恆等式:
證明方法:將m+n個元素的集合分爲m個和n個元素的兩個集合,從這兩個集合中合取r個元素的方法數與從原來m+n個元素集合中取r個元素的方法數相等。
推論:
令 即可得到:
定理: , 爲非負整數, ,那麼
證明:考慮包含r+1個1的n+1位01位串,最後一個1出現的位置可能是r+1,r+2,…,n+1位上,則其餘的1則出現在前面。若最後一位在第j+1位上,則前面j位出現的r個1的位串數爲 ,由加法法則即可證明上述恆等式。
多項式定理
類比二項式定理,由排列組合與計數原則可以得到:
多項式定理:如果n是正整數,則
其中多項式係數
證明:從 次冪中選出 次給 , 次給 ,…, 給 即可,係數 化簡即可得到上述式子。
排列組合的推廣
單純的排列與組合能解決的問題十分有限。因爲排列與組合要求所有元素不同,而且不能重複選擇一個元素。而某些問題中涉及重複選擇與具有不可區分的元素的排列組合。這時需要對排列組合進行推廣。我們還可以通過模擬把物體放入盒子的過程來解決許多問題,其中的物體可以是可分辨的與不可分辨的,盒子也可以是可分辨的與不可分辨的。
有重複的排列
當元素允許重複時,由乘法法則很容易得到排列數。
定理: 個元素集合的允許重複的 排列數是 。
有重複的組合
個元素集合的允許重複的 組合有 個。
證明:因爲n個元素可以重複,我們可以將其等效爲n個盒子,放入其中的元素不區分,並用n-1條隔板將其分隔。則n元素集合的允許重複的r組合數即是將選出r個元素放入n個盒子中,即用n-1個隔板將其隔開。則從n個元素中可重複地選r個即可等價爲從隔板和物體構成的n+r-1個物體或者隔板的排列中選出r個物體或者選出n-1個隔板的位置。即是 。
允許重複與不允許的排列組合數:
類型 | 允許重複 | 公式 |
---|---|---|
r 排列 | 否 | |
r 組合 | 否 | |
r 排列 | 是 | |
r 組合 | 是 |
具有不可區分物體的排列
設類型 有 個物體, , ,則 個物體的不同排列數爲
即是從 個位置中選 個來放類型 的物體,有:
把物體放入盒子的問題
許多問題都可以等效爲把物體放入盒子的問題。其中的物體可以是可分辨的與不可分辨的,盒子也可以是可分辨的與不可分辨的。其中如果盒子是可分辨的,則可以轉化爲前面的問題。如果盒子是不可分辨的,不管物體可不可分辨,都將沒有閉公式,可以通過列舉或者編程求解來解決此類爲題。
可分辨的物體與可分辨的盒子
把 個可分辨的物體放入 個可分辨的盒子使得 個物體放入盒子 ( )的方法數爲:
不可分辨的物體與可分辨的盒子
把 個不可分辨的物體放入 個可分辨的盒子使得 個物體放入盒子 ( )的方法數爲:
可以看到這即是 個元素集合的可重複的 排列數。
可分辨的物體與不可分辨的盒子
這類問題求出公式比較複雜,列舉可解決。這裏略過。
不可分辨的物體與不可分辨的盒子
列舉同樣可以解決,這裏通過一個例子來說明。
例:將6個物體放入4個盒子,有以下方式:
6
5,1
4,2
3,3
4,1,1
3,2,1
2,2,2
3,1,1,1
2,2,1,1
共9種方式。
將 個不可分辨的物體放入 個不可分辨的盒子等價於將 寫成 個非遞增正整數之和。其中的每一種方法,我們將其稱作將正整數 劃分成 個正整數的一個劃分,用 來表示。則將 個不可分辨的物體放入 個不可分辨的盒子的方法數爲 。對此,沒有簡單的公式來表示,略。
生成排列及組合的算法
以後補上。
參考資料:《離散數學及其應用》(本科教學版,Kenneth H.Rosen著,原書第七版)