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