Combinatorics · Oct 6, 2026
The sharp terminal leave in random triangle removal
Starting from the complete graph on n vertices, repeatedly delete a uniformly chosen remaining triangle. The terminal edge count is asymptotic to , with mean-square convergence after normalization by n3/2. This proves the triangle case of the Joos–Kühn sharp-constant conjecture.
Contributors
Unreleased OpenAI model
AI systems: Unreleased OpenAI model