跳至內容

英文维基 | 中文维基 | 日文维基 | 草榴社区

布魯克斯定理

維基百科,自由的百科全書

圖論中,布魯克定理(英語:Brooks' theorem[1] 描述了圖的著色數與圖中最大度數的關係,提供了圖著色數的一個上界。定理斷言,若連通圖G中,每個頂點都不多於Δ個鄰居,且G不是完全圖奇環,則G可以被Δ-著色,即G可以被染成Δ種顏色,使得相鄰點顏色互不相同。

背景

[編輯]

圖染色數

[編輯]

考慮為的頂點染色,而使每邊的兩端不同色。以符號表示,條件是:對於圖中任意兩個頂點,如果,那麼所染成的顏色不同。

對於圖,如果存在一個種顏色的恰當染色方案,稱可染色(或「可著色」)。在所有滿足條件的中,稱最小的那個稱為染色數

圖最小染色數和圖最大度數關係

[編輯]

的最大記作。對於任意圖始終成立。但是這個上界並不足夠緊。而布魯克斯定理提供了一個更緊的上界。

圖著色問題有一個貪心染色法greedy coloring[2],將顏色標號為,將圖G的頂點排序為,按順序對頂點進行染色。染時,其鄰居至多有個,所以已染色的鄰居中,至多衹用了種色,尚有某種色未用,可選擇該種色作為的著色。

根據布魯克斯定理,不等式取等若且唯若G為完全圖或奇環。當G為完全圖時,,當G為奇環時,,均滿足

定理敍述

[編輯]

如果是一個連通圖,而且不是奇環或者完全圖,那麼。其中是圖的最小著色數,是圖中點的最大度數。

定理證明

[編輯]

此處給出洛瓦茲·拉茲洛[3]的一個證明(亦見諸[4])。

。當的時候,是完全圖。當的時候,由於不是奇環,那麼要麼是一條路徑,或者偶環。此時。所以,衹需從開始考慮。分下列三種情況:

G不是k正則圖

[編輯]

選擇G中度小於k的點最後染色。由於連通,有某種排序方式使得除之外,每個節點都有一個鄰點排在它的後面:例如從出發對圖G進行深度優先遍歷,按照DFS序的逆序排列G的節點。故只有小於等於k - 1個鄰點排在它前面,這樣,只有小於等於k - 1個鄰點排在它前面,而,故也只有小於等於k - 1個鄰點排在它前面,按該次序的貪心染色最多衹用k種色。

若要避免術語「DFS」,可以構造下列集合直到裡面包含中所有頂點:

然後可以用上述貪心染色算法對圖進行染色。染色順序為:先染中的點,再染中的點,一直這麼下去直到染完中的點。這種算法使用種顏色就能完成。當染到點時,中至少有一個鄰居,所以鄰居中至多只有個被染色過,所以能對進行染色。

當染點的時候,由於鄰居中至多只有個被染色過,所以同樣能對進行染色。所以用種顏色對恰當染色。

Gk正則圖但有割點

[編輯]

假設割點,那麼就不是連通圖,設連通分量。對於任意一個連通分支,考慮。由於的度數小於。由前述貪心染色算法可知,可染色。然後只需令這些染色方案中所染的顏色一樣(如果不一樣,將所有點染的顏色重新排列一下),就能拼成的染色方案,所以可用種顏色對恰當染色。

Gk正則圖且無割點

[編輯]

由於中沒有割點,2連通圖英語Biconnected graph。斷言可以找到一個頂點,使得它有兩個鄰點,滿足不相鄰,且連通。如果這樣的存在,就可以先將染成同色,然後貪心地為其他點染色,使最後染。這樣貪心染法衹用不超過種色,因為除之外的點,只有小於等於個鄰點排在它前面,而又有兩個鄰點同色,故的鄰域衹用前種色,尚有餘下顏色可用。以下說明為何有此種

如果是3連通的,則可以選取距離為2的兩點(因為不是完全圖),及其公共鄰點。如此有,又由於是3連通的,是連通圖,即為所求。

僅剩是2連通但不是3連通的情況。此時有頂點使僅為1連通,考慮各個雙連通分支英語biconnected component,之間以割點連接,組成一棵樹。因為不是2連通,該樹至少有兩個葉區塊(leaf block),設為。又因為無割點,所以的每一個葉區塊中,必有某個非割點與相鄰。於是,可以在中各取的鄰點,使不是的割點。如此,不相鄰(否則屬同一雙連通分支),且連通。因為,所以連通。證畢。

參考文獻

[編輯]
  1. ^ Brooks, R. L., On colouring the nodes of a network, Mathematical Proceedings of the Cambridge Philosophical Society英語Mathematical Proceedings of the Cambridge Philosophical Society, 1941, 37 (2): 194–197, doi:10.1017/S030500410002168X 
  2. ^ Mitchem, John, On various algorithms for estimating the chromatic number of a graph, The Computer Journal英語The Computer Journal, 1976, 19 (2): 182–183, MR 0437376, doi:10.1093/comjnl/19.2.182 
  3. ^ Lovász, L., Three short proofs in graph theory, Journal of Combinatorial Theory英語Journal of Combinatorial Theory, Series B, 1975, 19 (3): 269–271, doi:10.1016/0095-8956(75)90089-1 
  4. ^ Douglas B.West. Introduction to Graph Theory. Pearson Enducation. 2002. ISBN 81-7808-830-4.