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