recommitting k-coloring circuit