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