在離散數學中，圖是用於表示物體與物體之間存在某種關係的結構。數學抽象後的 物體 稱作節點或頂點，節點間的相關關係則稱作邊。在描繪一張圖的時候，通常用一組點或小圓圈表示節點，其間的邊則使用直線或曲線。 圖中的邊可以是有方向或沒有方向的。例如在一張圖中，如果節點表示聚會上的人，而邊表示兩人曾經握手，則該圖就是沒有方向的，因為甲和乙握過手也意味著乙一定和甲握過手。相反，如果一條從甲到乙的邊表示甲欠乙的錢，則該圖就是有方向的，因為 曾經欠錢 這個關係不一定是雙向的。前一種圖稱為無向圖，後一種稱為有向圖。 圖是圖論中的基本概念。1878 年，詹姆斯西爾維斯特首次使用 圖 這一名詞：他用圖來表示數學和化學分子結構之間的關係（他稱為 化學圖，）。See J J Sylvester February 7 1878 Chemistry and algebra Nature 17 284 From page 284 Every invariant and covariant thus becomes expressible by a graph precisely identical with a Kekuléan diagram or chemicograph J J Sylvester 1878 On an application of the new atomic theory to the graphical representation of the invariants and covariants of binary quantics with three appendices American Journal of Mathematics Pure and Applied 1 1 6490 The term graph first appears in this paper on page 65 定義 在圖論中，圖的定義有很多。下面是一些比較基本的定義方式以及與它們相關的數學結構。 圖 一張圖（為了和有向圖區分，也稱無向圖；為了和多重圖區分，也稱簡單圖）參見 Iyanaga and Kawada 69 J p 234 or Biggs p 4 是一個二元組，其中集合中的元素稱為節點，集合中的元素是兩個節點組成的無序對，稱為邊。集合稱為點集，稱為邊集。 一條邊 x y 上的兩個節點和稱作這條邊的頂點或端點；也說這條邊連線了節點和，或這條邊與和關聯。一個節點可以不屬於任何邊，即它不與任何節點相連。由於 x y 是無序對，x y 和 y x 表示的是同一個元素。 更一般地，多重圖的定義中允許同一對節點之間存在多條不同的邊。在特定語境中，多重圖也可以直接稱作圖。Graham et al p 5 此時，在上面的定義中，集合 E 應該為多重集。 有時，圖的定義中允許自環（簡稱環，），即一條連線一個節點和其自身的邊。允許自環的圖也稱為自環圖。 點集 V 一般是有限集；這意味著邊集 E 也是有限集（不考慮多重圖）。相對地，中的點集可以是無限的。然而，由於有限圖中的結論大多不能延伸到無窮圖，無窮圖通常更被視為一種特殊的二元關係。 一個點集為空集的圖稱為空圖（因此邊集也是空集）。圖的階是指其中節點的數量，即。圖的邊數是指其邊的數量，即。圖的大小一般也指圖的邊數。但在一些語境中，例如描述演算法複雜度的時候，圖的大小是指（否則非空圖的大小也有可能是 0）。節點的度是指連線到該節點的邊的數量；對於允許自環的圖，環要算做兩條邊（因為兩端都連線到這個節點）。 如果一個圖的階是，則其節點的度最大可能取（對於允許自環的圖則是），而邊最多可能有條 對於允許自環的圖則是）。 在圖的定義中，邊的概念定義了節點上的一個對稱關係，即 鄰接 關係。具體地說，對於兩個節點和，如果 x y 是一條邊，則稱它們是鄰接的。一張圖因此可以用其鄰接矩陣 A 來表示，即一個 ntimes n 的矩陣，其中每個元素 Aij 表示節點 i 和 j 之間的邊的數量。對於一個簡單圖，總有 A_ijin01，分別表示 不相連 和 相連，而 A_ii0（即一條邊的兩個頂點不能相同）。允許自環的圖上 A_ii 的取值可以是非負整數，而多重圖則允許任何 A_ij 的取值都是非負整數。無向圖的鄰接矩陣是對稱陣（A_ijA_ji）。 有向圖 邊為有方向的圖稱作有向圖。 有向圖的一種比較嚴格的定義是這樣的：一個二元組 GVE，其中 V 是節點的集合； E subseteq xy mid xy in V2 wedge x neq y 是邊（也稱為有向邊，；或弧，）的集合，其中的元素是節點的有序對。 為了和多重圖區分，這樣的有向圖也稱為有向簡單圖。 在從 x 到 y 的邊 xy 上，節點 x 和 y 稱作這條邊的頂點，其中 x 是起點或尾，y 是終點或頭。也說這條邊連線了節點 x 和 y、這條邊與節點 x 和 y 關聯。一張有向圖中的節點可以不屬於任何一條邊。邊 yx 稱為邊 xy 的反向邊。 節點的出度是指起點為該節點的邊的數量；節點的入度是指終點為該節點的邊的數量。 更一般地，如果一張有向圖允許多條頭尾都分別相同的邊，則稱這樣的圖為有向多重圖，這樣的邊稱為多重邊。一種允許多重邊的有向圖定義方法如下：一個有向圖是這樣的三元組 GVEphi： V 是節點的集合； E 是邊的集合； phi E to xy mid xy in V2 wedge x neq y 是一個關聯函式，將每條邊對映到一個由頂點組成的有序對上（即一條邊被按順序關聯到兩個頂點）。 自環是指一條起點和終點相同的邊。前面的兩個定義都不允許自環，因為若節點 x 上有一個自環，則邊 xx 存在；但這樣的邊不在 xy mid xy in V2 wedge x neq y 中。因此，如果要允許自環，則上面的定義要做修改：對於有向簡單圖，E 的定義應該修改為 E subseteq xy mid xy in V2 ；對於有向多重圖，phi 的定義應該修改為 phi E to xy mid xy in V2 。為了避免定義不清，這樣的圖分別稱作允許自環的有向簡單圖或允許自環的有向多重圖。 在允許自環的有向簡單圖 G 中，邊是 V 上的一個 sim，稱作 G 上的鄰接關係。 對於頂點是 x 和 y 的邊 xy，我們說 x 和 y 是彼此鄰接的，記作 xsim y。 混合圖 邊既可以有向、也可以無向的圖稱作混合圖。混合簡單圖是一個多元組，而混合多重圖則是多元組，其中 V、E（無向邊集）、A（有向邊集）、ϕE、ϕA 的定義可以參考前面的無向圖和有向圖定義。在此定義下，有向圖和無向圖是混合圖的特殊情況。 賦權圖 賦權圖（，也稱加權圖、網路）是指每條邊都對應有一個數字（即 權重，）的圖。根據具體問題，權重可以表示諸如費用、長度或容量等意義。這樣的圖會出現在最短路徑問題和旅行商問題等問題中。 基本術語 子圖：對於圖 G 和圖 G，若 V Gsubseteq V G 且 E Gsubseteq E G，則稱 G 是 G 的子圖。 生成子圖：指滿足條件 V GV G 的 G 的子圖 G。 鏈 、軌跡 、路徑 ：鏈是頂點 v_i 和邊 e_i 交替出現的序列 Wv_i_0 e_i_0 v_i_1e_i_k v_i_k 稱作一個長度為 k 的鏈，其中 v_i_0 和 v_i_k 為其端點，其餘頂點為內部點。所有邊都不相同的鏈稱為軌跡（簡稱跡）。所有頂點都不相同的軌跡稱為路徑（簡稱路）。在有向圖中，若鏈（跡、路）的方向和其中每條邊的方向一致，則稱其為有向鏈（跡、路）。 兩端點相同的鏈和跡分別稱為閉鏈（或環，）、閉跡（或迴路，）。 距離（Distance）： 從頂點 u 出發到頂點 v 的最短路徑若存在，則此路徑的長度稱作從 u 到 v 的距離。 特殊的圖 正則圖 正則圖是指每個節點的鄰居數量都相同的圖，即每個節點的度都相同的圖。節點的度為 k 的正則圖也稱作 k 正則圖。 完全圖 完全圖是指每對節點之間都有一條邊相連的圖。一張完全圖包含簡單圖所有可能出現的邊。 有限圖 有限圖是指點集和邊集是有限集的圖。否則，則稱為無限圖。在不加說明的情況下，圖論中討論的圖大多是有限圖。 連通圖 在無向圖中，如果存在 x 和 y 之間的路徑，則稱此兩節點的無序對 x y 是連通的；否則，則稱此兩點是非聯通的。 連通圖是指每對節點都連通的無向圖。否則，則稱圖是非連通圖。 在有向圖中，如果存在 x 和 y 之間的有向路徑，則稱此兩節點的有序對 x y 是強連通的。此外，若將圖中的所有邊都換為無向邊，得到的無向圖中存在 x 和 y 之間的路徑，則稱此兩節點是弱連通的。否則，則稱此兩點是非聯通的。 強連通圖是指每對節點都強連通的有向圖。此外，弱連通圖是指每對節點都弱聯通的有向圖。否則，則稱圖是非連通圖。 對於一張圖，若不存在大小為的點集或邊集，使得從圖中移除該集合後，圖就變為非連通圖，則稱該圖是或。k 點連通圖通常也簡稱 k 連通圖。 二分圖 二分圖是指這樣的簡單圖：其點集可以被劃分稱兩個集合 W 和 X，其中 W 中的任意兩個節點之間沒有邊相連，X 中的任意兩個節點之間也沒有邊相連。二分圖是點著色色數為 2 的圖。 若一張圖的點集是兩個集合 W 和 X 的無交併，使得 W 中的任意節點都和 X 中的所有節點鄰接，且 W 或 X 之內沒有邊，則稱此圖是完全二分圖。 平面圖 平面圖是指可以將其節點和邊畫在平面上，而沒有兩邊相交的圖。 迴圈圖 階為的迴圈圖或環形圖是指其節點可以列為 v1 v2 vn，使得圖中的邊為 v_i v_i1，其中 i1 2 n 1，以及 v_n v_1。迴圈圖的另一種定義是所有點的度都為 2 的連通圖。如果迴圈圖是另一個圖的子圖，則它是那個圖中的一個環。 樹和森林 樹是指任意兩點之間都有且僅有一條路徑的無向圖。等價地，樹是一個連通無環無向圖。 森林是指任意兩點之間至多僅有一條路徑的無向圖。等價地，森林是一個無環無向圖，或一組樹的無交併。 其它特殊的圖 一些進階的特殊圖包括： 佩特森圖； ； 弦圖； 。 例子 右邊的圖示是一個點集為 V 1 2 3 4 5 6、邊集為 E 1 2 1 5 2 3 2 5 3 4 4 5 4 6 的圖。 在計算機科學中，有向圖可以用於表示、有限狀態自動機，以及其它許多資料結構。 任意集合 X 上的二元關係 R 都可定義一個有向圖。X 中的元素 x 到 y 有一條邊，當且僅當 xRy。 有向圖可以用於表示資訊網路。例如，在推特上，使用者之間的關注關係可以用有向圖表示。Pankaj Gupta Ashish Goel Jimmy Lin Aneesh Sharma Dong Wang and Reza Bosagh Zadeh WTF The whotofollow system at Twitter Proceedings of the 22nd international conference on World Wide Web 圖運算 圖上可以進行一些運算或變換，使一個圖變為另一個圖： 一元運算，將一個圖變換為另一個圖，例如： 邊收縮， 線圖， 對偶圖， 補圖； 二元運算，結合兩個圖為一個新圖，例如： ， 圖乘積，包括、、、圖的字典積等， 等。 圖的推廣 在超圖中，允許一條邊連線多於兩個節點。 無向圖可以看作是由 1 單純形（邊）和 0 單純形（節點）組成的單純復形。由此，復形成為圖的推廣，其中允許維度更高的單純形。 圖可以看作是一種擬陣。 在模型論中，圖是一個結構。這樣一來，邊的數量可以是任意基數。參見圖極限。 在計算生物學中，推廣了無向圖的定義。 在地理資訊系統中，為了進行道路網路或電網的時空分析而提出的的定義參考了圖，並借用了許多圖論的概念。 參見 圖 資料結構 圖論 圖資料庫 網路理論 參考資料 腳註 文獻 Introduction To Graph Theory by Gary Chartrand and Ping Zhang McGraw Hill 外部連結 T