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