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