Kuratowskis sats

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2021-04)
Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Kuratowskis sats är en matematisk sats inom grafteori som säger att en graf G är planär om och endast om det inte existerar någon delgraf av G som är homeomorf med av K 3 , 3 {\displaystyle K_{3,3}} eller K 5 {\displaystyle K_{5}} .

Satsen formulerades och bevisades av Kazimierz Kuratowski 1930.