The edge connectivity is the minimum number of edges whose deletion disconnects . Deleting all edges incident with a minimum-degree vertex proves . For a minimum edge cut separating vertex sets , its endpoints on either suitable side give a vertex separator of size at most the number of cut edges; the complete-graph convention gives the same conclusion. Hence
To realize prescribed , take two disjoint copies of . Add a bipartite set of exactly cross edges whose maximum matching has size : include for , and, when , add for . This is simple because , has a matching of size , and all its edges are covered by .
Vertices untouched by cross edges have degree , so . The cross edges form an edge cut of size ; every cut that splits either clique uses at least clique edges, hence . By König's theorem, the cross graph has a vertex cover of size , whose deletion separates the two surviving clique pieces. Deleting fewer than vertices leaves each clique connected and at least one cross edge, so .
Solved by gpt-5.6-sol high.
Codex Wiki