40 98 拓朴排序.pptVIP

第九章 圖形結構 目次 9.1 圖形的一些專有名詞 9.2 圖形資料結構表示法 9.3 圖形追蹤 9.4 擴展樹 9.5 最短路徑 9.6 含有負的路徑權重 9.7 任兩點間的最短路徑 9.8 拓樸排序 9.9 臨界路徑 9.10 動動腦時間 9.11 練習題解答 9.0 圖學理論(graph theory) 尤拉問題：是否可以從某城市開始走，然後走遍全部的橋，再回到原先的起始城市？ 9.0 名詞解釋 — 圖(b) 圓圈為「頂點」(vertex) 連線為「分支度」(degree)；Ex：節點c的分支度為5 假使尤拉問題要能成立的話，必須每個頂點具備偶數的分支度方可，此稱為尤拉循環(Eulerian cycle) Ex： 9.1 圖形的一些專有名詞 Ex： 名詞解釋 頂點(vertex)：圖中的圓圈 邊(edge)：每個頂點之間的連線 無方向圖形(undirected graph)：在邊上沒有箭頭者，如圖G1、G2 有方向圖形(directed graph)：在邊上有箭頭者，如圖G3 9.1 圖形的一些專有名詞 (con.t) 圖形 (graph) 是由所有頂點和所有邊組合而成的，以G=(V, E)表示 在無方向圖形中(V1, V2)和(V2, V1)代表相同的邊，但在有方向圖形中V1, V2和V2, V1是不一樣的邊 Ex：V(G1)={1, 2, 3, 4}； E(G1)={(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)}； V(G3)={1, 2, 3}； E(G3)={1, 2, 2, 3, 3, 2}；(有方向圖形) 9.1 圖形的一些專有名詞 (con.t) 多重圖形(multigraph)：假使兩個頂點間，有多條相同的邊，此稱之為多重圖形，而不是圖形。如圖G4 完整圖形(complete graph)：在 n 個頂點的無方向圖形中，假使有n(n–1)/2個邊稱之，如圖G1 相鄰(adjacent) 在圖形的某一邊(V1, V2)，我們稱頂點V1與頂點V2是相鄰 有方向圖形中稱V1, V2為V1是adjacent toV2或V2是adjacent from V1 附著(incident)：我們稱頂點V1頂點V2是相鄰，而邊(V1, V2)是附著在頂點V1與頂點V2上。圖G3中附著在頂點V2的邊有1, 2, 2, 3及3, 2 9.1 圖形的一些專有名詞 (con.t) 子圖(subgraph)：假使V(G‘) V(G)及E(G’) E(G)，則稱G‘是G的子圖，如下圖都是G1的子圖 路徑(path) 在圖形中G中，從頂點Vp到頂點Vq的路徑是指一系列的頂點Vp, Vi1, Vi2, ……, Vin, Vq，其中(Vp, Vi1), (Vi1, Vi2), ……, (Vin, Vq)是E(G)上的邊 假若G是有方向圖形，則Vp, Vi1, Vi1, Vi2, ……, Vin, Vq是E(G)上的邊，故一個路徑是由一個邊或一個以上的邊所成 9.1 圖形的一些專有名詞 (con.t) 長度(length)：路徑長度是指該路徑上所有邊的數目 簡單路徑(simple path)：除了頭尾頂點之外，其餘的頂點皆在不相同的路徑上 G1的兩條路徑1, 2, 4, 3和1, 2, 4, 2，其長度皆為3，但前者是簡單路徑，而後者不是簡單路徑 循環(cycle)：是指在一條簡單路徑上，頭尾頂點皆有相同者稱之，如G1的1, 2, 3, 1或G3的1, 2, 1 9.1 圖形的一些專有名詞 (con.t) 連通(connected)：在一個圖形G中，如果有一條路徑從V1至V2，則V1與V2是連通的，圖G5就不是連通的 連通單元(connected component)：或稱單元(component)，是指該圖形中最大的連通子圖(maximal connected subgraph)，如G5有兩個單元g1、g2 9.1 圖形的一些專有名詞 (con.t) 緊密連通(strongly connected) 在一有方向圖形中如果V(G)中的每一對不同頂點Vi, Vj各有一條從Vi至Vj及從Vj至Vi的有向路徑者稱之 G3不是緊密連通，因為G3沒有V2至V1的路徑 緊密連通單元(strongly connected component)：是指一個緊密連通最大子圖。如圖G3有兩個緊密連通單元 9.1 圖形的一些專有名詞 (con.t) 分支度(degree)：附著在頂點的邊數。如圖G1的頂點1其分支度為3。若為有方向圖形