Warshall’s algorithm