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