关于杨正宏 编著全华科技图书股份有限公司 印行.pptVIP

楊正宏 編著 全華科技圖書股份有限公司 印行 第八章 圖 形(1/2) 8-1 前言 8-2 圖形的基本觀念 8-3 圖形的資料表示法 8-3-1 相鄰矩陣(Adjacency Matrix) 8-3-2 相鄰串列(Adjacency List) 8-3-3 相鄰多重串列(Adjacency Multilist) 8-3-4 索引表格法(Indexed Table) 第八章 圖 形(2/2) 8-4 圖形的追蹤(Graph Traversal) 8-5 擴張樹(Spanning Tree) 8-6 拓樸排序(Topological Sorting) 8-7 最短路徑(Shortest Path) 前言(1/3) 圖形結構提供了簡單的方式來描述一個問題、系統、或狀況等。 與樹狀結構最大的差異是樹狀結構是描述節點與節點之間層次的關係。 瑞士的數學家尤拉(Euler) 解決Koenigsberg bridge problem，這就是著名的七橋問題。 前言(2/3) 前言(3/3) 尤拉迴路(Eulerian cycle) 跨越七座橋去拜訪4個城市，而每座橋只能經過一次。尤拉(Euler)證明七橋問題是永遠無解。 邊(Edge)代表各橋，以節點(Vertices)代表4個城市。 圖形的基本觀念 一個圖形(graph)係由有限個節點(Vertices)的集合(V)及節點與節點間相連接邊(Edges)之集合(E)組合而成，我們可以將圖形表為G=(V, E)。 四種圖形結構： 無方向圖形(undirected graph, 簡稱graph) 有方向圖形(directed graph, 簡稱digraph) 相連圖形(connected graph) 不相連圖形(disconnected graph) 無方向圖形(1/9) 無方向圖形(2/9) 重要術語 完整圖形(Complete graph)： 具有n個頂點的無方向圖形，若共有〝n(n-1)/2〞條邊，則稱此無方向圖形為完整圖形(Complete graph)，如圖8-2.1。 相鄰(Adjacent)： 在圖形的某一邊(V1, V2)中我們稱頂點V1與頂點V2是相鄰的。但在有方向圖形中稱V1, V2為V1是adjacent to V2或V2是adjacent from V1，如圖8-2.1中V1與V2是adjacent，圖8-2.3中V2與V3也是。 附著(Incident)： 我們稱邊(V1, V2)附著在頂點V1與頂點V2上。我們可發現在圖8-2.3中附著在頂點2的edge有1, 2, 2, 1及2, 3。 無方向圖形(3/9) 重要術語 子圖(Subgraph)： G的〝子圖(Subgraph)〞是一個圖G‘，有V(G‘) ≦ V(G)和E(G‘)≦E(G)兩個性質。 路徑(Path)： 圖形中從頂點Vp到頂點Vq的一條路徑是指一串由頂點所成的連續序列Vp, Vi1, Vi2, ..., Vin，Vq其中(Vp, Vi1)，(Vi1, Vi2)….，(Vin, Vq)都是E(G)上的邊。例如：我們將路徑(1, 2)， (2, 4)， (4, 3)寫成1, 2, 3, 4。在圖8-2.1上的兩條路徑，1, 2, 4, 3與1, 3, 4, 2其長度為3。 路徑長度(Path length)： 指路徑上所包含邊的數目稱之為路徑的長度。 無方向圖形(4/9) 重要術語 簡單路徑(Simple path)： 指路徑上除了起點和終點可能相同外，其他的頂點都是不同的。例如：圖8-2.1的1, 2, 4, 3是一條簡單路徑。 循環(Cycle)： 循環(cycle)是一個簡單路徑，其起點與終點為同一個頂點。 連通(Connected)： 無方向圖形中，若從V1到V2有路徑可通，則稱頂點V1和頂點V2是相連的。如果每個的成對頂點Vi, Vj都有路徑由Vi通到Vj,則稱圖形是相連的。 連通單元(Connected component)： 或稱單元(Component)，是指該圖形中最大的連通子圖(maximal connected subgraph)，如下圖8-2.4和圖8-2.5。 無方向圖形(5/9) 無方向圖形(6/9) 無方向圖形(7/9) 圖8-2.6是一個完整圖形。 圖8-2.6中V1與V2是相鄰，圖8-2.8中V4與V5是相鄰。 圖8-2.7中邊(V2, V4)是附著於V2和V4。 圖8-2.9中邊(V2, V3)是附著於V2和V3。 圖8-2.6中(V1, V2)，(V2, V3)，(V3,V4)，(V4, V5)，(V5, V1)是一條路徑。 圖8-2.6中(V1, V2