construct/mc graph k coloring
construct/mc graph k coloring: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Graph G with 20 vertices numbered 0..19 and 30 edges: (0,5), (0,7), (0,9), (0,12), (0,15), (1,9), (2,4), (2,12), (2,15), (2,17), (2,19), (3,6), (3,9), (3,15), (3,16), (4,10), (4,13), (5,9), (5,10), (6,8)…
The task
Graph G with 20 vertices numbered 0..19 and 30 edges: (0,5), (0,7), (0,9), (0,12), (0,15), (1,9), (2,4), (2,12), (2,15), (2,17), (2,19), (3,6), (3,9), (3,15), (3,16), (4,10), (4,13), (5,9), (5,10), (6,8), (6,16), (6,17), (7,11), (8,9), (8,14), (8,18), (9,17), (10,19), (12,15), (12,17)