图解资料结构.ppt

6-1 圖形簡介 圖形的定義 圖形是由「頂點」和「邊」所組成的集合，通常用G=(V,E)來表示，其中V是所有頂點所成的集合，而E代表所有邊所成的集合。 圖形的種類有兩種：一是無向圖形，一是有向圖形，無向圖形以(V1,V2)表示，有向圖形則以V1,V2表示其邊線。 6-1 圖形簡介 無向圖形 是一種具備同邊的兩個頂點沒有次序關係，例如(V1,V2)與(V2,V1)是代表相同的邊。如下圖所示： 6-1 圖形簡介 無向圖形的重要術語介紹： 完整圖形：在「無向圖形」中，N個頂點正好有N(N-1)/2條邊，則稱為「完整圖形」。如下圖所示： 路徑(Path)：對於從頂點Vi到頂點Vj的一條路徑，是指由所經過頂點所成的連續數列，如圖G中，V1到V5的路徑有{(V1,V2)、(V2, V5)}及{((V1,V2)、(V2,V3)、(V3,V4)、(V4,V5))等等。 6-1 圖形簡介 簡單路徑(Simple Path)：除了起點和終點可能相同外，其他經過的頂點都不同，在圖G中，(V1,V2)、(V2,V3)、(V3,V1)、(V1,V5)不是一條簡單路徑。 路徑長度(Path Length)：是指路徑上所包含邊的數目，在圖G中，(V1,V2)，(V2,V3)，(V3,V4)，(V4,V5)，是一條路徑，其長度為4，且為一簡單路徑。 循環(Cycle)：起始頂點及終止頂點為同一個點的簡單路徑稱為循環。如上圖G，{(V1,V2)，(V2,V4)，(V4,V5)，(V5,V3) ，(V3,V1)}起點及終點都是A，所以是一個循環。 6-1 圖形簡介 依附(Incident)：如果Vi與Vj相鄰，我們則稱(Vi,Vj)這個邊依附於頂點Vi及頂點Vj，或者依附於頂點V2的邊有(V1,V2)、(V2,V4)、(V2,V5) 、(V2,V3)。 子圖(Subgraph)：當我們稱G’為G的子圖時，必定存在V(G’) ?V(G)與E(G’) ?E(G)，如下圖是上圖G的子圖。 6-1 圖形簡介 相鄰(Adjacent)：如果(Vi,Vj)是E(G)中的一邊，則稱Vi與Vj相鄰。 相連單元(Connected Component)：在無向圖形中，相連在一起的最大子圖(Subgraph)，如圖G有2個相連單元。 分支度：在無向圖形中，一個頂點所擁有邊的總數為分支度。如上頁圖G，頂點1的分支度為4。 6-1 圖形簡介 有向圖形 是一種每一個邊都可使用有序對V1,V2來表示，並且V1,V2與V2,V1是表示兩個方向不同的邊，而所謂V1,V2，是指V1為尾端指向為頭部的V2　。如下圖所示： 6-1 圖形簡介 有向圖形的相關定義介紹： 完整圖形(Complete Graph)：具有n個頂點且恰好有n*(n-1)個邊的有向圖形，如下圖所示： 路徑(Path)：有向圖形中從頂點Vp到頂點Vq的路徑是指一串由頂點所組成的連續有向序列。 6-1 圖形簡介 強連接(Strongly Connected)：有向圖形中，如果每個相異的成對頂點Vi,Vj有直接路徑，同時，有另一條路徑從Vj到Vi，則稱此圖為強連接。如下圖： 強連接單元(Strongly Connected Component)：有向圖形中構成強連接的最大子圖，在下圖(a)中是強連接，但(b)就不是。 6-1 圖形簡介 出分支度(Out-degree)：是指有向圖形中，以頂點V為箭尾的邊數目。 入分支度(In-degree)：是指有向圖形中，以頂點V為箭頭的邊數目，如下圖中V4的入分支度為1，出分支度為0，V2的入分支度為4，出分支度為1 。 6-2 圖形的資料表示法 相鄰矩陣法 圖形A有n個頂點，以n*n的二維矩陣列表示。此矩陣的定義如下： 6-2 圖形的資料表示法 相關特性說明如下： 6-2 圖形的資料表示法 範例 請以相鄰矩陣表示右列無向圖： 由於上圖共有5個頂點，故使用5*5的二維陣列存放圖形。在上圖中，先找和①相鄰的頂點有那些，把和①相鄰的頂點座標填入1。 跟頂點1相鄰的有頂點2及頂點5，所以完成下表： 6-2 圖形的資料表示法 其他頂點依此類推可以得到相鄰矩陣： 對於有向圖形，則不一定是對稱矩陣。其中節點i的出分支度為 ，就是第i列所有元素1的和，而 入分支度為 ，就是第j行所有元素1的和。例如下列有向圖的相鄰矩陣法： 6-2 圖形的資料表示法 無向/有向圖形的6*6相鄰矩陣C演算法如下： 6-2 圖形的資料表示法 範例 6.2.1 假設有一無向圖形各邊的起點值及終點值如下陣列： 試輸出此圖形的相鄰矩陣。 6-2 圖形的資料表示法 範例 6.2.2 假設有一有向