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