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