资料结构与演算法.pptVIP

資料結構與演算法 課程教學投影片 第十二章–圖形 本章各段大綱 12-1 圖形結構 12-2 圖形的資料結構 12-3 圖形的走訪 12-4 擴張樹和最小成本擴張樹 12-5 最短路徑問題 12-6 拓樸排序 12-1 圖形結構 圖形結構類似於樹狀結構，樹狀結構主要是以階層為特性，節點的佈局是由上而下的關係，而圖形則沒有如樹的階層關係，且每個點之間，都可以相互連結。 圖形結構的基本定義： 頂點（Vertix）：如同樹狀結構的節點，它是圖形中的點，一般以V為代表符號。 邊（Edge）：如同樹狀結構的連結線，它是圖形中兩頂點之間的連線，一般以E為代表符號。也有人稱邊為孤線（Arc）。 方向性：邊可以分為有方向性（directed）和無方向性（undirected）兩種，有方向性的邊稱為有向邊，無方向性的邊稱為無向邊；同理有方向性的圖形稱為有向圖，無方向性的圖稱為無向圖。 迴圈：一個頂點有一個邊連結到它自己。 平行：如果一個頂點連結到其他節點的無向邊或有向邊不只一條時，這種圖形稱為多邊圖（multigraph）。 兩頂點之間最多有1條線，3個頂點間最多有3條線，其實n個頂點之間最多有n (n-1)/2條邊。 範例1:證明有n個頂點的圖形，最多有n(n-1)/2無向邊。 (1) n個頂點之中的任兩個頂點都有邊時，其邊數最大問題相當於n個頂點中，任何兩個頂點的組合數共有多少個，此問題以數學的組合公式可得 (2)可以用遞迴的想法來證明，假設只有1個頂點時，沒有邊，有2個頂點時（即加入1個新頂點）會增加1條邊（即原有的頂點數），所以2個頂點時有1條邊。 當加入第3頂點時，則此頂點可和原先的2頂點相連，可再增加2條邊，所以總共有3條邊。 以數學遞迴公式表示：E(n)=k，n代表n個頂點，k代表k條邊 E(1)=0 E(2)=E(1)+1=1 E(3)=E(2)+(3-1)=1+2=3 … 所以E(n)=E(n-1)+(n-1) 求E(n)=E(n-1)+(n-1) =E(n-2)+(n-2)+(n-1) =E(n-3)+(n-3)+(n-2)+(n-1) … =E(1)+1+2+…+(n-2)+(n-1) =0+1+…+(n-2)+(n-1) = n(n-1)/2 得證 12-1 圖形結構 在頂點與頂點之間尚有以下的定義： 相鄰（adjacent）：如果兩個頂點（U和V）之間有邊相連，則稱這兩個頂點相鄰，此邊可用（U,V）表示。如果是有向圖，則邊有方向性要考慮，如果由U連結到 V，稱U相鄰到V，以（U,V）表示。如果由V連結到U，稱U從V相鄰，以＜U,V＞表示。 分支度：在無向圖中，頂點U上的總邊數稱為U的分支度（degree）。在有向圖中，頂點U連結到別的頂點的邊數，稱為向外分支度（out-degree）；頂點U被所有頂點連結的邊數稱為向內分支度。 總分支度：無向圖中總有頂點分支度的總和稱為總分支度，同理有向圖中有向內總分支度和向外總分支度。 子圖：只取用原圖形的部分頂點和部分邊，但不能有不屬於原圖形的頂點或邊，則此圖形稱為原圖形的子圖，如下圖。 路徑（path）：一條由頂點U連結到頂點V，所經過頂點V1、V2、…、Vn的路線稱為路徑，以U-V1-V2…-Vn-V表示，此條路徑所經過的邊數稱為路徑長度（length）。 簡單路徑（simple path）：除了頂點和終點之外，其他的頂點皆不同的路徑，稱為簡單路徑。 迴路（cycle）：起點和終點相同的簡單路徑。 相連圖形（connected graph）：圖形中的任何兩個頂點皆有路徑相連。 相連子圖（connected component）：圖形中最大的相連圖。 強固相連（strongly connected）：在一有向圖中，任意兩頂點之間都有路徑可相連。 無迴路圖形（acyclic graph）：不存在迴路（cycle）的圖形。例如樹即是一個相連圖形，無迴路圖形。 12-1 圖形結構 加權重圖形 先前介紹的圖形只有無向邊和有向邊表示頂點之間的連線關係，但有些問題（例如最短路徑問題）除了要記錄頂點之間的連結關係，還需記錄其他的資料（例如成本、路徑長、資料量等），此資料一般稱為權重（weight）。一般是將這些資料標記在邊上，一個有標示權重的圖形稱為「加權重圖形」（weighted edges graph），如下圖。 12-2 圖形的資料結構 鄰接陣列表示法 因為圖形是一個平面的關係，任何兩頂點之間皆可能有邊相連，所以可以用二維陣列來表示圖形結構，此二維陣列稱為鄰接陣列（adjacency matrix）。 12-2 圖形的資料結構 由上圖知鄰接矩陣是由