Kuratowskin teoreema

Kuratowskin teoreema on tasograafien tasoon piirtämistä koskeva verkkoteorian teoreema. Tasograafit ovat verkkoja, jotka voidaan piirtää tasolle siten, että pisteiden väliset viivat eivät leikkaa keskenään. Puolalainen matemaatikko Kazimierz Kuratowski todisti mukaansa nimetyn teoreeman vuonna 1930. Sen mukaan mielivaltainen graafi on tasograafi jos ja vain jos se ei sisällä täydellisen viiden pisteen graafin K5 tai täydellisen kaksijakoisen graafin K3,3 alijaotuksia. On helppo huomata, että näitä kahta graafia ei voi piirtää tasoon viivojen leikkaamatta, mutta sen todistaminen että nämä ovat ainoat rakenne-elementit jotka voivat tehdä verkosta ei-tasolle-piirrettävän, on vaikeampaa.

Huomautukset

Lähteet 

Graafiteoria
Matemaattiset teoreemat