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