定义：图G是由两个集合V和E构成的二元组，记作G=(V, E)，其中V是图中顶点的非空有限集合，E是图中边的有限集合。从数据结构的逻辑关系角度来看，图中任一顶点都有可能与图中其他顶点有关系，而图中所有顶点都有可能与某一顶点有关系。在图中，数据结构中的数据元素用顶点表示，数据元素之间的关系用边表示。

有向图：若图中每条边都是有方向的，则称为有向图。从顶点v_i到v_j的有向边< v_i，v_j >也称为弧，起点v_i称为弧尾；终点v_j称为弧头。在有向图中， < v_i，v_j >与< v_j ，v_i >分别表示两条弧，如图(a)所示。

无向图：若图中的每条边都是无方向的，顶点v_i和v_j之间的边用(v_i，v_j ) 表示。在无向图中，(v_i，v_j )与(v_j ，v_i )表示的是同一条边。 5个顶点的一个无向图如图(b)所示。

完全图：若一个无向图具有n个顶点，而每一个顶点与其他n-1个顶点之间都有边，则称之为无向完全图。显然，含有n个顶点的无向完全图共有n(n-1)/2条边。类似地，有n个顶点的有向完全图中弧的数目为n(n-1)， 即任意两个不同顶点之间都存在方向相反的两条弧。