KURSCHAK 2003 Problem 2
Prove that if a graph on vertices has a unique -coloring, then has at least edges.
(A graph is -colorable when there exists a coloring of its vertices with colors such that no two vertices of the same color are connected by an edge. The graph can be -colored uniquely if there do not exist vertices and of the graph that are painted different colors in one -coloring, yet are colored the same in another.)
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.