e≤ 2n−4
Contoh 8.38
e = 9, n= 6
9 ≤ (2)(6) – 4 = 8 (salah)
Teorema Kuratowski
Dalam literatur tentang graf, dikenal dua buah graf tidak-planar yang khusus,
yaitu graf Kuratowski, setelah matematikawan Polandia, Kasimir Kuratowski,
menemukan sifatnya yang unik [DEO74].
1. Graf Kuratowski pertama, yaitu graf lengkap yang mempunyai lima buah
simpul (K5), adalah graf tidak-planar.
2. Graf Kuratowski kedua, yaitu graf terhuung teraturdengan 6 buah simpul
dan 9 buah sisi (K3,3) adalah graik tidak-planar.
Isomarfisma graf sudah kita pahami dengan baik. Bila dua graf, G 1 dan G2,
isomorfikberarti kedua graf tersebut sama, hanya penggambarannya saja yang
berbeda. Tinjau graf G pada gambar 8.49(a). sangat jelas G mengandung upgraf
G1 yang sama dengan K3,3, karena itu G tidak planar. Sekarang tinjau graf G pada
gambar 8.49(b). G mengandung upgraf G1 yang isomorfik dengan K3,3. Jadi, G
juga tidak planar.
Gambar 8.49 (a) Graf G tidak planar karena ia mengandung upgraf, G1, yang sama dengan K3,3.
(b) Graf G tidak planar karena upgrafnya, G1, isomorfik dengan K3,3.
Apa yang dimaksud dengan homeomorfik?
Dua graf G1 dan G2 dikatakan homeomorfik jikasalah satu dari kedua graf dapat
diperoleh dari graf yang lainnya dengan cara menyisipkan dan/atau membuang
secara berulang-ulang simpul berderajat 2, seperti yang diilustrasikan pada
gambar 8.50. ketiga graf pada gambar 8.50 homeomorfik satu sama lain. G 2
dengan membuang simpul v (yang berderajat 2) dari G1, sedangkan G3 diperoleh
dari G2 dengan berturut-turut menambahkansimpul x dan y (yang masing-masing
berderajat 2). Catatlah bahwa penambahan dan penghapusansimpul hanya
dilakukan terhadap simpul berderajat dua saja.