construct/rlve min harmonious coloring
construct/rlve min harmonious coloring: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). An undirected simple graph has 15 vertices labelled 0..14 and edge list 1, 12 , 2, 9 , 2, 13 , 3, 8 , 3, 13 , 4, 13 , 5, 10 , 7, 9 , 7, 13 , 8, 10
The task
An undirected simple graph has 15 vertices labelled 0..14 and edge list [[1, 12], [2, 9], [2, 13], [3, 8], [3, 13], [4, 13], [5, 10], [7, 9], [7, 13], [8, 10]]