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