一、圖（Graph）是由頂點的有窮非空集合和頂點之間邊的集合組成，通常表示為：G（V，E），其中，G表示一個圖，V是圖G中頂點的集合，E是圖G中邊的集合。在圖中的數據元素，我們稱之為頂點（Vertex），頂點集合有窮非空。在圖中，任意兩個頂點之間都可能有關系，頂點之間的邏輯關系用邊來表示，邊集可以是空的。

二、圖按照有無方向分為無向圖和有向圖。無向圖由頂點和邊組成，有向圖由頂點和弧構成。弧有弧尾和弧頭之分，帶箭頭一端為弧頭。

三、圖按照邊或弧的多少分稀疏圖和稠密圖。如果任意兩個頂點之間都存在邊叫做完全圖，有向的叫有向完全圖。若無重復的邊或頂點到自身的邊則叫簡單圖。

四、圖中頂點之間有鄰接點、依附的概念。無向圖頂點的邊數叫做度。有向圖頂點分為入度和出度。

五、圖上的邊或弧帶有權則稱為網。

六、圖中頂點間存在路徑，兩頂點存在路徑則說明是連通的，如果路徑最終回到起始點則稱為環，當中不重復的叫簡單路徑。若任意兩頂點都是連通的，則圖就是連通圖，有向則稱為強連通圖。圖中有子圖，若子圖極大連通則就是連通分量，有向的則稱為強連通分量。

七、無向圖中連通且n個頂點n-1條邊稱為生成樹。有向圖中一頂點入度為0其余頂點入度為1的叫有向樹。一個有向圖由若幹棵有向樹構成生成森林。

圖 - 定義和術語總結