Stelling van Ore

De stelling van Ore is een stelling uit de grafentheorie, bewezen door Øystein Ore in 1960. De stelling geeft een voldoende voorwaarde opdat een graaf een hamiltonpad bevat. Een hamiltonpad is een gesloten pad in een graaf die elke knoop eenmaal aandoet.

De stelling zegt:

Gegeven een samenhangende enkelvoudige graaf $G=(V_G,E_G)$ met knopenverzameling $V_G$ en kantenverzameling $E_G$, en met $n\ge 3$ knopen.

Als voor elk tweetal knopen $a,b\in V_G$ met $(a,b)\notin E_G$ geldt dat $\mathrm{deg}(a)+\mathrm{deg}(b)\ge n$, bevat $G$ een hamiltonpad.

Hierin is $\mathrm{deg}(x)$ de graad van een knoop, dit is het aantal kanten dat in de knoop toekomt.

Anders gezegd: Als de som van de graden van elke twee niet-naburige knopen minstens gelijk is aan $n$, bevat de graaf een hamiltonpad.