HF RL Explorer

construct/mc pysms independent connectivity

construct/mc pysms independent connectivity: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Construct a simple undirected graph on the 16 vertices 0..15 such that: - the graph contains no independent set of size 6 (maximum independent set size at most 5) - the vertex-connectivity is…

The task

Construct a simple undirected graph on the 16 vertices 0..15 such that: - the graph contains no independent set of size 6 (maximum independent set size at most 5) - the vertex-connectivity is at least 5: deleting any set of fewer than 5 vertices leaves a connected graph

Part of amphora/MathConstructOptimize-Envs-harbor.