資料結構-使用C語言412.1圖形的一些專有名詞.ppt

Chapter 12 圖形結構 12.1 圖形的一些專有名詞 12.2 圖形資料結構表示法 12.3 圖形追蹤 12.4 擴展樹 12.5 最短路徑 12.6 拓樸排序 12.7 臨界路徑法 12.1 圖形的一些專有名詞 12.1 圖形的一些專有名詞 頂點（vertex）：圖12-3的圓圈稱之。 邊（edge）：圖12-3每個頂點之間的連線稱之。 無方向圖形（undirected graph）在邊上沒有箭頭者稱之。 有方向圖形（directed graph）：在邊上有箭頭者稱之。 12.1 圖形的一些專有名詞 圖形（graph）：是由所有頂點和所有邊組合而成的，以G=(V, E)表示。 多重圖形（mutigraph）：假使兩個頂點間，有多條相同的邊此稱之為多重圖形，而不是圖形。 完整圖形（complete graph）：在n個頂點的無方向圖形中，假使有n(n-1)/2個邊稱之。 12.1 圖形的一些專有名詞 相鄰（adjacent）：在圖形的某一邊 (V1, V2) 中，我們稱頂點V1與頂點V2是相鄰的。 附著（incident）：我們稱頂點V1和頂點V2是相鄰，而邊 (V1, V2) 是附著在頂點V1與V2頂點上。 子圖（subgraph）：假使V(G)V(G)及E(G)E(G)，我們稱G是G的子圖。 12.1 圖形的一些專有名詞 12.1 圖形的一些專有名詞 路徑（path）：在圖形G中，從頂Vp到頂 點Vq的路徑是指一系列的頂點Vp, Vi1, Vi2..., Vin, Vq，其中(Vp, Vi1),(Vi1,Vi2)..., (Vin,Vq)是E(G)上的邊。 長度（length）：一條路徑上的長度是 指該路徑上所有邊的數目。 12.1 圖形的一些專有名詞 簡單路徑（simple path）：除了頭尾頂點之外，其餘的頂點皆在不相同的路徑上。 循環（cycle）：是指一條簡單路徑上，頭尾頂點皆有相同者稱之。 連通（connected）：在一個圖形G中，如果有一條路徑從V1到V2，那麼我們說 V1與V2是連通的。 12.1 圖形的一些專有名詞 圖12-4 G5不是連通的（因為g1與g2無法連接起來）。 12.1 圖形的一些專有名詞 連通單元（connected component）：或稱單元（component）是指該圖形中最大的連通子圖（maximum connected subgraph）如圖12-4之G5有兩個單元g1和g2。 緊密連通（strongly connected）：在一有方向圖形中如果V(G)中的每一對不同頂點Vi, Vj 各有一條從Vi到Vj及從Vj到Vi的有方向路徑者稱之。圖12-3 G3不是緊密連通，因為G3沒有V2到V1的路徑。 12.1 圖形的一些專有名詞 緊密連通單元（strongly connected component）：是指一個緊密連通最大子圖。如圖12-3 G3有兩個緊密連通單元。 分支度（degree）：附著在頂點的邊數。 內分支度（in-degree）：頂點V的內分支度是指以V為終點（即箭頭指向V）的邊數。 外分支度（out-degree）：頂點V的外分支度是以V為起點的邊數。 12.2 圖形資料結構表示法 相鄰矩陣（adjacent matrix） 相鄰矩陣乃是將圖形中的n個頂點（vertices），以一個n×n的二維矩陣來表示，其中每一元素Vij，若Vij = 1，表示圖形中Vi與Vj有一條邊為(Vi , Vj) 。Vij = 0表示頂點i與頂點j沒有邊存在。 12.2 圖形資料結構表示法 12.2 圖形資料結構表示法 因此相鄰矩陣是對稱性的，而且對角線皆為零，所以圖形中只需要儲存上三角形或下三角形即可，所需儲存空間為n(n-1)/2。 假若要求圖形中某一頂點相鄰邊的數目（即分支度），只要算算相鄰矩陣中某一列所有1之和或某一行所有1之和。 12.2 圖形資料結構表示法 而在有方向圖形的相鄰矩陣中，列之和表示頂點的外分支度，行之和表示頂點的內分支度。 12.2 圖形資料結構表示法 相鄰串列（adjacent list） 相鄰串列乃是將圖形中的每個頂點皆形成串列首，而在每個串列首的節點，表示它們之間有邊存在。 12.2 圖形資料結構表示法 12.2 圖形資料結構表示法 12.2 圖形資料結構表示法 從圖12-6 G1“知此圖形有4個頂點（因為有4個串列首），頂點2有3個邊（因為頂點2的串列首後有3個節點，分別節點1、節點3和節點4），餘此類推。 我們也可以從相鄰串列中得知某一頂點的分支度，由此頂點串列首後有n個節點便可計算出來。如圖12-6 G2中頂點2的分支度是3，因為以頂點2之串列首後有