【定义】

有向图是一个二元组<V,E>，其中

1.V是非空集合，称为顶点集。

2.E是V×V的子集，称为弧集。

【解释】

直观来说，若图中的每条边都是有方向的，则称为有向图。有向图中的边是由两个顶点组成的有序对，有序对通常用尖括号表示，如<vi,vj>表示一条有向边，其中vi是边的始点，vj是边的终点。<vi,vj>和<vj,vi>代表两条不同的有向边。

【完全有向图】

有n个顶点的有向图有n(n-1)条边，则此图称为完全有向图。