ISL 2004 C3
The following operation is allowed on a finite graph: Choose an arbitrary cycle of length 4 (if there is any), choose an arbitrary edge in that cycle, and delete it from the graph. For a fixed integer , find the least number of edges of a graph that can be obtained by repeated applications of this operation from the complete graph on vertices (where each pair of vertices are joined by an edge).
Proposed by Norman Do, Australia
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.