图的定义 图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可以为空,此时图中只有顶点而没有边。 图逻辑结构的应用