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