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