warshall算法求传递闭包的伪代码

以下是 Warshall 算法求传递闭包的伪代码：

Input: 一个 n × n 的布尔矩阵 M，其中 M[i][j] 表示从节点 i 到节点 j 是否有边。
Output: 一个 n × n 的布尔矩阵 R，其中 R[i][j] 表示节点 i 可达节点 j。

1. R := M
2. for k from 1 to n do
3. for i from 1 to n do
4. for j from 1 to n do
5. R[i][j] := R[i][j] OR (R[i][k] AND R[k][j])

其中 OR 表示逻辑或，AND 表示逻辑与。