圖論

一個由6個頂點和7條邊組成的圖
圖論（Graph theory），是組合數學分支，和其他數學分支如群論、矩陣論、拓撲學有著密切關係。
圖是圖論的主要研究對象。圖是由若干給定的頂點及連接兩頂點的邊所構成的圖形，這種圖形通常用來描述某些事物之間的某種特定關係。頂點用於代表事物，連接兩頂點的邊則用於表示兩個事物間具有這種關係。
圖論起源於著名的柯尼斯堡七橋問題。該問題於1736年被歐拉解決，因此普遍認為歐拉是圖論的創始人。
圖論的研究對象相當於一維的單純複形。

**歷史**
柯尼斯堡七橋問題
一般認為，歐拉於1736年出版的關於柯尼斯堡七橋問題的論文是圖論領域的第一篇文章。此問題被推廣為著名的歐拉路問題，亦即一筆畫問題。而此論文與範德蒙的一篇關於騎士周遊問題的文章，則是繼承了萊布尼茨提出的“位置分析”的方法。歐拉提出的關於凸多邊形頂點數、稜數及面數之間的關係的歐拉公式與圖論有密切聯繫，此後又被柯西等人進一步研究推廣，成了拓撲學的起源。1857年，哈密頓發明了“環遊世界遊戲”（icosian game），與此相關的則是另一個廣為人知的圖論問題“哈密頓路徑問題”。
西爾維斯特於1878年發表在《自然》上的一篇論文中首次提出“圖”這一名詞。
歐拉的論文發表後一個多世紀，凱萊研究了在微分學中出現的一種數學分析的特殊形式，而這最終將他引向對一種特殊的被稱為“樹”的圖的研究。由於有機化學中有許多樹狀結構的分子，這些研究對於理論化學有著重要意義，尤其是其中關於具有某一特定性質的圖的計數問題。除凱萊的成果外，波利亞也於1935至1937年發表了一些成果，1959年，De Bruijn做了一些推廣。這些研究成果奠定了圖的計數理論的基礎。凱萊將他關於樹的研究成果與當時有關化合物的研究聯繫起來，而圖論中有一部分術語正是來源於這種將數學與化學相聯繫的做法。
四色問題可謂是圖論研究史上最著名也是產生成果最多的問題之一：“是否任何一幅畫在平面上的地圖都可以用四種顏色染色，使得任意兩個相鄰的區域不同色？”這一問題由法蘭西斯·古德里於1852年提出，而最早的文字記載則出現在德摩根於1852年寫給哈密頓的一封信上。包括凱萊、肯普等在內的許多人都曾給出過錯誤的證明。泰特（Peter Guthrie Tait）、希伍德、拉姆齊和哈德維格（Hugo Hadwiger）對此問題的研究與推廣引發了對嵌入具有不同虧格的曲面的圖的著色問題的研究。一百多年後，四色問題仍未解決。1969年，Heinrich Heesch發表了一個用計算機解決此問題的方法。1976年，凱尼斯·阿佩爾和沃夫岡·哈肯藉助計算機給出了一個證明，此方法按某些性質將所有地圖分為1936類並利用計算機一一驗證了它們可以用四種顏色染色。但此方法由於過於複雜，在當時未被廣泛接受。
1860年之1930年間，若當、庫拉托夫斯基和惠特尼從之前獨立於圖論發展的拓撲學中吸取大量內容進入圖論，而現代代數方法的使用更讓圖論與拓撲走上共同發展的道路。其中應用代數較早者如物理學家基爾霍夫於1845年發表的基爾霍夫電路定律。
圖論中概率方法的引入，尤其是埃爾德什和Alfréd Rényi關於隨機圖連通的漸進概率的研究使得圖論產生了新的分支隨機圖論。

**定義**
圖論中有許多定義，以下是一些與之相關最基本的定義。

**無向圖**
有三個邊和三個頂點的圖。
圖論中，圖是有序對 ，其中  是點集； 是邊集，由所有無序頂點對構成（換句話說，邊連接了頂點對）。對於一個邊 ，頂點  被稱作是邊的端點，邊則被稱為連接了此兩個點。
為了避免歧異，上述的定義被更精準地稱作無向簡單圖。
事實上可以推廣為更一般的定義：圖是有序三元組 ，其中  是點集； 是邊集（此時  不再如前面限定是該集合的子集）；而  將每個邊映射到一個無序頂點對（於是邊連接了頂點對）。此時的定義就允許自環、重邊的出現，其中自環是兩端點相同的邊，重邊是兩個或多個連接相同端點的邊。
為了避免歧異，上述的定義被更精準地稱作無向圖。
的元素個數通常都是有限的；並且如果個數是無限的，有許多著名的性質都發生變化，甚至不再正確。此外， 通常不被接受是空集合，而  則被接受為空集合。以下再給出一些圖論中的定義：圖的階是其頂點個數 ，圖的邊數是 ，頂點的度所有邊的端點中此頂點出現的次數（自環會被算兩次）。

**圖論問題**

**圖的計數**

**子圖相關問題**
子圖同構問題：給定兩個圖和，問中是否存在一個子圖與同構。這是一個NP完全問題。- 哈密頓迴路問題可視為一個子圖同構問題，即給定一個個頂點的圖，問是否存在一個子圖與具有個頂點的圈同構。
一類相關的常見問題要求在給定圖中尋找符合某些條件的最大子圖，其中有很多是NP完全的，如：
*分團問題：在給定圖中尋找最大的團（NP完全）。
類似地，有些問題要求尋找符合某些條件的最大導出子圖，如：- 最大獨立集問題：在給定圖中尋找最大的無邊的導出子圖，亦即獨立集（NP完全）。
平面圖判定：判定給定的圖是否是平面圖（此問題與子圖的關係，參見庫拉托夫斯基定理）
一個尚未解決的與子圖相關的猜想，重構猜想（Reconstruction conjecture）：一個n階圖是否能夠由其所有n-1階導出子圖唯一確定？

**染色**
 點色數（Chromatic number）- 邊色數（Chromatic index）- 色多項式
許多問題與將圖以特定方式染色有關，如：- 四色問題- 完美圖問題（strong perfect graph theorem）- 列表染色問題，列表邊染色問題
*曲面染色

**路徑問題**
 柯尼斯堡七橋問題- 哈密頓迴路問題- 最小生成樹問題- 中國郵路問題- 最短路問題- 斯坦納樹- 旅行商問題（NP困難）

**網絡流與匹配**
 最大流問題，最小割問題，最大流最小割定理- 最小費用最大流問題- 二分圖及任意圖上的最大匹配- 帶權二分圖的最大權匹配

**覆蓋問題**
 最大團- 最大獨立集- 最小覆蓋集- 最小支配集

**重要的算法**
 戴克斯特拉算法(D.A)- 克魯斯卡爾算法(K.A)- 普里姆算法(P.A)- 拓撲排序演算法(TSA)- 關鍵路徑演算法(CPA)- 廣度優先搜索算法(BFS)- 深度優先搜索算法(DFS)

**參見**
 組合數學- 三間小屋問題

**註釋**

**參考文獻**
year=1958. English edition, Wiley 1961; Methuen & Co, New York 1962; Russian, Moscow 1961; Spanish, Mexico 1962; Roumanian, Bucharest 1969; Chinese, Shanghai 1963; Second printing of the 1962 first English edition, Dover, New York 2001.
*year=1986.
*isbn=978-1-84628-969-9.
*year=2003.
*year=1985.
*citation|first=Alan|last=Gibbons|authorlink=|title=Algorithmic Graph Theory|year=1985|publisher=Cambridge University Press.
*publisher=Cambridge University Press
*citation|first=Martin|last=Golumbic|authorlink=Martin Charles Golumbic|title=Algorithmic Graph Theory and Perfect Graphs|year=1980|publisher=Academic Press.
*year=1969.
*location=New York, NY.
*citation|last1=Mahadev|first1=N.V.R.|last2=Peled|first2=Uri N.|title=Threshold Graphs and Related Topics|publisher=North-Holland |year=1995.
*year=2010.

**外部連結**

**線上圖書資料**
  Graph Theory with Applications (1976) by Bondy and Murty- Phase Transitions in Combinatorial Optimization Problems, Section 3: Introduction to Graphs (2006) by Hartmann and Weigt- Digraphs: Theory Algorithms and Applicationsdate=20110826005638  2007 by Jorgen Bang-Jensen and Gregory Gutin- Graph Theory, by Reinhard Diesteldate=20120208160447 

**其他相關資料**
 id=p/g045010-  Graph theory tutorialdate=20120116185332 -  A searchable database of small connected graphs-  Image gallery: graphs-  Concise, annotated list of graph theory resources for researchers-  rocsdate=20120111113948  — a graph theory IDE-  Graph Theory Softwaredate=20130313205057 
分類:數學分支