transitive closure algorithm

http://www.boost.org/libs/graph/doc/transitive_closure.html
The time complexity (worst-case) is O(|V||E|).