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