HF RL Explorer

construct/mc vertex cover

construct/mc vertex cover: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Graph G with 140 vertices numbered 0..139 and 1360 edges: (0,5), (0,14), (0,23), (0,45), (0,47), (0,60), (0,61), (0,69), (0,73), (0,86), (0,87), (0,98), (0,100), (0,106), (0,115), (0,116), (0,117), (0,132)…

The task

Graph G with 140 vertices numbered 0..139 and 1360 edges: (0,5), (0,14), (0,23), (0,45), (0,47), (0,60), (0,61), (0,69), (0,73), (0,86), (0,87), (0,98), (0,100), (0,106), (0,115), (0,116), (0,117), (0,132), (1,10), (1,19), (1,55), (1,60), (1,86), (1,91), (1,95), (1,99), (1,102), (1,108), (1,109), (1,113), (1,135),…

Part of amphora/MathConstructOptimize-Envs-harbor.