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