結果 : warshall algorithm transitive closure example