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