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