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