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