Teori Graf: Teorema Turan
Teori Graf: Teorema Turan
Teori Graf: Teorema Turan
Disusun oleh:
ALIF RAHMAN NASRUL (140210101046)
PETRINA TALITA PUTRI (140210101048)
LUSIA DEWI MINARTI (140210101051)
TEOREMA TURAN : PENGENALAN
Teorema Turan dicetuskan oleh Paul Turan pada tahun 1941. Teorema Turan merupakan
hasil dari studi mengenai teori graf ekstrim (extreme graph theory). Extreme graph
theory adalah bagian dari teori graf yang mempelajari kasus-kasus ekstrim (maksimum
atau minimum) yang dapat terjadi pada graf dengan sifat-sifat tertentu. Biasanya, kata
graf maksimum atau graf terbesar mengacu pada sebuah graf sederhana dengan sisi
terbanyak yang dapat dibuat berdasarkan banyak titik yang diberikan (Medina. 2013).
Sebelum mempelajari mengenai teorema Turan, hal yang perlu
diketahui terlebih dahulu adalah sebuah graf dibentuk dari
himpunan titik tak kosong () dan himpunan sisi yang
menghubungkan titik-titik tersebut.
Gambar 3. (, )
Sebuah Graf Bipartit Lengkap (Complete Bipartite Graph) adalah graf bipartit dimana
tiap simpul dalam A terhubung ke tiap-tiap simpul dalam B oleh tepat satu buah sisi saja.
Kita melambangkan graf bipartit lengkap yang memiliki simpul kuning dan simpul
merah dengan , . Graf 3,5 diperlihatkan dalam Gambar 4. Graf , memiliki sebanyak
+ simpul dan sisi (Wilson. 2010: 20-21).
PERMASALAHAN 1
Temukan sebuah graf terbesar (maksimum) dengan titik dan bilangan kromatik 2.
Karena kita telah menunjukkan bahwa tidak ada dua titik di yang akan saling bertetangga
di . Kemudian kita menemukan sebuah graf baru sedemikian hingga untuk setiap titik
di , (). Artinya, banyaknya sisi di haruslah sedikitnya adalah
banyaknya sisi di . adalah graf bipartit lengkap dan telah dibuktikan pada teorema 4.1.1
bahwa graf bipartit lengkap terbesar dengan n titik adalah 1,2 dengan = 1 + 2 dan
1 2 1 (terbukti).
Pembuktian yang lebih umum untuk teorema 4.2.1 membutuhkan lemma berikut yang
diperoleh dari pembuktian teorema 4.1.2*.
Teorema 4.1.2 dibuktikan sebagai berikut. Lemma 4.1.3 menunjukkan bahwa
jika adalah sebuah graf pada n titik yang tidak mengandung sebuah subgraf
isomorfik +1 , maka dapat digantikan oleh sebuah graf -partit dengan titik dan
sisi yang sama seperti pada . Karena graf -partit terbesar dengan titik adalah
graf -partit lengkap seperti yang telah dibuktikan pada teorema 4.1.1, maka
teorema 4.1.2 telah terbukti.
Jika dan diketahui, maka graf terbesar yang terbentuk disebut sebagai Graf
Turan dengan notasi , .
CONTOH SOAL
LATIHAN SOAL
PEMBAHASAN 1
PEMBAHASAN 2
PEMBAHASAN 2
TERIMA KASIH