Start of work on 3-coloring verification algorithm.