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