求可达矩阵的Warshall算法

Warshall算法可以用来求解有向图的可达矩阵，其基本思想是通过中间节点来更新两个顶点之间是否存在路径的信息。具体实现过程如下：

假设有一个有向图G，其邻接矩阵为W，可达矩阵为T。其中，W[i][j]表示从顶点i到顶点j是否存在一条有向边，T[i][j]表示从顶点i到顶点j是否存在一条路径。

1. 初始化可达矩阵T为邻接矩阵W。

2. 对于每一个中间节点k，更新可达矩阵T。具体操作为：如果存在一条从i到k的路径，且存在一条从k到j的路径，则i到j也存在一条路径。

即，T[i][j] = T[i][j] || (T[i][k] && T[k][j])

3. 重复步骤2，直到所有的中间节点都被遍历过。

最终，可达矩阵T中的元素T[i][j]为1表示从顶点i到顶点j存在一条路径，为0表示不存在一条路径。

下面是Warshall算法的伪代码：

for k from 1 to n
    for i from 1 to n
        for j from 1 to n
            T[i][j] = T[i][j] || (T[i][k] && T[k][j])

其中，n为图的顶点数。