ch06图形结构.ppt

第六章圖形（Graph）結構 6-1 圖形的基本概念 6-2 圖形的表示法 6-3 圖形的追蹤 6-4 擴張樹 6-5 圖形最短路徑 6-6 AOV 網路與拓樸排序 6-1　圖形的基本概念 圖形結構是一種探討兩個頂點間是否相連的一種關係圖， 在圖形中連接兩頂點的邊若填上加權值( 也可以稱為花費值) ， 這類圖形就稱為「網路」。 圖形除了被活用在資料結構中最短路徑搜尋、拓樸排序外，還能應用在系統分析中以時間為評核標準的計劃評核術(Performance Evaluation and Review Technique, PERT)，它是一種將系統作業流程依進行的優先順序繪製成網路， 來追蹤工作進度的評核工具。 6-1-1　認識圖形的起源 問題的由來： 1736年數學家Euler利用圖形來解決古典的Koenigsberg橋樑問題。 何謂Koenigsberg橋樑問題： 在Koenigsberg，有一條prgal河，河中有Kneiphof島。在圖中以此河為界有4塊土地。這些分隔的士地以a至g七條橋相互連結，而土地部份以A到D來標記，而七橋問題就是判斷從其中一區域出發。是否有可能通過所有的橋而且只經過一次，最後再回到原出發點。 Euler定義一個頂點（Vertex）的分支度為附著於其上的邊。 而後他證明了若且唯若每一個頂點的度數為偶數則存在一種走法，從某一點出發，而能經過每一個邊最後回到原點的充要條件的走法之為尤拉走法（Eulerian Walk or Eulerian Cycle）。 從某一點出發，而能經過每一個邊，不一動要回到起點的充要條件的走法之為尤拉鍊（Eulerian Chain）。僅允許有兩個頂點的分支度為奇數。其餘頂點分支度均為偶數。 6-1-2　圖形專業術語的介紹（Terminology） 圖形(graph)是由頂點(vertice)和邊(edge)所組成，以G=(V,E)來表示；其中V 為所有頂點的集合， E 為所有邊的集合。 圖形分為兩類： 無向圖（Undirected Graph）： V={A,B,C,D,E} E={(A,B) ,(A,E) ,(B,C),(B,D),(C,D),(C,E),(D,E)} 邊是沒有方向性的，沒有方向性的邊以( ) 表示 (A,B)=(B,A) 有向圖（Directed Graph）： V={A,B,C,D,E} E={A,B,B,C,C,D,C,E,E,D,D,B} 邊都是有方向性，以 來表示 A,B≠B,A 〈頭部，尾部〉 完整圖形（Complete Graph） 假設圖形G有N個頂點。 無向圖形中，完整圖共有N(N-1)/2個邊。 有向圖形中，完整圖共有N(N-1)個邊。 子圖（Subgraph） G’如果為G的子圖，必須滿足： G與G均G的子圖，但是G不為G的子圖。 路徑（Path） 路徑：兩個不同頂點間所經過的邊稱為路徑，如圖G ， A 到E 的路徑有{(A,B), (B,E)}及{(A,B),(B,C),(C,D),(D,E)}等等。 路徑長度： 路徑上所包含邊的總數為路徑長度。 簡單路徑（Simple Path） 簡單路徑：除了起點和終點可能同一個頂點外，路徑上所經過的頂點均不同，也就是說路徑沒有重疊，就稱為簡單路徑。 循環（Cycle） 循環：起始頂點及終止頂點為同一個點的簡單路徑稱為循環。如上圖G ，{(A,B),(B,D),(D,E),(E,C),(C,A)}起點及終點都是A ，所以是 一個循環路徑。 相連（Connected）與強相連（Strongly Connected） 相連：在無向圖形中，若頂點Vi 到頂點Vj 間存在路徑，則Vi 和Vj是相連的。 強相連：在有向圖形中，若頂點Vi 到頂點Vj 間存在路徑及頂點Vj 到頂點Vi 間存在路徑，則Vi 和Vj是強相連的。 相連圖形：如果圖形G 中，任兩個頂點均為相連，則此圖形稱為相連圖形， 否則稱為非相連圖形。 相連單元（Connected Component） 相連單元：圖形中相連在一起的最大子圖總數。如下圖可以看做是2個相連單元： 分支度（degree）與入／出分支度（in degree/out degree） 分支度：在無向圖形中，一個頂點所擁有邊的總數為分支度。如圖G ， A 頂點的分支度為4 。 入／出分支度：在有向圖形中，以頂點V 為箭頭終點的邊之個數為入分支度，反之由V 出發的箭頭總數為出分支度。如圖，A 的入支度為1 ，出分支度為3 。 6-1-3　認識特殊的圖形 複線圖(multigraph) 圖形中任意兩頂點只能有一條邊， 如果兩頂點間相同的邊有2 條以上( 含2 條) ，則稱它為複線圖，以圖形嚴格的定義來說，複線圖應該不能稱為一種圖形。請看下圖： bipar