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 12 vertices 0..11 such that: - the graph contains no independent set of size 4 (maximum independent set size at most 3) - the vertex-connectivity is…
The task
Construct a simple undirected graph on the 12 vertices 0..11 such that: - the graph contains no independent set of size 4 (maximum independent set size at most 3) - the vertex-connectivity is at least 4: deleting any set of fewer than 4 vertices leaves a connected graph