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