The extremal function for Petersen minors

Kevin Hendrey, David R. Wood

We prove that every graph with $n$ vertices and at least $5n-8$ edges contains the Petersen graph as a minor, and this bound is best possible. Moreover we characterise all Petersen…