HF RL Explorer

construct/mc vertex cover

construct/mc vertex cover: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Graph G with 20 vertices numbered 0..19 and 24 edges: (0,10), (0,17), (0,18), (1,8), (1,19), (2,9), (2,16), (3,10), (3,14), (3,16), (3,17), (4,9), (4,14), (4,17), (5,18), (6,9), (7,18), (8,9), (8,12), (8,14)…

The task

Graph G with 20 vertices numbered 0..19 and 24 edges: (0,10), (0,17), (0,18), (1,8), (1,19), (2,9), (2,16), (3,10), (3,14), (3,16), (3,17), (4,9), (4,14), (4,17), (5,18), (6,9), (7,18), (8,9), (8,12), (8,14), (10,12), (10,14), (10,18), (12,14)

Part of amphora/MathConstructOptimize-Envs-harbor.