一个有向的图具有从每个顶点到其他的每个顶点的路径。正式的定义： 一个有向的图 D =(V, E)，为所有的顶点 u，v ∈ V，对有一条路径从 v 到你和你的第五。