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