a collection of algorithms on graphs using Boost and LEDA