Warshall’s Algorithm: Transitive Closure