HF RL Explorer

construct/mc pysms min connectivity

construct/mc pysms min connectivity: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Construct a simple undirected graph on the 16 vertices 0..15 such that: - the vertex-connectivity is at least 5: deleting any set of fewer than 5 vertices leaves a connected graph - it contains each…

The task

Construct a simple undirected graph on the 16 vertices 0..15 such that: - the vertex-connectivity is at least 5: deleting any set of fewer than 5 vertices leaves a connected graph - it contains each of the following edges: (1,10), (4,10), (7,10), (1,6), (5,13), (3,6), (0,6), (0,15), (9,13), (3,12), (2,7), (4,14),…

Part of amphora/MathConstructOptimize-Envs-harbor.