圖
前面學到的數據結構都是一對一，一對多的。
一對一比如單鏈表，一對多比如樹。
這次考慮一種更復雜，多對多的，卻也跟我們息息相關的數據結構，圖。
圖（Graph）：是由頂點的有窮非空集合和頂點之間的邊的集合組成。通常表示爲：G（V，E），其中，G表示一個圖，V是頂點集合，E是邊集合。
無向邊：若頂點v1到頂點v2之間沒有方向，則稱這條邊爲無向邊。用無序偶對（v1,v2）來表示。
無向圖：若圖中任意兩頂點之間的邊都是無向的，則稱該圖爲無向圖。
有向邊：若從頂點v1到頂點v2的邊有方向，則稱這條邊爲有向邊，也稱爲弧。用有序偶對<v1,v2>來表示。
有向圖：若圖中任意兩頂點之間的邊都是有向的，則稱該圖爲有向圖。
ps：注意區分<v1,v2>和<v2,v1>
簡單圖：在圖中，若不存在頂點到其自身的邊，且同一條邊不重複出現，
則稱之爲簡單圖。
無向完全圖：在無向圖中，如果任意兩個頂點之間都存在邊，則稱該圖爲無向完全圖。
有向完全圖：在有向圖中，如果任意兩個頂點之間都存在方向互爲相反的兩條弧，則稱該圖爲有向完全圖。
稀疏圖，稠密圖：很少條邊或弧的圖稱爲稀疏圖，反之稱爲稠密圖。也就是說，這是個相對概念。
權（Weight）：一種與圖的邊或弧相關的數字。其意義可以體現爲距離，耗費等。
網（Network）：帶權的圖通常稱爲網。
子圖（Subgraph）：如果圖G’的所有頂點和邊都是另一個圖G的子集，則稱G’是G的子圖。
度（Degree）：頂點v的度是和v存在邊的頂點的個數。
入度，出度：在有向圖中，依附於頂點v的，以v爲頭的弧的數目稱爲v的入度，以v爲尾的弧的數目稱爲v的出度。
路徑：一個頂點序列。路徑的長度是路徑上邊或弧的數目。
迴路：第一個頂點和最後一個頂點相同的路徑稱爲迴路，或環。
簡單路徑：序列中頂點不重複出現的路徑稱爲簡單路徑。
簡單迴路：除第一個和最後一個頂點外，其餘頂點不重複出現的迴路，稱爲簡單迴路，或簡單環。
連通圖：在無向圖中，如果從頂點v1到頂點v2有路徑，則稱v1和v2是連通的。如果一個無向圖G中，任意兩個頂點都是連通的，則稱G是連通圖。
連通分量：無向圖中的極大連通子圖。它含有極大頂點數。包含依附於這些頂點的所有邊。
強連通圖：在有向圖G中，任意兩個不同的頂點v1和v2，從v1到v2和從v2到v1都存在路徑，則稱G是強連通圖。
強連通分量：有向圖中的極大強連通子圖，稱作有向圖的強連通分量。
生成樹：一個連通圖的生成樹是一個極小的連通子圖，它含有圖中的全部的n個頂點，但只有足以構成一棵樹的n-1條邊。（即不存在環）
有向樹：如果一個有向圖恰有一個頂點的入度爲0，其餘頂點的入度均爲1，則是一顆有向樹。
生成森林：一個有向圖的生成森林由若干棵有向樹組成，含有圖中的全部定點，但只有足以構成若干棵不相交的有向樹的弧。