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