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