圖的定義與術語

圖的基本定義（非嚴謹）

圖：圖 \(G\) 是由兩個集合 \(V(G)\) 和 \(E(G)\) 組成的，記為 \(G = (V,E)\)。其中，\(V(G)\) 是頂點的非空有限集，\(E(G)\) 是邊的有限集合，邊是頂點的有序對或無序對。

圖的分類：有向圖與無向圖。

有向圖：有向圖 \(G\) 是由兩個集合 \(V(G)\) 和 \(E(G)\) 組成的。其中，\(V(G)\) 是頂點的非空有限集，\(E(G)\) 是有向邊（也稱弧）的有限集合，弧是頂點的有序對，記為 \(<v,w>\)，\(v\)、\(w\) 是頂點，\(v\) 為弧尾，\(w\) 為弧頭。

無向圖：無向圖 \(G\) 是由兩個集合 \(V(G)\) 和 \(E(G)\) 組成的。其中，\(V(G)\) 是頂點的非空有限集，\(E(G)\) 是邊的有限集合，邊是頂點的無序對，記為 \((v,w)\) 或 \((w,v)\) 並且視為 \((v,w)=(w,v)\)。

圖的基本術語（非嚴謹）

鄰接點：邊的兩個頂點。

關聯邊：若邊 \(e=(v,u)\)，則稱頂點 \(v,u\) 關聯邊 \(e\)。