[Boost-users] New algorithm for four coloring planar graphs