图的定义
图G由顶点集V和边集E组成,记为 G = (V, E),其中 V(G) 表示图G中顶点的有限非空集;E(G) 表示图G中顶点之间的关系(边)集合。若 V = {v1, v2, … , vn},则用|V|表示图G中顶点的个数,也称图G的阶,E = {(u, v) | u∈V, v∈V},用|E|表示图G中边的条数。
注意:线性表可以是空表,树可以是空树,但图不可以是空,即V一定是非空集。
无向图
若 E 是无向边(简称边)的有限集合时,则图G为无向图。边是顶点的无序对,记为 (v, w) 或 (w, v),因为 (v, w) = (w, v),其中 v、w 是顶点。可以说顶点 w 和顶点 v 互为邻接点。边 (v, w) 依附于顶点 w 和 v,或者说边 (v, w) 和顶点 v、w 相关联。
G2 = (V2, E2)
V2 = {A, B, C, D, E}
E2 = {(A, B), (B, D), (B, E), (C, D), (C, E), (D, E)}
有向图
若 E 是有向边(也称弧)的有限集合时,则图G为有向图。弧是顶点的有序对,记为 <v, w>,其中 v、w 是顶点,v 称为弧尾,w 称为弧头,<v, w> 称为从顶点v到顶点 w 的弧,也称 v 邻接到 w,或w邻接自 v。 <v, w> ≠ <w, v>
简单图
一个图G若满足:①不存在重复边;②不存在顶点到自身的边