Paul Erd˝ os 與組合學中的機率方法
張鎮華
1. 計數的藝術–Erd˝ os 的法寶
匈牙利數學家 Paul Erd˝os 可以說是二十世紀數學界的一位奇才, 有關他的傳記, 請參見 柴契特 [1] 和 霍夫曼 [2] 的書。 Erd˝os 在 1996 年以八十三歲高齡去世, 一生寫過的數學論文 多達 1525 篇, 遠遠超過數百年來由 Leonhard Euler 所維持的紀錄, 成為數學史上第一名。 更 可貴的是, 這些著作不只是數目多, 份量也很紮實, 其中有許多影響後來的發展十分深遠。 這篇 文章要談的是, 他使用機率方法證明組合問題的歷史, 以及後續的影響。
為了慶祝 Erd˝os 的六十歲生日, 他的好朋友 Joel Spencer 從他的六百多篇論文當中精選 了 78 篇, 集合成一本專輯, 綜觀這些文章的特點, 把書名取為 《計數的藝術》[3], 反映出 Erd˝os 精通計數, 而他計數的特點之一是, 經常使用 「機率方法」 或者 「非建構性方法」。 有關這一點, 可以參考 Frank Harary 在 Erd˝os 的一篇文章 [4] 前面的引言: 「機率論證的精神是這樣的, 如果你想證明具有某種性質的圖存在, 就想辦法推估不具有這種性質的圖的數目, 如果確認這 個數目小於具有 n 點的所有圖數, 那麼一定存在一個具有這種性質的圖。」 在這樣的哲學下, 所 謂機率方法其實不等同於現在人們熟知的機率論, 正確地說, 其實是計數方法加上反證法的一 種非建構性證明。
Erd˝os 引進機率方法的源頭 (請參見 [5]), 可以追溯到他年輕時候, 與一群愛好數學的朋 友討論下面的問題而來: 「對於給定的正整數 n, 能不能找到正整數 N(n), 使得平面上任意給 定的、 三點不共線的 N(n) 點當中, 都能找到 n 點形成凸 n 邊形? 如果答案是肯定的, 那麼 最小的答案 N0(n) 是多少?」
這個問題由可愛的 Esther Klein 證明 N0(4) = 5 的特例引發而來, George Szekeres 對於解答這個問題有強烈的動機, 他首先給出一個 N(n) 有上界的證明, 獲得佳人的芳心, 後 來和 Klein 結為夫妻, Erd˝os 因此就把這個問題叫做 「幸福結局問題」。
Szekeres 的證明裡有一個想法很像 Frank Ramsey 在一篇談論形式邏輯的文章 [6] 所提 出的一種論述, 用後面將介紹的第 4 階 Ramsey 數的符號, 他的結果就是 N0(n) ≤ R(n, 5; 4)。
Erd˝os 瞭解了 Ramsey 數的道理以後, 很快地就用第 2 階 Ramsey 數 R(n, n; 2)、 簡寫為
R(n, n) 的精神, 將上界大幅下降為 N0(n) ≤ 2n−4n−2 + 1。 他們把這兩個結果寫成一篇經典的 文章 [7], 再加上他們大約在 30 年後得到的下界結果 [8], 總結為
2n−2+ 1 ≤ N0(n) ≤2n − 4 n − 2
+ 1 ≪ R(n, 5; 4)。
為了估計第一個上界 2n−4
n−2 + 1, 也為了後面的許多估計, 考慮 Stirling 公式: n! ≈√
2πn nen
, 其中 e ≈ 2.71828 是自然對數的底。
由這個公式推導得到 2n−4
n−2 = (n−2)!(n−2)!(2n−4)! ≈ √4n−2
π(n−2), 可以看出來, 就算是 Erd˝os 得到的比 較好的上界, 也和下界 2n−2+ 1 有一個很大差距。 事實上他們猜想下界就是答案。
幸福結局問題猜想: N0(n) = 2n−2+ 1。
因為上述的機緣, Erd˝os 對 Ramsey 數特別偏愛, 終其一生都在嘗試估計 Ramsey 數。 機率 方法的源頭, 可以追溯到 Erd˝os 估計對角 Ramsey 數 R(n, n) 下界的論證, 他 [9] 證明了 「當 n ≥ 3 的時候 R(n, n) > 2n/2」, 細節將後續解釋。
其實在更早, Tibor Szele [10] 就已經用類似的論述, 計算競賽圖的 Hamilton 路徑的個 數, 但是 Erd˝os 可以說是獨具慧眼, 一再使用這種論述, 並且到處宣傳的一位。 在他早期的一 些文章, 例如 [11][12][13][14] 裏, Erd˝os 一再地使用、 並強調機率方法。 他的確是第一個瞭解 這個方法的威力, 並且把它成功地運用到各種問題的人。
Erd˝os 把計數的方法改用機率論的語言描述的作法, 正如同機率學家 Joseph Leo Doob 的見解: 「很好, 但是骨子裏還是計數罷了。」 這樣的評論確實有道理, 不過 Doob 並沒有料到, 當越來越複雜的論證出現以候, 比較高明的機率證明, 確實使得一些論證變得精簡, 甚至回不到 單純的計數說法。 例如 Lov´asz 局部引理所能處理的論證, 如果硬要寫回計數方法, 可能是十分 複雜的排容原理, 或者是更混亂的式子。
Spencer 幫 Erd˝os 一起寫了一本書 [15]1, 大力推廣機率方法, 並且把他的所有論證寫成 較正式的機率語言, 於是一門新興的學問便告誕生。 在同一個時期, L´aszl´o Lov´azs 引進局部引 理, 更確立了上乘的機率論推導是不容易被簡單的計數方法所取代。 後來 Spencer 在 CBMS- NSF 會議上的 《機率方法十講》[16], 還有 Noga Alon 和 Spencer 的專書 《機率方法》[17] 更 確定了機率方法在組合學、 圖論、 數論、 組合幾何等各種領域的重要性。 最近, 機率方法更被廣 泛的用到有效的演算法, 以及各種計數問題。
接下來, 我們先介紹 Ramsey 理論, 再回來看 Erd˝os 如何求得對角線 Ramsey 數 R(n, n) 的下界, 以及機率方法用於一些組合問題的論證。
1猶太人朋友之間的義氣。
2. 第二層 Ramsey 數著兩種顏色的特例
這一節先來談第二層 Ramsey 數, 這是一般的 Ramsey 數 R(n1, n2, . . . , nk; ℓ) 當 ℓ = 2 時的特例, 為了方便, 常常省略 ℓ 把它記作 R(n1, n2, . . . , nk)。 但即使是 k = ℓ = 2 時的特 例, 直到目前為止, 知道精確值的 R(m, n) 還是非常少。
人們常常用下面這個例子來介紹 R(3, 3)。 有 6 個人, 兩兩之間或者互相認識、 或者互相 不認識, 那麼或者有 3 個人兩兩之間互相認識、 或者有 3 個人兩兩之間互相不認識。 這個敘述 可以證明如下。 任意選取一人 A, 則剩下的 5 個人當中, 至少有 3 個人和 A 認識、 不然就有 3 個人和 A 不認識, 對稱起見, 不妨假設 B、C、D 和 A 認識。 如果 B、C、D 之間兩兩互相不 認識, 則證明完畢, 否則他們之間就有兩人互相認識, 不妨假設 B 和 C 互相認識, 則 A、B、C 之間兩兩互相認識, 所以得到證明。 其實 6 個人也是能達到上述結論的最少人數。
我們也可以用圖論的語言描述這個例子。 將這 6 個人看成完全圖 K6 的點, 任意兩個人 如果互相認識, 就把他們之間的邊著紅色, 如果互相不認識, 就把他們之間的邊著藍色, 則不管 K6 的所有邊如何著色, 必定有一個三角形 K3, 它的 3 條邊同色。
這個特例可以推廣如下。 對正整數 m 和 n, Ramsey 數 R(m, n) 是最小的正整數 r (這 個數的存在性是需要證明的), 使得把完全圖 Kr 的每一條邊任意著紅色或藍色以後, 總是存在 一個子圖 Km 它的邊都著紅色 (叫做紅色 Km), 或是存在一個子圖 Kn 它的邊都著藍色 (叫 做藍色 Kn)。 由定義很容易得到下面三個性質: 對正整數 m 和 n 恆有
R(m, n) = R(n, m), R(1, n) = 1,
R(2, n) = n。
和前面討論 R(3, 3) 的證法類似, 可以得到下面的定理。
定理 1: 對正整數 m 和 n, Ramsey 數 R(m, n) 總是存在。 而且當 m, n ≥ 2 的時候, R(m, n) ≤ R(m − 1, n) + R(m, n − 1); 進一步, 如果 R(m − 1, n) 和 R(m, n − 1) 都是 偶數, 則 R(m, n) ≤ R(m − 1, n) + R(m, n − 1) − 1。
證明: 用數學歸納法證明定理。 由定義, 顯然 R(1, n) = R(m, 1) = 1 存在。 當 m, n ≥ 2 的 時候, 由歸納法假設, a = R(m − 1, n) 和 b = R(m, n − 1) 都存在。 對於 Ka+b 的任意 2-邊 著色, 取圖中一點 x, 由鴿籠原理2, x 或者有 a 個用紅邊相連的鄰居, 構成集合 A, 或者有 b 個用藍邊相連的鄰居, 構成集合 B。 第一種情況由定義知道 A 中有紅色 Km−1 或者藍色 Kn,
2 鴿籠原理是說: 「假定有 n + 1 隻鴿子和 n 個鳥籠, 如果讓所有鴿子飛入籠中, 則存在某一個籠子裡面最少有兩隻鴿子。」 鴿籠原理也 叫做抽屜原理, 是十九世紀德國數學家 Johann Peter Gustav Lejeune Dirichlet 提出來, 用來解決數論上的一些問題, 所以也有 人把它叫做 Dirichlet (抽屜) 原理。 更一般的鴿籠原理是說: 「假定有 n1+ n2+ . . . + nk+ 1 隻鴿子和 k 個鳥籠, 如果讓所有鴿 子飛入籠中, 則存在某一個 i 使得第 i 個籠子裡面最少有 ni+ 1 隻鴿子。」 有關鴿籠原理也請參見 [5]。
前者加上 x 就是 Ka+b 的紅色 Km, 而後者也是 Ka+b 的藍色 Kn。第二種情況也類似。 所以 R(m, n) 總是存在, 而且 R(m, n) ≤ a + b = R(m − 1, n) + R(m, n − 1)。
當 a 和 b 都是偶數的時候, 考慮 Ka+b−1。 對於 Ka+b−1 當中任一點 x, 如果 x 有 a 個用紅邊相連的鄰居, 或者 b 個用藍邊相連的鄰居, 和上面的論述一樣可以導到 R(m, n) ≤ a + b − 1 = R(m − 1, n) + R(m, n − 1) − 1。 不然的話就表示 Ka+b−1 用紅邊導出來的子 圖中, 每一點的度數都是 a − 1, 所有點的度數和 (a − 1)(a + b − 1) 是紅色邊的兩倍, 這和 a 和 b 都是偶數, 因而 (a − 1)(a + b − 1) 是奇數矛盾。
推論 2: 對正整數 m 和 n, 恆有 R(m, n) ≤m + n − 2 m − 1
。
證明: 用數學歸納法證明定理。 當 m = 1 或 n = 1 的時候, 推論顯然成立。 如果 m, n ≥ 2, 由定理 1 和歸納法假設得知 R(m, n) ≤ R(m − 1, n) + R(m, n − 1) ≤ m−1+n−2m−1−1 +
m+n−1−2
m−1 = m+n−2m−1 , 最後一個等式是巴斯卡等式。
以下利用定理 1 來算一些 R(m, n) 的值。 為了方便, 假設 Kr 的點集是 {1, 2, . . . , r}、
將它簡寫成 [r]。
首先再來看一次 R(3, 3)。 因為 R(2, 3) = R(3, 2) = 3, 所以由定理 1 得到 R(3, 3) ≤ R(2, 3) + R(3, 2) = 3 + 3 = 6。 另一方面, 在 K5 的邊中, 把一個 C5 子圖的邊著紅色, 剩下的邊著藍色, 則這個 K5 中既沒有紅色 K3, 也沒有藍色 K3, 所以 5 < R(3, 3), 導到 R(3, 3) = 6。 這和本節開始的推論一致。
其次, 因為 R(2, 4) = 4 和 R(3, 3) = 6 都是偶數, 所以由定理 1 得到 R(3, 4) ≤ R(2, 4) + R(3, 3) − 1 = 4 + 6 − 1 = 9。 另一方面, 在 K8 的邊中, 把一個用圖 ([8], E8) (如圖 1 左圖所示) 當作子圖的邊著紅色, 剩下的邊著藍色, 其中 E8 = {xy : x−y ≡ 1, 4 或 7 (mod 8)}, 則這個 K8 中既沒有紅色 K3, 也沒有藍色 K4, 所以 8 < R(3, 4), 導到 R(3, 4) = 9。
圖 1: 左圖 ([8], E8)、 中圖 ([13], E13)、 右圖 ([17], E17)。
接下來, 再由 R(2, 5) = 5 和 R(3, 4) = 9 得到 R(3, 5) ≤ R(2, 5) + R(3, 4) = 14。 同
時考慮在 K13 的邊中, 把一個用圖 ([13], E13) (如圖 1 中圖所示) 當作子圖的邊著紅色, 剩下 的邊著藍色, 其中 E13= {xy : x − y ≡ 1, 5, 8 或 12 (mod 13)}, 則這個 K13 中既沒有紅色 K3, 也沒有藍色 K5。 所以 13 < R(3, 5), 導到 R(3, 5) = 14。
類似地, 由 R(3, 4) = 9 可以得到 R(4, 4) ≤ 18。 而考慮在 K17 的邊中, 把一個用圖 ([17], E17) (如圖 1 右圖所示) 當作子圖的邊著紅色, 剩下的邊著藍色, 其中 E17 = {xy : x − y ≡ 1, 2, 4, 8, 9, 13, 15 或 16 (mod 17)}, 則這個 K17 中既沒有紅色 K4, 也沒有藍色 K4。 所以 17 < R(4, 4), 導到 R(4, 4) = 18。
到目前為止, 已經知道的一些 R(m, n) 的值如下面的表所示, 其中大多數都還只知道一個 範圍 (用 a/b 表示 a ≤ R(m, n) ≤ b)。 更多的資料可以參考 Radziszowski 的動態調查文章 [18]。
❍
❍❍
❍❍
❍❍❍
m
n 3 4 5 6 7 8 9 10
3 6 9 14 18 23 28 36 40/42
4 18 25 36/41 49/61 58/84 73/115 92/149 5 43/49 58/87 80/143 101/216 126/316 144/442 6 102/165 113/298 132/495 169/780 179/1171 7 205/540 217/1031 241/1713 289/2826
8 282/1870 317/3583 ?/6090
9 565/6588 581/12677
10 798/23556
Erd˝os 曾經做過下面這個著名的比喻: 「想像有一支軍事能力遠超出地球人的外星人部隊 降臨地球, 要求人們回答 R(5, 5) 的值, 不然就要把地球毀滅, 這種情況下, 人們應該立刻集結 全世界的數學家和電腦一起試著算出答案。 但如果他們要問的是 R(6, 6), 那人們應該試著直接 消滅外星人。」 這段幽默的談話充分地展現出, 要正確計算出 Ramsey 數是多麼困難的一件事。
當 m = n 的時候, R(n, n) 叫做 對角 Ramsey 數; 根據推論 2 的不等式, R(n, n) 的 一個上界是 2n−2
n−1, 利用 Stirling 公式可以得到 2n−2n−1 = (n−1)!(n−1)!(2n−2)! ≈ √4n−1
π(n−1), Erd˝os 利用機率方法證明了 R(n, n) 的一個下界 2n/2, 這開創了機率方法用於組合證明的理論。
3. 一般的 Ramsey 數
一般來說, 對正整數 n1, n2, . . . , nk, Ramsey 數 R(n1, n2, . . . , nk) 是最小的正整數
r (這個數的存在性也是需要證明的), 使得把完全圖 Kr 的邊任意著 k 種顏色, 總是存在一個 i 和一個子圖 Kni 它的邊都著第 i 種顏色 (叫做第 i 色 Kni)。 由定義不難看出, 對正整數 n1, n2, . . . , nk 以及 [k] 的任意排列 π 恆有
R(n1, n2, . . . , nk) = R(nπ1, nπ2, . . . , nπk), R(1, n2, n3, . . . , nk) = 1,
R(2, n2, n3, . . . , nk) = R(n2, n3, . . . , nk)。
和定理 1 類似的證明可以得到下面的結果, 它的證明省略。
定理 3: 對正整數 n1, n2, . . . , nk, Ramsey 數 R(n1, n2, . . . , nk) 總是存在。 當所有 ni ≥ 2 時, R(n1, n2, . . . , nk) ≤Pk
i=1
R(n1, . . . , ni−1, ni− 1, ni+1, . . . , nk) + 2 − k。
最後要介紹 1930 年 Ramsey 得到的結論 [6]。 為了介紹這個結果, 我們把完全圖 Kr 的 邊看成是點集 [r] 的 2-子集, 因此要討論第 ℓ 層 Ramsey 數, 就要考慮 [r] 的 ℓ-子集、 視為
「超圖」 的 「超邊」, 也就是說, 現在考慮完全超圖 Krℓ, 其點集是 [r] 而邊集是 [r]ℓ := {A ⊆ [r] : |A| = ℓ}。
對正整數 n1, n2, . . . , nk, ℓ, 一般的 Ramsey 數 R(n1, n2, . . . , nk; ℓ) 是最小的正整數 r (這個數的存在性也是需要證明的), 使得把完全超圖 Krℓ 的邊任意著 k 種顏色, 總是存在一 個 i 和一個超子圖 Knℓi 它的邊都著第 i 種顏色 (叫做第 i 色 Knℓi)。 由定義不難看出下面的事 實。
(1) 對 [k] 的任意排列 π 都有 R(n1, n2, . . . , nk; ℓ) = R(nπ1, nπ2, . . . , nπk; ℓ)。
(2) R(n1; ℓ) = n1。
(3) 如果有某個 ni < ℓ, 則 R(n1, n2, . . . , nk; ℓ) = min{n1, n2, . . . , nk}。
(4) 如果 k ≥ 2 且 nk = ℓ, 則 R(n1, n2, . . . , nk; ℓ) = R(n1, n2, . . . , nk−1; ℓ)。
(5) 如果 ℓ = 1, 則 R(n1, n2, . . . , nk; 1) = n1+ n2+ · · · + nk− k + 1。
如果把 [r]
1 視同 [r], 由 (5) 的結果可以把鴿籠原理看成是第一層 Ramsey 數。 而前述的 R(n1, n2, . . . , nk) 當然就是第二層 Ramsey 數 R(n1, n2, . . . , nk; 2)。 如同前面特殊 Ramsey 數的存在性, 也可以證明下面的定理 (請參見 [19] 定理 11.9)。
定理 4 (Ramsey [6]) : 對正整數 n1, n2, . . . , nk, ℓ, Ramsey 數 R(n1, n2, . . . , nk; ℓ) 總 是存在。 如果所有 ni ≥ ℓ ≥ 2, 則當 mi = R(n1, n2, . . . , ni−1, ni − 1, ni+1, . . . , nk; ℓ) 時 R(n1, n2, . . . , nk; ℓ) ≤ R(m1, m2, . . . , mk; ℓ − 1) + 1。
由定理 4 的遞迴不等式可以看出來, Ramsey 數每當 ℓ 增加 1, 它的值就增大很多。 這 有一點類似在整數的運算中, 加法是一個層級, 因應累加產生乘法就提升一個層級, 因應累乘產 生冪次方又提升一個層級, Ackermann 函數 A(m, n, ℓ) 就是要來說明一層一層提升要如何定 義, 它的定義如下。
A(m, n, 0) = m + n;
A(m, 0, 1) = 0;
A(m, 0, 2) = 1;
A(m, 0, ℓ) = m, 如果 ℓ > 2;
A(m, n, ℓ) = A(m, A(m, n − 1, ℓ), ℓ − 1), 如果 n > 0 而且 ℓ > 0。
在這個定義中, A(m, n, 0) = m + n, A(m, n, 1) = mn, A(m, n, 2) = mn。 比較定理 4 中 R(n1, n2, . . . , nk; ℓ) 的上界不等式中 ℓ 所扮演的角色, 就類似於 Ackermann 函數 A(m, n, ℓ) 的定義中 ℓ 所扮演的角色, 可以感受到加一層後函數值快速增大的特性。
當年 Szekeres 得到 N0(n) 的上界就是第 4 層 Ramsey 數 R(n, 5; 4) (參見 [5][19]), 這也說明了 Erd˝os 後來得到類似於第二層 Ramsey 數的答案 2n−4n−2 + 1 為何改進很多。 這個 上界, 大約經過了 60 年, 才被 Chung 和 Graham [20] 改進了 1, 也就是 N0(n) ≤ 2n−4n−2, 這雖然只是一個很小的改進, 卻引發了 Kleitman 和 Pachter [21] 更進一步改進到 N0(n) ≤
2n−4 n−2
− 2n + 7, 還有 T´oth 和 Valtr [22] 的 N0(n) ≤ 2n−5n−3 + 2。 用 n = 6 當作例子, 原 先的範圍是 17 ≤ N0(6) ≤ 71, 一路被改進到 17 ≤ N0(n) ≤ 37, 上、 下界的差距縮小了許 多。
4. 再談 Erd˝ os 的巧思
現在可以來看看 Erd˝os [9] 證明 「當 n ≥ 3 時 R(n, n) > 2n/2 」 的方法。這需要下面這 個性質。
性質 5: 對正整數 n ≥ 3 恆有 2 · 2n/2 < n!。
證明: 用數學歸納法來證明這個性質。 當 n = 3 時 2 · 23/2 = 4√
2 < 6 = 3!。 假設 n ≥ 4 而 且 2 · 2(n−1)/2 < (n − 1)!, 則 2 · 2n/2 = 2 · 2(n−1)/2√
2 < (n − 1)!√
2 < n!。 性質得證。 Erd˝os 在他的論文是這樣寫的。 如果正整數 r ≤ 2n/2, 因為完全圖 Kr 有 r(r−1)
2 條邊,
每一條邊有 2 種著色法, 所以它總共有 2r(r−1)/2 種 2-邊著色, 對於 Kr 中某個固定的 n 點所 導出的子圖 Kn (共有 nr 個這種子圖), Kr 共有 2·2r(r−1)/2
2n(n−1)/2 種 2-邊著色使得這個 Kn 中的
n(n−1)
2 條邊都著同色, 所以 Kr 的 2-邊著色中, 使得某一個 Kn 著同色的數目最多是
r n
2 · 2r(r−1)/2 2n(n−1)/2 < rn
n!
2 · 2r(r−1)/2
2n(n−1)/2 ≤ 2n2/2 n!
2 · 2r(r−1)/2
2n(n−1)/2 < 2r(r−1)/2, (1) 其中第一個不等式是因為 r(r − 1) . . . (r − n + 1) < rn, 第二個不等式是因為 r ≤ 2n/2, 第 三個不等式是因為性質 5 的 2 · 2n/2 < n!。 因為這個緣故, 當 r ≤ 2n/2 時, 存在 Kr 的某種 2-邊著色, 其中沒有同色的 Kn, 所以 R(n, n) > 2n/2。
不過 Erd˝os 在向人解釋 R(n, n) 下界的前述證明時, 常常使用機率的說法。 把每一條邊 用 1
2 的機率著紅色, 12 的機率著藍色, 這時候, 對於完全圖 Kr 的點集 [r] 的任意 n-子集 S, 其所導出的子圖中的邊全部著同色的事件 AS 發生的機率是 21−(n2), 所以有同色 Kn 的機率 不超過 r
n21−(n2)。 這等同於式 (1) 最左邊的數除以樣本空間的大小 2r(r−1)/2, 可以看得出來, 用機率的語言計算, 讓本來龐大的數變得簡單。 在 r ≤ 2n/2 時這個機率小於 1, 所以存在一種 Kr 的 2-邊著色使得沒有同色的 Kn。
接下來我們要用比較正式的機率語言, 描述一些組合學的解題。 我們要從初等機率方法一 直到進階方法, 一步一步來看各種機率方法的應用。
5. 離散型的機率空間
一個離散型的機率空間 是指一個有限或可數的集合 S, 它的每一個元素 s 都有一個對應 的非負權重 ps, 使得 S 中所有元素的權重總和 P
s∈Sps = 1。 一個事件 指的是 S 的一個子 集 A ⊆ S, 而事件 A 的機率 P (A) 則是 A 中所有元素的權重總和 P
s∈Aps。
如果 P (A ∩ B) = P (A)P (B) 的話, 就說事件 A 和 B 是獨立的, 其中 A ∩ B 代表 「A 和 B 都發生」 的事件。 類似地, 用 A ∪ B 代表 「A 或 B 發生」 的事件。 對於事件 A, 用 A 表 示 「A 不發生」 的事件。 首先有下面的性質。
性質 6: 若 A1, A2, . . . , Ak 是一些事件, 則 P (∪iAi) ≤P
iP (Ai)。
證明: 右式重複加總了那些最少出現在一個事件當中的元素的權重, 而因為權重是非負的, 所以
不等式成立。
再回來看 Erd˝os 有關對角 Ramsey 數 R(n, n) 下界的證明, 他的論證中主要的部分可 以重新寫成下面的定理。
定理 7 (Erd˝os [9]): 若 nr21−(n2) < 1, 則 R(n, n) > r。
證明: 在完全圖 Kr 上隨機地進行 2-邊著色, 每條邊都獨立地用 12 的機率著上兩種顏色之一;
所有 2(r2) 種 2-邊著色合成一個機率空間 S, 它的各個元素 c 的權重是 pc = 2−(r2)。 考慮事 件 A = {c ∈ S : 在 2-邊著色 c 下 Kr 有同色的 Kn 子圖}; 對大小是 n 的點集 N, 考慮事 件 AN = {c ∈ S : 在 2-邊著色 c 下 KN 是同色子圖}; 則 A = ∪|N |=nAN。 因為 KN 的 2(n2) 條邊都塗同色的機率是 P (AN) = 2 · 2−(n2), 而總共有 rn 那麼多個 N, 所以根據性質 6, P (A) ≤ P
|N |=nP (AN) = nr21−(n2), 因此當這個值小於 1 的時候, 就有一種 2-邊著色 不在 A 內, 在這種 2-邊著色下 Kr 沒有同色的 Kn, 於是就有 R(n, n) > r。 要取得一個 R(n, n) 的好下界, 就需要去找一個儘量大的 r 使得 nr21−(n2) < 1 成立, 一個很粗略的估計是
r n
≈ rn 且 21−(n2) ≈ 2−n
2/2,
所以可以期望 rn2−n2/2 ≈ 1, 也就是 r ≈ 2n/2。 這個比較粗略的估計, 其實就是 Erd˝os 在 1947 年推導出來的結果。
推論 8 (Erd˝os [9]): 若 n ≥ 3, 則 R(n, n) > 2n/2。
證明: 取 r = ⌊2n/2⌋, 則 nr21−(n2) < rn!n21−(n2) ≤ 2n2 /2n! 21−(n2) = 2·2n!n/2 < 1, 其中最後一個 不等式由性質 5 得到, 所以由定理 7 知道 R(n, n) > ⌊2n/2⌋, 也就是 R(n, n) > 2n/2。
如果用 Stirling 公式就可以做更精確一點的估計
r n
= r(r − 1) . . . (r − n + 1)
n! ≈ rn
nne−n ≈
re n
n
,
那麼就可以期望 re
n
n
2−n(n−1)/2 ≈ 1, 也就是 r ≈ e√n22n/2, 這比前面的 2n/2 多出了 n
e√ 2 的 倍數。要得到這個比較好的下界, 需要下面的不等式。
性質 9: (1) 對非零實數 x 恆有 ex > 1 + x。 (2) 對正整數 n 恆有 2nn< n!en。
證明: (1) 考慮函數 f (x) = ex − 1 − x, 它的微分 f′(x) = ex − 1。 在 x > 0 的時候 f′(x) > 0, 所以 f 遞增而有 f (x) > f (0) = 0, 就得到 ex > 1 + x。 在 x < 0 的時候 f′(x) < 0, 所以 f 遞減而有 f (x) > f (0) = 0, 也得到 ex > 1 + x。
(2) 當 n = 1 時, 2 · 11 < 1!e1 成立。 假設 2nn < n!en, 則 2(n + 1)n+1 = 2nn(n + 1) 1 + n1n
< n!en(n + 1)(e1/n)n= (n + 1)!en+1, 其中的不等式由 (1) 取 x = 1
n 得到。 由
數學歸納法證得 (2)。
推論 10 : 如果 n ≥ 1, 則 R(n, n) > n e√
22n/2。
證明: 取 r = n2n/2 e√
2
, 則 nr21−(n2)≤rn
n!21−(n2)≤nn2n(n−1)/2
n!en 21−n(n−1)/2 = 2nn n!en < 1, 其中最後一個不等式是因為性質 9 (2), 所以由定理 7 知道 R(n, n) > n2n/2
e√ 2
, 也就是 R(n, n) > n
e√
22n/2。
接著來看機率方法在集合極值問題的應用。 如果 F 是 [0..n − 1] := {0, 1, . . . , n − 1} 的 一些子集的集合族, 也就是 F ⊆ 2[0..n−1]:= {A : A ⊆ [0..n − 1]}。 若 F 中任意兩個集合都 相交, 即 A, B ∈ F 時恆有 A ∩ B 6= ∅, 則稱 F 為一個相交族。 例如對 0 ≤ i ≤ n − 1, 集合 族 Fi = {A ⊆ [0..n − 1] : i ∈ A} 就是一個相交族, 而它的大小 2n−1 也是所有相交族的大 小中最大的。 這個性質的證明不難, 只要將 2[0..n−1] 中的元素兩兩配對如下, 將 [0..n − 1] 的 子集 A 和 其補集 A := [0..n − 1]\A 配對, 則總共有 2n−1 對, 因為 A ∩ A = ∅, 所以 A 和 A 中最多只有一個會在相交族 F 當中, 就得到 |F| ≤ 2n−1。
如果要求相交族 H 內的集合都有固定的大小 k, 也就是 H ⊆ [0..n−1]k := {A ⊆ [0..n−
1] : |A| = k}, 則 |H| 的極值就比較難求了。 當 2n ≤ 2k − 1 時, [0..n−1]k 本身就是一個 相交族, 所以這時候的極值是 nk。 當 n ≥ 2k 時, 對 0 ≤ i ≤ n − 1, 集合族 Hi = {A ∈
[0..n−1]
k : i ∈ A} 就是一個相交族, 而它的大小 n−1k−1 也是所有這種相交族的大小中最大的。
這就是著名的Erd˝os-Ko-Rado 定理 [23], 它的證明並不容易, 這裡介紹一個 Katona [24] 用 機率方法的簡單證法。
定理 11 (Erd˝os - Ko - Rado 定理): 若正整數 n ≥ 2k 且相交族 F ⊆ [0..n−1]k , 則
|F | ≤ n−1k−1。
證明 (Katona): 對 0 ≤ j ≤ n − 1 令 Aj = {j, j + 1, . . . , j + k − 1}, 其中加法取模 n。
首先需要一個性質。
(甲) F 最多含有 k 個 Aj。
證明: 先固定某個 Aj ∈ F 。 其他能和 Aj 相交的 At 可以分成 k − 1 對 {Aj−i, Aj+k−i}, 其 中 1 ≤ i ≤ k − 1, 每一對中的兩個集合都不相交, 所以 F 最多只包含每一對中的一個集合, 這和 Aj 合起來, 最多只有 k 個集合。
考慮機率空間 S = [0..n−1]k , 其中每一集合 A 的權重都是 pA = 1
(nk)。 隨機、 均勻、 均 等機率地取一個 [0..n − 1] 的排列 σ 和 [0..n − 1] 的一個元素 i, 並令 A = {σ(i), σ(i +
1), . . . , σ(i + k − 1)}, 其中加法取模 n。 在選定 σ 的條件下, 由 (甲) 得到 P (A ∈ F) ≤ kn。 但是 A 是從所有 k-子集中均勻選出來的, 所以
|F |
n k
= P (A∈ F ) ≤ k n, 也就是 |F| ≤ nkk
n = n−1k−1。
6. 隨機變數的期望值
為了進一步探討機率方法更多的應用, 需要引入機率論的其他概念和工具。
一個隨機變數指的是一個從機率空間映射到實數上的函數 X : S → R。 對於隨機變數 X, 用 「X = k」 來代表所有 X-函數值是 k 的元素所構成的事件, 也就是 {s ∈ S : X(s) = k}。
而隨機變數 X 的期望值 E(X) 則是 X 在隨機空間中的取值平均, 也就是 P
kkP (X = k) (當可能的取值有無窮多種的時候, 需假定這個和絕對收斂)。
關於期望值, 有一個基本性質。
性質 12: 如果 X 是有限個隨機變數 Xi 的和, 則 E(X) = P
iE(Xi)。 如果 a 是常數, 則 E(aX) = aE(X)。
證明: 首先, E(X) = P
kkP (X = k) = P
kk P
X(s)=kps
= P
s∈SpsX(s) = P
s∈S(psP
i Xi(s)) =P
i
P
s∈SpsXi(s) =P
i
P
k
kP
Xi(s)=kps
=P
i
P
kkP (Xi= k)
=P
iE(Xi)。 其次, aE(X) = aP
kkP (X = k) =P
akakP (aX = ak) = E(aX)。 這個性質並沒有要求這些事件 「Xi = k」 之間是獨立的, 這會導到很大的便利性。 在證明 一些性質的時候, 常常會設置一些指示變數, 也就是當某個事件發生的時候是 1, 不然就是 0 的 隨機變數。 這樣的變數的期望值自然就會是事件發生的機率, 而藉由把那些指示變數加總起來, 就可以根據加總的期望值來判斷某個特定的事件總共到底發生了幾次。
根據期望值的定義, 有下面的性質, 它可以看成是鴿籠原理在機率論中的推廣。
性質13: 對隨機變數 X, 如果 E(X) ≥ k∗, 則在機率空間中存在一個元素 s 使得 X(s) ≥ k∗; 如果 E(X) ≤ k∗, 則在機率空間中存在一個元素 t 使得 X(t) ≤ k∗。
現在來看比 Erd˝os 更早用機率方法的 Szele 的工作 [10]。 一個 n-競賽圖是把完全圖 Kn
的每一條邊都給定一個方向後得到的有向圖。 如果有 n 個人, 兩兩之間有一個競賽, 總有一個 人輸一個人贏, 所有 n 個人之間兩兩競賽輸贏的結果, 就可以用一個 n-競賽圖來記錄。
一個傳統的結果是 「任何 n-競賽圖都有一條 Hamilton 路徑。」 它的證明如後。 選取一條
最長的路徑 v1v2. . . vm, 如果 m = n 就得證; 否則存在一點 x 不在這條路徑中, 對於路徑上 的每一點 vi, xvi 和 vix 恰有一個是有向邊。 必定是 v1x 是有向邊, 不然若 xv1 是有向邊的 話, 則 xv1v2. . . vm 會是一條更長的路徑, 矛盾。 令 j 是使得 v1x, v2x, . . . , vjx 是有向邊的 最大指標, 必然是 j < r, 要不然 j = r 將迫使 v1v2. . . vrx 是一條更長的路徑, 矛盾。 而在 1 ≤ j < m 的條件下, v1v2. . . vjxvj+1vj+2. . . vm 是一條更長的路徑, 也是矛盾。
確實存在一個恰有一條 Hamilton 路徑的 n-競賽圖 T , 就是 V (T ) = {1, 2, . . . , n} 而 E(T ) = {ij : 1 ≤ i < j ≤ n}。 想問的是, 一個 n-競賽圖最多可以有多少條 Hamilton 路 徑? Szele 給了一個不錯的下界。
定理 14: 有一個至少有 n!21−n 條 Hamilton 路徑的 n-競賽圖。
證明: 隨機地把 Kn 的每一條邊用 1
2 的機率配置一種方向, 這樣有 2−(n2) 的機會得到一個競 賽圖, 所有這 2(n2) 個競賽圖合成一個機率空間S。 考慮隨機變數 X : S → R, 其中 X(T ) 是 T 內 Hamilton 路徑的個數; 對於 Kn 當中的每一條 Hamilton 路徑 Q : v1, v2, . . . , vn, 考 慮隨機變數 XQ: S → R、 其中當 Q 在 T 指定的方向下是 T 中的有向路徑時 XQ(T ) = 1、
否則 XQ(T ) = 0; 於是 X =P
QXQ。 而 Q 中各邊 vivi+1 在 T 中是邊的機率是 1 2, 所以 E(XQ) = P (Q 是 T 中路徑) = 21−n, 而且那樣的 Q 總共有 n! 種, 所以E(X) =P
QE(XQ)
= n!21−n。 由性質 13 便得到某個 n-競賽圖 T 有 X(T ) ≥ n!21−n, 定理得證。 在前面的證明裡, 都詳細地描寫出機率空間 S, 甚至其中每一點 s 的權重 ps。 在談到隨機 變數 X 時, 也把 X : S → R 中 X(s) 的定義用 s 描述出來。 當讀者逐漸了解它們的涵意以 後, 下面會省略 S 的描述和 X(s) 用 s 的描述, 讀者心中自己可以有這些描述以便對照證明。
到這裡為止的許多機率方法的證明, 常常能夠轉成計數方法的證明, 越往後面的論證, 就 越難做到這件事情了。
7. 更動法–微調的技術
有些情況當中, 前面的方法並沒有辦法直接給出一個符合期望的結構出來, 但是它給出的 結構卻和想要的並沒有相差太遠, 以致於可以把結構稍微調整以便得到想要的東西。 這樣的一 種技巧在機率方法當中叫做更動法、 刪除法或二步法。
先來看一個更動法在圖論控制集問題的應用。 圖 G 中的一個控制集是指一個點集 D ⊆ V (G), 使得不在 D 中的任意點都和 D 中的某個點相鄰。 圖 G 的控制數 γ(G) 是其控制集 D 的最小基數, 即 γ(G) = min{|D| : D 是 G 的控制集}。
控制集問題有很多應用, 例如設施選址問題。 以消防站位置問題為例, 某個縣決定建立一
些消防站, 以便服務該縣所有的城鎮; 消防站將設於一些城鎮, 使得每個城鎮或者有消防站、 或 者與某個有消防站的城鎮相鄰。 為了省錢, 該縣希望建立滿足上述要求的最少數量的消防站。 以 該縣所有城鎮為點集造一圖 G, 相鄰兩城鎮之間連邊, 則上述消防站位置問題就是要求 γ(G)。
假設圖 G 有 n 點而最小度為 δ, 文獻上有一序列文章以 n 和 δ 為 γ(G) 的上界。 如果 G 沒有邊, 則顯然有 γ(G) = n。 當 G 沒有孤立點、 也就是 δ ≥ 1 時, Øystein Ore [25] 得 到 γ(G) ≤ 12n, 他的證明如下; 取 V (G) 的一個最大獨立集 I, 也就是 I 中任兩點不相鄰、 而 再也沒有更大的集合滿足此條件, 因此 I 外的點一定和 I 中某點相連, 得知 I 是控制集; 另外, 因為 δ ≥ 1, V (G)\I 外的點 (也就是 I 中的點 x) 必定和某個點 y 相鄰, 但是 y 不在 I 中, 所以必在 V (G)\I 中, 得知 V (G)\I 是控制集; 綜合得知 γ(G)≤min{|I|, n − |I|}≤1
2n。
Balnd [26] 和 McCuaig-Shepherd [27] 先後獨立證明: 當 δ ≥ 2 時, 除了七個小圖 (C4 和六個有七點的圖) 以外都有 γ(G) ≤ 2
5n。 接著 Reed [28] 得到著名的結果: 當 δ ≥ 3 時, γ(G) ≤ 3
8n。 以上這些結果, 有一個共同的型式:
當 1 ≤ δ ≤ 3 時, 除了七個例外, 都有γ(G) ≤ δ 3δ − 1n。
隨即 Haynes-Hedetniemi-Slater [29] 猜測上面的不等式對所有 δ ≥ 1 都成立。 這個猜想當 δ = 4 的情況被 Sohn-Xudong [30] 證明, 而當 δ = 5 的情況被 Xing-Sun-Chen [31] 證明。
更多介紹及結果可參見 Bujt´as-Klavˇzar [32] 的文章。 底下介紹 Alon-Spencer [17] 用更動法 得到的一個上界。
定理15 (Alon - Spencer [17]): 如果圖 G 有 n 個點和最小度數 δ, 則 γ(G) ≤ ln(δ+1)+1δ+1 n。
證明: 在 G 中隨機選取一個點集 S, 使得每個點都有機率 p (稍後決定) 被選入 S 當中。 令 T 是不在 S 中的點而且不和 S 中任一個點相鄰的點的集合, 則 D = S ∪ T 是 G 的一個 控制集。 因為每一個點在 S 中的機率是 p, 所以 E(|S|) = np。 對每一個點 v ∈ V (G), 令 Yv 是 「v 在 T 中」 的指標變數, 由於 v ∈ T 若且唯若 v 和它的鄰居都不在 S 當中, 它的 機率 (1 − p)deg(v)+1 ≤ (1 − p)δ+1 ≤ e−p(δ+1), 所以 E(|T |) = P
vE(Yv) ≤ ne−p(δ+1)。 總結就得到 E(|D|) = E(|S|) + E(|T |) ≤ np + ne−p(δ+1), 取 p = ln(δ+1)δ+1 , 可以得到 E(|D|) ≤ ln(δ+1)+1δ+1 n。 所以定理由性質 13 得證。 上面的證明中, p 隨便取一個值就會得到一個上界, 只是 p = ln(δ+1)δ+1 可以讓這個上界達 到最小, 這是因為, 在考慮函數 f (p) = np + ne−p(δ+1) 最小值的時候, 需要它的微分 f′(p) = n − n(δ + 1)e−p(δ+1) = 0, 也就是 p = ln(δ+1)δ+1 。雖然不是真正需要, 但因為 f′′(p) = n(δ + 1)2e−p(δ+1) > 0 可以確定 f (ln(δ+1)δ+1 ) 是極小值。
這個例子的作法是先隨便選一個集合出來, 再對它做一些必要的修改使得它變成獨立集, 然後設法設定一個機率參數使得 「選取集合」 和 「修改」 兩方面一同獲得最佳化。 這就是更動法 的核心精神所在。
利用更動法, 可以把推論 10 有關 R(n, n) 的下界改進成 √ 2 倍。
定理 16: 如果 n ≥ 1, 則對於任意正整數 r 都有 R(n, n) > r − nr21−(n2), 從而 R(n, n) >
(1 − o(1))ne2n/2。
證明: 隨機地把 Kr 進行 2-邊著色使得每條邊都有1
2 的機率被著上兩種顏色之一。 對於每一個 子圖 Kn設置一個 「邊都同色」 的指示變數, 然後令 X 是那些指示變數的和 (所以 X 就是同色 Kn 的總數)。 每個指示變數都有 21−(n2) 的機率是 1, 從而 E(X) = nr21−(n2)。 這時候假如把 每一個同色的 Kn 當中都刪除掉一個點, 那麼整個圖就不再有任何同色的 Kn 了, 但得到的圖 的大小的期望值就縮小成 r− nr21−(n2)。 這就表示, 一定存在一個大小最少是 r− rn21−(n2) 的 完全圖以及它上面的一種 2-邊著色使得沒有同色的 Kn 存在, 證得 R(n, n) > r − nr21−(n2)。
由性質 9 (2) 得知 rn
≤ rn n! < 1
2
re n
n
, 所以 R(n, n) > r − nr21−(n2) > r −
re n
n
2−(n2)。 選取 r = n2n/2 e
, 則 r ≤ n
e2n/2 < r + 1, 也就是 re n
n
≤ 2n
2/2, 於是就 得到
R(n, n) > n
e2n/2− 1 − 2n
2/22−(n2) = 1 − e
n
n
e2n/2 − 1 = (1 − o(1))n
e2n/2。
8. Lov´ asz 局部引理
在機率方法當中, 為了構造出具有某種性質的事物, 往往需要證明所考慮的事件發生的機 率是正的。 但是許多證明往往得到更多, 也就是, 不但證明所考慮的事件發生的機率是正的, 甚 至還很大。 事實上, 許多機率證明中, 處理的事件發生的機率常常很高, 甚至趨近於 1。
另一方面, 在一些比較簡單的例子, 往往可以證明所考慮的事件發生的機率雖然很小, 卻 是正的。 事實上, 如果有 n 個互相獨立的事件, 每個事件發生的機率最少是 p > 0, 則所有事件 發生的機率最少是 pn, 這個機率在 n 大的時侯雖然很小, 卻是正的。
很自然的會期望, 所有事件互相獨立這個條件, 可以推廣到只有少數事件互相不獨立的情 況, 用這樣的結論來證明, 某些事件發生的機率雖然很小, 卻是正的。 這樣的推廣確實存在, 它 就是著名的 Lov´asz 局部引理 (首見於 Erd˝os 和 Lov´asz 的文章 [33])。
對於事件 A1, A2, . . . , An, 一個複合事件是指一個事件, 針對了特定的互斥集 S, T ⊆ [n], 指定了對那些 i ∈ S 的 Ai 要發生, 而對那些 i ∈ T 的 Ai 不發生 (其他的 Ai 則發不發生無所 謂)。 舉例來說, 「恰好 i 是奇數的 Ai發生了」 就是一個複合事件。 稱事件 B 和 A1, A2, . . . , An
互相獨立, 如果 B 和任何 A1, A2, . . . , An 的複合事件都是獨立的話。
對於事件 A 和 B, 所謂的條件機率 P (A|B) 是 「在 B 發生的前提之下 A 發生的機率」, 它的定義是 P (A|B) = P (A∩B)P (B) 。 如果 A 和 B 獨立, 那麼就有 P (A|B) = P (A)。 局部引理 的主要功能在於釐清, 什麼時候可以使得一些想避開的事件 A1, A2, . . . , An 通通都不發生。
定理 17 (Lov´asz 局部引理, 一般情形): 假設 A1, A2, . . . , An 是事件, 對每一個 i, 令 Di ⊆ [n]\{i} 是一個使得 Ai 和 {Aj : j 6∈ Di ∪ {i}} 互相獨立的集合。 如果存在一些 權重 x1, x2, . . . , xn 使得 0 ≤ xi < 1 而且 P (Ai) ≤ xiQ
j∈Di(1 − xj), 那麼 P (∩iAi) ≥ Q
i(1 − xi) > 0。
證明: 下面用 IS 表示事件 ∩j∈SAj。要證明這個定理, 只需要證明 「對任何 i /∈ S ⊆ [n] 都有 P (Ai|IS) ≤ xi, 也就是 P (Ai|IS) ≥ 1 − xi」, 因為這麼一來
P (∩iAi) = P (I[n]) =
n
Y
i=1
P (Ai|I[i−1]) ≥
n
Y
i=1
(1 − xi) > 0。
要證明前面的宣稱, 對 |S| 做數學歸納法證明。 令 T = S ∩ Di 而 T = S\T 。 則 P (Ai|IS) = P (Ai∩ IT|IT)
P (IT|IT) , (2) 而由於 Ai 和 {Aj : j ∈ T } 是互相獨立的, 得知
P (Ai∩ IT|IT) ≤ P (Ai|IT) = P (Ai) ≤ xi
Y
j∈Di
(1 − xj), (3) 於是如果 T = ∅, 那麼式 (2) 的分母就是 1, 從而 P (Ai|IS) ≤ xi 成立。 特別是 |S| = 0 的時 候, 所要證明的前面的宣稱成立, 所以可以假設 |S| > 0。 而當 T 6= ∅ 時, 重新編號, 不失一般 性可以假設 T = {1, 2, . . . , r}, 而根據歸納法假設就有
P (IT|IT) = P (I[r]|IT) =
r
Y
j=1
P (Aj|I[j−1]∪T) ≥
r
Y
j=1
(1 − xj) =Y
j∈T
(1 − xj), (4)
把式 (3) 和式 (4) 代入式 (2), 就得到想要證明的不等式 P (Ai|IS) ≤ xiQ
j∈Di(1 − xj) Q
j∈T(1 − xj) ≤ xi。 推論18 (Lov´asz 局部引理, 對稱情形): 如果 A1, A2, . . . , An是事件, 每個 Ai 都和其他 Aj
中除了最多 d 個以外的 Aj 所成的集合互相獨立, 而且 P (Ai) ≤ p。 如果 ep(d + 1) ≤ 1, 就 有 P (∩iAi) > 0。
證明: 取 Di ⊆ [n]\{i} 使得 Ai 和 {Aj : j ∈ Di ∪ {i}} 是互相獨立的, 則所給的條件表示
|Di| ≤ d。 取 x1 = x2 = . . . = xn = d+11 , 則由 1 + 1dd
< e、 也就是 1e < 1 − d+11 d
知 道
P (Ai) ≤ p ≤ 1
e(d + 1) ≤ 1 d + 1
1 − 1 d + 1
d
≤ xi
Y
j∈Di
(1 − xj)
成立, 所以由定理 17 便得到結論。
Shearer [34] 曾經證明對稱情形的局部引理中的 e 是沒有辦法再改進的。
接著來看看局部引理的一些應用。 首先考慮 Erd˝os 和 Lov´asz 討論實數的 k-著色的問 題。 把實數集 R 作 k-著色, 也就是考慮 c : R → {1, 2, . . . , k}。 如果 c(T ) = {1, 2, . . . , k}
的話, 就叫 T ⊆ R 是 c-多色。
定理19: 如果正整數 m 和 k 滿足 e(m(m − 1) + 1)k(1 − 1/k)m≤ 1, 則對任何含 m 個實 數的集合 S, 都存在 R 的 k-著色 c 使得對任意 x ∈ R 都有 x + S 是 c-多色。
證明: 先固定一個 R 的有限子集 X, 證明存在 Y = ∪x∈X(x + S) 的 k-著色 c 使得對任意 x ∈ X 都有 x + S 是 c-多色。 首先, 令 c : Y → {1, 2, . . . , k} 是 Y 中元素的均勻隨機 k-著 色。 對任意 x ∈ X, 令 Ax 是 x + S 不是 c-多色的事件, 則顯然有 P (Ax) ≤ k(1 − 1/k)m; 尤有進者, 除非 (x + S) ∩ (x′ + S) 6= ∅, Ax 和其他 Ax′ 都互相獨立, 而這樣不互相獨立的 Ax′ 最多只有 m(m − 1) 個。 由 e(m(m − 1) + 1)k(1 − 1/k)m ≤ 1 和對稱情形的局部引理 知道 P (∩xAx) > 0, 也就是, 對任意 x ∈ X 都有 x + S 是 c-多色。
接著說明存在 R 的 k-著色滿足定理所要求的性質。 因為含有 k 點的離散空間是緊緻的, 由 Tckhonov 定理, 任意這樣的一些空間的乘積也是緊緻的, 特別是, 由 R 到 {1, 2, . . . , k}
的所有函數、 也就是 R 的 k-著色, 所成的集合是一個緊緻的空間, 在這空間中, 對每一固定 x ∈ R, 所有使得 x + S 是 c-多色的 k-著色所成的集合 Cx 是閉集。 由前一段證明, 任意有限 個 Cx 的交集都不是空集合, 由緊緻性, 所有 Cx 的交集也不是空集合, 在這個交集中的每一個
k-著色 c 都是所求。
最後來看 Lov´asz 局部引理如何將定理 16 有關 R(n, n) 的下界改進成 √ 2 倍。
定理 20 (Spencer [35]): R(n, n) ≥ (1 + o(1))
√2n e 2n/2。
證明: 隨機而且獨立地把 Kr 的邊圖上兩種顏色。 對於每一個具有 n 個點的點集 S, 令 AS 代 表 「S 所導出的子圖 Kn 是同色」 這個事件。 希望避開所有的 AS。 注意到 AS 之間不一定獨 立: 當 S 和 S′ 有兩個以上的共用點的時候 (令 d 是所有這樣的 S′ 之個數) AS 和 AS′ 就不
是獨立的, 不過除了這種情況之外 AS 和其他所有的 AS′ 是互相獨立。 為了估計 d 的上限, 首 先從 S 中選取兩個點, 然後再選 n − 2 個 Kr− S 中的點給 S′; 這樣做的結果會重複計算那 些跟 S 有三個以上共用點的集合, 不過總會得到
d <n 2
r − 2 n − 2
<n 2
r n − 2
< n2 2
re n − 2
n−2
。
另外, 知道有 P (AS) = 21−(n2), 令這個機率是 p。 於是 ep(d + 1) < en2
2
re n − 2
n−2
21−(n2)。 (5)
取 c =
2 en2
1/(n−2)
n − 2
n , 就可以驗證當 p ≤ c
√2n
e 2n/2 的時候, 式 (5) 右邊小於 1, 從而可以套用對稱情形的局部引理而得到 P (∩SAS) > 0, 也就是說 R(n, n) > r。 而由於當
n → ∞ 的時候 c → 1, 定理的結論於是得證。
參考文獻
1. 布魯斯·柴契特著, 曾蕙蘭譯。 不只一點瘋狂: 天才數學家艾狄胥傳奇。 先覺出版社, 1999。
2. 保羅·霍夫曼著, 米緒軍、 章曉燕、 繆衛東譯。 數字愛人: 數學奇才保羅. 艾狄胥的故事。 台灣商務印 書館, 2001。
3. J. Spencer, ed., Paul Erd˝
os: The Art of Counting, Selected Writings, The MIT Press,
Cambridge, 1973.4. P. Erd˝os, Applications of probabilistic methods to graph theory, A Seminar on Graph
Theory, ed. by F. Harary, Holt, Rinohart and Wilson, New York, 1971, 60-69.
5. 張鎮華。 幸福結局問題 — 鴿籠原理與拉姆西定理。 數學傳播季刊, 28 (2), 28-42, 2004。
6. F. P. Ramsey, On a problem of formal logic, Proc. London Math. Soc., Ser. 2, 30 (1930), 264-286.
7. P. Erd˝os and G. Szekeres, A combinatorial problem in geometry, Composito Math., 2 (1935), 251-257.
8. P. Erd˝os and G. Szekeres, On some extremum problems in elementary geometry, Ann.
Univ. Sci. Budapest. E¨ otv¨ os Sect. Math., 3-4 (1961), 53-62. Reprinted in [3], 680-689.
9. P. Erd˝os, Some remarks on the theory of graphs, Bull. Amer. Math. Soc., 53 (1947), 292-294.
10. T. Szele, Kombinatorikai vizsg´alatok az ir´anyitott teljes gr´affal kapcsolatban, Mat. Fiz.
Lapok., 50 (1943), 223-256. 德文翻譯: T. Szele, Kombinatorische Untersuchungen ¨
uber gerichtete vollst¨andige Graphen, Publ. Math. Debrecen, 13 (1966), 145-168.11. P. Erd˝os, Graph theory and probability I, Canad. J. Math., 11 (1959), 34-38.
12. P. Erd˝os, Graph theory and probability II, Canad. J. Math., 13 (1961), 346-352.
13. P. Erd˝os, On the number of complete subgraphs conatins in certain graphs, Publ. Math.
Inst. Hung. Acad. Sci., 7 (1962), 459-464.
14. P. Erd˝os, On a problem in graph theory, Math. Goz., 47 (1963), 220-223.
15. P. Erd˝os and J. Spencer, Probabilistic Methods in Combinatorics, Academic Press/Akademiai Kiado, New York-Budapest, 1974.
16. J. Spencer, Ten Lectures on the Probabilistic Method, CBMS-NSF Reginal Conference Series in Applied Mathematics, SIAM, Pennsylvanis, 1987.
17. N. Alon and J. H. Spencer, The Probabilistic Method, Third Edition, with an appendix on the life and work of Paul Erd˝os, Wiley-Interscience Series in Discrete Math. and Optimization, John Wiley & Sons, Inc., Hoboken, NJ, 2008.
18. S. P. Radziszowski, Small Ramsey numbers, Elect. J. Combin., Dynamic Survey Version
#14, 2014.
19. 張鎮華。 演算法觀點的圖論。 臺大出版中心, 2017。
20. F. R. K. Chung and R. L. Graham, Forced convex n-gons in the plane, Discrete Comput.
Geo., 19 (1998), 367-371.
21. D. J. Kleitamn and L. Pachter, Finding convex sets among points on the plane, Discrete
Comput. Geo., 19 (1998), 405-410.
22. G. T´oth and P. Valtr, Note on Erd˝os-Szekeres problem, Discrete Comput. Geo., 19 (1998), 457-459.
23. P. Erd˝os, C. Ko and R. Rado, Intersection theorems for systems of finite sets, Quart.
J. Math., Oxford Second Ser., 12 (1961), 313-320.
24. G. O. H. Katona, A simple proof of the Erd˝os-Ko-Rado theorem, J. Combin. Theory,
Ser. B, 13 (1972), 183-184.
25. O. Ore, Theory of Graphs, Amer. Math. Soc., Providence, R.I., 1962.
26. M. M. Blank, An estimate of the external stability number of a graph without suspended vertices (in Russian), Prikl. Mat. i Programmirovanie, 10 (1973), 3-11.
27. W. McCuaig and B. Shepherd, Domination in graphs with minimum degree two, J.
Graph Theory, 13 (1989), 749-762.
28. B. Reed, Paths, stars and the number three, Combin. Probab. Comput., 5 (1996), 277-295.
29. W. Haynes, S. T. Hedetniemi and P. J. Slater, Fundamentals of Domination in Graphs, Marcel Dekker, New York, 1998, p. 48.
30. M. Y. Sohn and Y. Xudong, Domination in graphs of minimum degree four, J. Korean
Math. Soc., 46 (2009), 759-773.
31. H.-M. Xing, L. Sun and X.-G. Chen, Domination in graphs of minimum degree five,
Graphs Combin., 22 (2006), 127-143.
32. C. Bujt´as and S. Klavˇzar, Improved upper bounds on the domination number of graphs with minimum degree at least five, manuscript, April 16, 2015.
33. P. Erd˝os and L. Lov´asz, Problems and results on 3-chromatic hypergraphs and some related questions, Infinite and Finite Sets, North Holland, Amsterdam-New York, 1975.
34. J. B. Shearer, On a problem of Spencer, Combinatorica, 5 (1985), 241-245.
35. J. Spencer, Ramsey’s theorem–a new lower bound, J. Combin Theory (A), 18 (1975), 108-115.
—本文作者為台大數學系退休教授—
