グラフの推移閉包

最終的な行列はブール型です。頂点uから頂点vに値1がある場合、それはuからvへのパスが少なくとも1つあることを意味します。

入力と出力

Input:
1 1 0 1
0 1 1 0
0 0 1 1
0 0 0 1

Output:
The matrix of transitive closure
1 1 1 1
0 1 1 1
0 0 1 1
0 0 0 1

アルゴリズム

transColsure(graph)

入力： 与えられたグラフ。
出力： 推移閉包マトリックス。

Begin
   copy the adjacency matrix into another matrix named transMat
   for any vertex k in the graph, do
      for each vertex i in the graph, do
         for each vertex j in the graph, do
            transMat[i, j] := transMat[i, j] OR (transMat[i, k]) AND transMat[k, j])
         done
      done
   done
   Display the transMat
End

<2>例

#include<iostream>
#include<vector>
#define NODE 4
using namespace std;

/* int graph[NODE][NODE] = {
   {0, 1, 1, 0},
   {0, 0, 1, 0},
   {1, 0, 0, 1},
   {0, 0, 0, 0}
}; */

int graph[NODE][NODE] = {
   {1, 1, 0, 1},
   {0, 1, 1, 0},
   {0, 0, 1, 1},
   {0, 0, 0, 1}
};

int result[NODE][NODE];

void transClosure() {
   for(int i = 0; i<NODE; i++)
      for(int j = 0; j<NODE; j++)
         result[i][j] = graph[i][j];    //initially copy the graph to the result matrix
   for(int k = 0; k<NODE; k++)
      for(int i = 0; i<NODE; i++)
         for(int j = 0; j<NODE; j++)
            result[i][j] = result[i][j] || (result[i][k] && result[k][j]);
   for(int i = 0; i<NODE; i++) {          //print the result matrix
      for(int j = 0; j<NODE; j++)
         cout << result[i][j] << " ";
      cout << endl;
   }
}

int main() {
   transClosure();
}

出力

1 1 1 1
0 1 1 1
0 0 1 1
0 0 0 1