拓朴排序拓朴排序演算法.PPT

第8章 圖形結構（Graphs） 8-1 圖形的基本觀念 8-2 圖形的表示法 8-3 圖形的走訪 8-4 擴張樹 8-5 圖形的應用 - 最短路徑 8-6 圖形的應用 - 拓樸排序 8-1 圖形的基本觀念-說明 在日常生活中，我們常常將複雜觀念或問題使用圖形來表達，例如：在進行系統分析、電路分析、電話佈線和企劃分析等。因為圖形化可以讓人更容易了解，所以「圖形」（Graph）是資料結構一種十分重要的結構。例如：城市之間的公路圖，如下圖所示： 8-1 圖形的基本觀念-定義 圖形是由有限的頂點和邊線集合所組成，其定義如下所示： 定義 8.1：圖形G是由V和E兩個集合組成，寫成： G = ( V, E ) V：「頂點」（Vertices）組成的有限非空集合。 E：「邊線」（Edges）組成的有限集合，這是成對的頂點集合。 圖形通常使用圓圈代表頂點，頂點之間的連線是邊線。 8-1 圖形的基本觀念-圖例 圖形通常使用圓圈代表頂點，頂點之間的連線是邊線。例如：上述公路圖繪成的圖形G1和另一個樹狀圖形G2，如下圖所示： 8-1 圖形的基本觀念-表示法 圖形一共擁有5個頂點V1、V2、…、V5，V(G1)是圖形G1的頂點集合，V(G2)是圖形G2，如下所示： V(G1) = { V1, V2, V3, V4, V5 } V(G2) = { V1, V2, V3, V4, V5 } 圖形G1頂點和頂點之間的邊線有6條，G2有4條，E(G1)是圖形G1的邊線集合，E(G2)是圖形G2，如下所示： E(G1) = { (V1,V2),(V1,V3),(V2,V3),(V2,V4),(V3,V5),(V4,V5) } E(G2) = { (V1,V2),(V1,V3),(V2,V4),(V2,V5) } 上述邊線是使用括號括起的兩個頂點，例如：(V1,V2)表示從頂點V1到V2存在一條邊線。 8-1 圖形的基本觀念-圖形種類 圖形是由頂點和邊線所組成，依邊線集合E(G)中頂點是否擁有順序性，可以分為兩種，如下所示： 無方向性圖形（Undirected Graph）：圖形的邊線沒有標示方向的箭頭，邊線只代表頂點間是相連的。例如：圖形G1和G2是無方向性圖形，所以(V1,V2)和(V2,V1)代表同一條邊線。 方向性圖形（Directed Graph）：在圖形的邊線加上箭號標示頂點間的順序性。 8-1 圖形的基本觀念-方向性圖形 例如：圖形G3是方向性圖形，G3圖形的頂點和邊線集合V(G3)、E(G3)，如下所示： V(G3)={ V1, V2, V3, V4, V5 } E(G3)={ V1,V2,V1,V3,V2,V3,V3,V2,V2,V4,V4,V5,V5,V3 } 8-1 圖形的基本觀念-圖形術語1 完整圖形（Complete Graph）：一個n頂點的無方向性圖形擁有n(n-1)/2條邊線，例如：4頂點的完整圖形G4擁有6條邊線，如下圖所示： 子圖（Subgraph）：圖形G的子圖G’，是指G的頂點包含或等於G’的頂點，G的邊線包含或等於G’的邊線，例如：G5和G6是G4的子圖。 8-1 圖形的基本觀念-圖形術語2 相連圖形（Connected Graph）：圖形內任何兩個頂點都有路徑相連結。例如：圖形G1、G2、G3、G4、G5和G6是相連圖形。 不相連圖形（Disconnected Graph）：圖形內至少有兩個頂點間是沒有路徑相連的。例如：圖形G7的頂點3，如下圖所示： 8-1 圖形的基本觀念-圖形術語3 簡單路徑（Simple Directed Path）：除了第1個和最後1個頂點可以相同外，其它位在路徑上的頂點都不相同。例如：圖形G7的路徑V5,V2、V2,V1，寫成：5,2,1是簡單路徑，路徑5,2,1,4,2,1就不是簡單路徑。 循環（Cycle）：屬於簡單路徑的一種特例，也就是第1個和最後1個頂點是同一個頂點的路徑。例如：圖形G7的路徑5,2,4,5，第1個和最後1個頂點都是5。 8-1 圖形的基本觀念-圖形術語4 鄰接（Adjacent）：如果兩個頂點間擁有一條邊線連結，則這兩個頂點稱為鄰接。 內分支度（In-degree）：指某頂點擁有箭頭的邊線數。例如：圖形G7頂點1的內分支度是1，頂點2的內分支度是2。 外分支度（Out-degree）：與內分支度相反，指某頂點擁有尾端（非箭頭端）的邊線數。例如：圖形G7頂點1和5的外分支度都是1。 8-2 圖形的表示法 8-2-1 鄰接矩陣表示法 8-2-2 鄰接串列表示法 8-2 圖形的表示法 圖形結構可以使用多種方法來實作，常用的方法有二種，如下所示： 鄰接矩陣表示法（Adjacency Matrix）。 鄰接串列表示法（Adjacency Lists）。 8