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