Transitive Closure of a Graph