construct/rlve subgraph isomorphism
construct/rlve subgraph isomorphism: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). G1 is an undirected simple graph on vertices 0..14 with edges 6, 7 , 3, 4 , 2, 4 , 6, 8 , 0, 11 , 2, 14 , 4, 13 , 8, 9 , 2, 3 , 0, 9 , 10, 14 , 1, 12 , 8, 11 , 1, 9 , 3, 10 , 5, 13 , 3, 7 , 8, 13 …
The task
G1 is an undirected simple graph on vertices 0..14 with edges [[6, 7], [3, 4], [2, 4], [6, 8], [0, 11], [2, 14], [4, 13], [8, 9], [2, 3], [0, 9], [10, 14], [1, 12], [8, 11], [1, 9], [3, 10], [5, 13], [3, 7], [8, 13], [0, 1], [1, 7], [1, 3], [4, 9], [10, 11], [1, 5], [5, 8], [2, 12], [3, 9], [1, 6], [5, 12], [2, 5],…