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