【定义】
有向图是一个二元组<V,E>，其中
1.V是非空集合，称为顶点集。
2.E是V×V的子集，称为边集。
【解释】
直观来说，若图中的每条边都是有方向的，则称为有向图。有向图中的边是由两个顶点组成的有序对，有序对通常用尖括号表示，如<vi,vj>表示一条有向边，其中vi是边的始点，vj是边的终点。<vi,vj>和<vj,vi>代表两条不同的有向边。