有向图是一个二元组，其中 　　1.V是非空集合，称为顶点集。 　　2.E是V×V的子集，称为边集。 　　直观来说，若图中的每条边都是有方向的，则称为有向图。有向图中的边是由两个顶点组成的有序对，有序对通常用尖括号表示，如表示一条有向边，其中vi是边的始点，vj是边的终点。和代表两条不同的有向边。如果在有向图中任意两个顶点都是连通的，则称图为连通图。因此如果有向图是连通图，则该图中至少有n条弧。 一个无向图(undirected graph)是一个二元组，其中： 　　1.E是非空集合，称为顶点集。 　　2.V是E中元素构成的无序二元组的集合，称为边集。 　　直观来说，若一个图中每条边都是无方向的，则称为无向图。