a collection of algorithms on graphs using the Boost and LEDA libraries