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,12), (0,14), (0,15), (1,5), (1,7), (1,14), (1,16), (1,17), (1,19), (2,10), (2,18), (3,8), (3,13), (4,16), (6,11), (6,17), (7,11), (7,18)…
The task
Graph G with 20 vertices numbered 0..19 and 30 edges: (0,5), (0,12), (0,14), (0,15), (1,5), (1,7), (1,14), (1,16), (1,17), (1,19), (2,10), (2,18), (3,8), (3,13), (4,16), (6,11), (6,17), (7,11), (7,18), (9,11), (9,19), (11,13), (11,14), (11,17), (11,19), (12,13), (12,16), (13,15), (14,15), (15,19)