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