一个有向图D由顶点集V和边集E构成。如果D有n个顶点,那么顶点集为,如果在D中从到有一条有向边,那么属于E。有向图D可以用一个n行n列的0-1矩阵M来表示。如果D中的到有一条有向边,那么矩阵M的第i行第j列元素;否则。图的连通性是指从图的某些顶点到其他顶点存在一条由连续有