圖的邏輯結構特征就是其結點(頂點)的前趨和后繼的個數都是沒有限制的，即任意兩個結點之間之間都可能相關。
圖GraphG=(V,E)，V是頂點的有窮非空集合，E是頂點偶對的有窮集。
有向圖Digraph：每條邊有方向；無向圖Undigraph：每條邊沒有方向。
有向完全圖：具有n*(n-1)條邊的有向圖；無向完全圖：具有n*(n-1)/2條邊的無向圖；
有根圖：有一個頂點有路徑到達其它頂點的有向圖；簡單路徑：是經過頂點不同的路徑；簡單回路是開始和終端重合的簡單路徑；
網絡：是帶權的圖。
圖的存儲結構：·鄰接矩陣表示法：用一個n階方陣來表示圖的結構是唯一的，適合稠密圖。·無向圖：鄰接矩陣是對稱的。
·有向圖：行是出度，列是入度。
建立鄰接矩陣算法的時間是O(n+n^2+e),其時間復雜度為O(n^2)
·鄰接表表示法：用頂點表和鄰接表構成不是唯一的，適合稀疏圖。·頂點表結構vertex|firstedge，指針域存放鄰接表頭指針。
·鄰接表：用頭指針確定。·無向圖稱邊表；
·有向圖又分出邊表和逆鄰接表；
·鄰接表結點結構為adjvex|next，
時間復雜度為O(n+e).，空間復雜度為O(n+e).。
圖的遍歷：·深度優先遍歷：借助于鄰接矩陣的列。使用棧保存已訪問結點。
·廣度優先遍歷：借助于鄰接矩陣的行。使用隊列保存已訪問結點。
生成樹的定義：若從圖的某個頂點出發，可以系統地訪問到圖中所有頂點，則遍歷時經過的邊和圖的所有頂點所構成的子圖稱作該圖的生
成樹。
最小生成樹：圖的生成樹不唯一，從不同的頂點出發可得到不同的生成樹，把權值最小的生成樹稱為最小生成樹(MST)。
構造最小生成樹的算法：·Prim算法的時間復雜度為O(n^2)與邊數無關適于稠密圖。
·Kruskal算法的時間復雜度為O(lge),主要取決于邊數，較適合于稀疏圖。
最短路徑的算法：·Dijkstra算法，時間復雜度為O(n^2).·類似于prim算法。
拓撲排序：是將有向無環圖G中所有頂點排成一個線性序列，若∈E(G)，則在線性序列u在v之前，這種線性序列稱為拓撲序列。
拓撲排序也有兩種方法：·無前趨的頂點優先，每次輸出一個無前趨的結點并刪去此結點及其出邊，最后得到的序列即拓撲序列。
·無后繼的結點優先：每次輸出一個無后繼的結點并刪去此結點及其入邊，最后得到的序列是逆拓撲序列。