单向连通图

如果有一条通路把所有结点包含在内，则一定是单向连通

可达性矩阵 P 满足 $P\vee P^T$ 除了主对角元之外其他元素均为 1