《数据结构》：06图

图的定义

图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若满足：①不存在重复边；②不存在顶点到自身的边，则称图G为简单图。

多重图

若图G中某两个结点之间的边数多于一条，又允许顶点通过同一条边和自己关联，则G为多重图。