[Δ]（G）=8且不含4-圈的平面圖的完備染色

張巖

◆摘 ?要：用xvef（G）分別表示圖G的完備色數。本文證明：若[Δ]（G）=8的平面圖G且不含有4-圈，則xvef（G）≤[Δ]（G）+4。

◆關鍵詞：[Δ]（G）=8;平面圖;完備色數

1引言

圖論起源于一個非常經典的問題——柯尼斯堡（Konigsberg）問題。

1738年，瑞典數學家歐拉（Leornhard Euler）解決了柯尼斯堡問題。由此圖論誕生。歐拉也成為圖論的創始人。

1859年，英國數學家漢密爾頓發明了一種游戲：用一個規則的實心十二面體，它的20個頂點標出世界著名的20個城市，要求游戲者找一條沿著各邊通過每個頂點剛好一次的閉回路，即“繞行世界”。用圖論的語言來說，游戲的目的是在十二面體的圖中找出一個生成圈。這個生成圈后來被稱為漢密爾頓回路。這個問題后來就叫做漢密爾頓問題。由于運籌學、計算機科學和編碼理論中的很多問題都可以化為漢密爾頓問題，從而引起廣泛的注意和研究。

圖論是門應用十分廣泛且內容非常豐富的數學分支，它在生產管理，軍事，交通運輸，計算機網絡等許多領域都有重要的應用。在圖論的歷史中，還有一個最著名的問題——四色猜想。這個猜想說，在一個平面或球面上的任何地圖能夠只用四種顏色來著色，使得沒有兩個相鄰的國家有相同的顏色。每個國家必須由一個單連通域構成，而兩個國家相鄰是指它們有一段公共的邊界，而不僅僅只有一個公共點。這一問題最早于1852年由Francis Guthrie提出，最早的文字記載則現于德摩根于同一年寫給哈密頓的信上。包括凱萊、肯普等在內的許多人都曾給出過錯誤的證明。泰特（Tait）、希伍德（Heawood）、拉姆齊和哈德維格（Hadwiger）對此問題的研究與推廣引發了對嵌入具有不同虧格的曲面的圖的著色問題的研究。一百多年后，四色問題仍未解決。1969年，Heinrich Heesch發表了一個用計算機解決此問題的方法。1976年，阿佩爾（Appel）和哈肯（Haken）借助計算機給出了一個證明，此方法按某些性質將所有地圖分為1936類并利用計算機，運行了1200個小時，驗正了它們可以用四種顏色染色。四色定理是第一個主要由電腦證明的理論，這一證明并不被所有的數學家接受，因為采用的方法不能由人工直接驗證。最終，人們必須對電腦編譯的正確性以及運行這一程序的硬件設備充分信任。主要是因為此證明缺乏數學應有的規范，以至于有人這樣評論“一個好的數學證明應當像一首詩——而這純粹是一本電話簿！染色問題是圖論的重要內容，也是圖論的起源之一，具有重要的理論意義和實際意義。幾百年來，它深深汲引著數學家們的注意力，圖的染色問題又有很多種分類，如頂點染色，邊染色，全染色，點面染色，邊面染色，完備染色等等。關于平面圖的染色問題一直是圖論界的研究熱點。

參考文獻

[1]J.A.Bondy，U.S.R.Murty.Graph Theory with Applications[M].New York：Macmillan，1976.

[2]H.Kronk and J.Mitchem.A seven-color theorem on the sphere[J].Discrete Math，1973（6）.

[3]O.V.Borodin.The structure of edge neighborhoods in planar graph and the Simultaneous coloring of the vertices，edges and faces[J].Metem.Zametki，1993（53）.

[4]Wang Weifan.Upper bounds of entire chromatic number of plane graphs[J].Europ.J.Combinatorics，1999（20）.

[5]Daniel P.Sanders and Yue Zhao.On the entire coloring conjecture[J].Canad.Math.Bull.Vol，2000（43）.

[6]O.V.Borodin.Structure theorem on plane graphs with application to the entire coloring number [J].Journal of graph theory vol，1996（23）.

[7]吳建良.平面圖的完備染色[J].山東礦業學院學報，1994（13）.

[8]王維凡.關于完備色數[J].遼寧大學學報，1995（22）.