US-EGMO-TST 2020 Problem 5
Let be a finite simple graph on vertices. An edge of is called a bottleneck if one can partition into two disjoint sets and such that
- at most edges of have one endpoint in and one endpoint in ; and
- the edge is one such edge (meaning the edge also has one endpoint in and one endpoint in ).
Prove that at most edges of are bottlenecks.
Proposed by Yang Liu
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.