The program I wrote to search for 47-colorings of the 500-vertex graph DSJC500.5 has found a solution after 5200 runs. It took over three months. The algorithm used is from Moalic and Gondran’s 2017 conference paper: “Heuristic rope team : a parallel algorithm for graph coloring”. The coloring is given by the array below… Continue reading HEA in Duet update (47 colors, DSJC500.5)