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