Graph algorithm vertex coloring