Teorema empat warna

Masalah Guthrie atau Teorema Empat Warna menyatakan bahwa setiap peta dapat diwarnai dengan menggunakan empat warna, sehingga daerah yang berbatasan tidak memiliki warna yang sama.

Pada tahun 1976, Masalah Guthrie menjadi teorema matematika pertama yang dibuktikan menggunakan komputer, akan tetapi ditolak akibat pembuktiannya yang terlalu sulit bagi manusia. Sejak saat itu, bukti ini telah diterima secara luas, meskipun beberapa orang masih meragukannya.

Teorema empat warna dibuktikan pada tahun 1976 oleh Kenneth Appel dan Wolfgang Haken setelah banyak pembuktian dan counterexample yang keliru (tidak seperti teorema lima warna, teorema yang menyatakan bahwa lima warna cukup untuk mewarnai peta, yang dibuktikan pada tahun 1800-an). Untuk menghilangkan keraguan yang tersisa tentang pembuktian Appel-Haken, pembuktian yang lebih sederhana menggunakan ide yang sama dan masih mengandalkan komputer diterbitkan pada tahun 1997 oleh Robertson, Sanders, Seymour, dan Thomas. Selain itu, pada tahun 2005, teorema tersebut dibuktikan oleh Georges Gonthier dengan perangkat lunak pembuktian teorema tujuan umum.

Sejarah

Percobaan Gagal

Konjektur muncul untuk pertama kalinya pada 23 Oktober, 1852. Ketika Francis Guthrie mewarnai denah wilayah Inggris, ia menyadari bahwa hanya empat warna berbeda yang diperlukan. Kemudian saudara laki-lakinya, Frederick Guthrie, menyampaikan pesain tersebut kepada Augustus De Morgan.

Ada beberapa percobaan yang gagal untuk membuktikan konjektur. De Morgan percaya bahwa itu mengikuti fakta sederhana tentang empat bagian, meskipun ia tidak percaya bahwa kebenaran dapat diturunkan dari fakta yang lebih mendasar.

Pada tahun 1854, salah seorang dari Guthrie bersaudara mengajukan pertanyaan di The Athenaeum,  dan De Morgan menerbitkannya lagi di majalah yang sama pada tahun 1860. Konjektur itu direferensikan oleh Arthur Cayley pada tahun 1870.

Pada tahun 1879, pembuktian oleh Alfred Kempe diakui secara luas, dan terungkap cacat oleh Percy Heawood pada tahun 1890. Kejadian serupa terulang kembali oleh Peter Guthrie Tait pada tahun 1880, yang buktinya ditunjukkan salah oleh Julius Petersen pada tahun 1891. Masing-masing bukti palsu tidak tertandingi selama 11 tahun.

Pada tahun 1943, Hugo Hadwiger merumuskan Konjektur Hadwiger, generalisasi luas dari teorema empat warna yang dianggap sebagai masalah terbuka paling menantang di bidangnya.

Catatan

Referensi 

 
 
 
 
 

 
 .
 
 
.
 
 
 
 

 
 

 .

Pranala luar 

 
 
 
Daftar generalisasi dari teorema empat warna di MathOverflow

Pewarnaan graf
Graf planar
Teorema dalam teori graf
Pembuktian berbantuan komputer