顶点v到w可达就是指从v到w至少有一条路径。那么在有向图中要判断v到w是否可达,我们只需要以v为起点遍历一遍图,看能否遍历到w即可。当然在遍历时可以自己适当的加一些限制条件,提高算法效率,如:不需要遍历完所有顶点,只要遍历到w就可以结束遍历。所以时间为<=O(N2);
推广1:判断顶点v到其他所有顶点的可达性,以顶点v为起点,遍历整个图,能被遍历到的顶点就是从v可达的,否则就是不可达,时间为o(n2) 。对于无向图,如果完成整个遍历后还有顶点没有被访问,那么这个图就是不连通。
推广2:判断任意两点之间是否可达,当然我们可以以每个顶点为起点,然后按推广2的方法去多次遍历图,这样的时间复杂度为o(n3),而且在遍历的过程中可以适当的改进(可以自己实现)。
在此我们学习一种完全不同的方法----Warshall算法,来实现这个任务:(有关Warshall算法的描述部分转载:http://www.cnblogs.com/brokencode/archive/2011/07/01/2095158.html)
Warshall算法通过动态规划的形式,以多阶段决策的方式来逐步构建一个有向图的传递闭包:
1)有向图的邻接矩阵表示了一个有向图,实际上有向图的邻接矩阵我们可