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 11 vertices 0..10 such that: - the graph contains no independent set of size 5 (maximum independent set size at most 4) - the vertex-connectivity is…

The task

Construct a simple undirected graph on the 11 vertices 0..10 such that: - the graph contains no independent set of size 5 (maximum independent set size at most 4) - the vertex-connectivity is at least 4: deleting any set of fewer than 4 vertices leaves a connected graph - it contains each of the following edges:…

Part of amphora/MathConstructOptimize-Envs-harbor.