圖論中,布魯克定理(英語:Brooks' theorem)[1] 描述了圖的着色數與圖中最大度數的關係,提供了圖着色數的一個上界。定理斷言,若連通圖G中,每個頂點都不多於Δ個鄰居,且G不是完全圖或奇環,則G可以被Δ-着色,即G可以被染成Δ種顏色,使得相鄰點顏色互不相同。
考慮為的頂點染色,而使每邊的兩端不同色。以符號表示,條件是:對於圖中任意兩個頂點,如果,那麼所染成的顏色不同。
對於圖,如果存在一個種顏色的恰當染色方案,稱可染色(或「可着色」)。在所有滿足條件的中,稱最小的那個稱為染色數。
圖的最大度記作。對於任意圖,始終成立。但是這個上界並不足夠緊。而布魯克斯定理提供了一個更緊的上界。
圖着色問題有一個貪心染色法(greedy coloring)[2],將顏色標號為,將圖G的頂點排序為,按順序對頂點進行染色。染時,其鄰居至多有個,所以已染色的鄰居中,至多衹用了種色,尚有某種色未用,可選擇該種色作為的着色。
根據布魯克斯定理,不等式取等若且唯若G為完全圖或奇環。當G為完全圖時,,,當G為奇環時,,,均滿足。
如果是一個連通圖,而且不是奇環或者完全圖,那麼。其中是圖的最小着色數,是圖中點的最大度數。
此處給出洛瓦茲·拉茲洛[3]的一個證明(亦見諸[4])。
記。當的時候,是完全圖。當的時候,由於不是奇環,那麼要麼是一條路徑,或者偶環。此時。所以,衹需從開始考慮。分下列三種情況:
選擇G中度小於k的點最後染色。由於連通,有某種排序方式使得除之外,每個節點都有一個鄰點排在它的後面:例如從出發對圖G進行深度優先遍歷,按照DFS序的逆序排列G的節點。故只有小於等於k - 1個鄰點排在它前面,這樣,只有小於等於k - 1個鄰點排在它前面,而,故也只有小於等於k - 1個鄰點排在它前面,按該次序的貪心染色最多衹用k種色。
若要避免術語「DFS」,可以構造下列集合直到裡面包含中所有頂點:
然後可以用上述貪心染色算法對圖進行染色。染色順序為:先染中的點,再染中的點,一直這麼下去直到染完中的點。這種算法使用種顏色就能完成。當染到點時,在中至少有一個鄰居,所以鄰居中至多只有個被染色過,所以能對進行染色。
當染點的時候,由於,鄰居中至多只有個被染色過,所以同樣能對進行染色。所以用種顏色對恰當染色。
假設割點為,那麼就不是連通圖,設有個連通分量。對於任意一個連通分支,考慮。由於在的度數小於,。由前述貪心染色算法可知,可染色。然後只需令這些染色方案中所染的顏色一樣(如果不一樣,將所有點染的顏色重新排列一下),就能拼成的染色方案,所以可用種顏色對恰當染色。
由於中沒有割點,是2連通圖。斷言可以找到一個頂點,使得它有兩個鄰點,滿足不相鄰,且連通。如果這樣的存在,就可以先將染成同色,然後貪心地為其他點染色,使最後染。這樣貪心染法衹用不超過種色,因為除之外的點,只有小於等於個鄰點排在它前面,而又有兩個鄰點同色,故的鄰域衹用前種色,尚有餘下顏色可用。以下說明為何有此種。
如果是3連通的,則可以選取距離為2的兩點(因為不是完全圖),及其公共鄰點。如此有,又由於是3連通的,是連通圖,即為所求。
僅剩是2連通但不是3連通的情況。此時有頂點使僅為1連通,考慮各個雙連通分支,之間以割點連接,組成一棵樹。因為不是2連通,該樹至少有兩個葉區塊(leaf block),設為。又因為無割點,所以的每一個葉區塊中,必有某個非割點與相鄰。於是,可以在中各取的鄰點,使不是的割點。如此,不相鄰(否則屬同一雙連通分支),且連通。因為,所以連通。證畢。
- ^ Brooks, R. L., On colouring the nodes of a network, Mathematical Proceedings of the Cambridge Philosophical Society, 1941, 37 (2): 194–197, doi:10.1017/S030500410002168X
- ^ Mitchem, John, On various algorithms for estimating the chromatic number of a graph, The Computer Journal, 1976, 19 (2): 182–183, MR 0437376, doi:10.1093/comjnl/19.2.182
- ^ Lovász, L., Three short proofs in graph theory, Journal of Combinatorial Theory, Series B, 1975, 19 (3): 269–271, doi:10.1016/0095-8956(75)90089-1
- ^ Douglas B.West. Introduction to Graph Theory. Pearson Enducation. 2002. ISBN 81-7808-830-4.