图是由顶点的有穷非空集合和顶点之间边的集合组成的，通常表示为：G（V，E），其中，G表示一个图，V是图G中顶点的集合（顶点集不能为空），E是图G中边的集合（边集可以为空）。

图7－1分别给出了一个有向图和一个无向图的示例，分别包含若干条边和顶点。

在图G1中，顶点集合：V（G1）＝｛1，2，3，4，5，6｝，边集合：E（G1）＝｛＜1，2＞，＜2，1＞，＜2，3＞，＜2，4＞，＜3，5＞，＜5，6＞，＜6，3＞｝。

图7－1 有向图和无向图

在图G2中，顶点集合：V（G2）＝｛1，2，3，4，5，6，7｝，边集合：E（G2）＝｛（1，2），（1，3），（2，3），（2，4），（2，5），（5，6），（5，7）｝。

对于图的定义，我们要明确几个应注意的地方。

（1）线性表中数据元素叫元素，树中数据元素叫结点，图中数据元素称为顶点。

（2）线性表中可以没有数据元素，称为空表；树中可以没有数据元素，称为空树；在图中不允许没有顶点，即图不可空。

（3）线性表中，相邻两元素之间具有线性关系；树结构中，相邻两层结点具有层次关系；图中，任意两个顶点之间都可能有关系。