Roy-Warshall algorithm