[Boost-users] Some results for planar graph coloring algorithm