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..16 with edges 3, 11 , 5, 12 , 2, 16 , 5, 7 , 6, 15 , 1, 9 , 5, 8 , 10, 12 , 9, 16 , 12, 13 , 5, 9 , 12, 14 , 9, 14 , 10, 13 , 1, 6 , 0, 10 , 3, 4 , 1…
The task
G1 is an undirected simple graph on vertices 0..16 with edges [[3, 11], [5, 12], [2, 16], [5, 7], [6, 15], [1, 9], [5, 8], [10, 12], [9, 16], [12, 13], [5, 9], [12, 14], [9, 14], [10, 13], [1, 6], [0, 10], [3, 4], [1, 12], [3, 8], [11, 15]] G2 is an undirected simple graph on vertices 0..17 with edges [[0, 1], [0,…