定义
定义1:有向图
设V是一个非空集合,A是一个由V中元素的有序对构成的多重集,有序对D = <V, A>称为一个有向图,其中,V称为顶点集,其中的元素称为顶点或点;A称为弧集,其中的元素是弧。
由定义可见,有向图和无向图的区别仅仅在于有向图的弧集是有序对的多重集,而无向图的边集是无序顶点对的多重集,无向图的一切概念均可平移到有向图。
定义2:入度、出度
设D是一个有向图,D中顶点 v v v的入度 d D − ( v ) d_D^-(v) dD−(v)是指以 v v v为头的弧的数目,v的出度 d D + ( v ) d_D^+(v) d