Complete minors and average degree -- a short proof

Noga Alon, Michael Krivelevich, Benny Sudakov

We provide a short and self-contained proof of the classical result of Kostochka and of Thomason, ensuring that every graph of average degree $d$ has a complete minor of order $d/\…