US-TST 2014 Problem 3
Let be an even positive integer, and let be an -vertex (simple) graph with exactly edges. An unordered pair of distinct vertices is said to be amicable if they have a common neighbor (there is a vertex such that and are both edges). Prove that has at least pairs of vertices which are amicable.
Dataset text NuminaMath olympiads. 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.