Four Color Theorem (4CT) menyatakan bahwa setiap grafik planar adalah empat yang dapat diwarnai. Ada dua bukti yang diberikan oleh [Appel, Haken 1976] dan [Robertson, Sanders, Seymour, Thomas 1997]. Kedua bukti ini dibantu oleh komputer dan cukup menakutkan.
Ada beberapa dugaan dalam teori grafik yang menyiratkan 4CT. Penyelesaian dugaan ini mungkin membutuhkan pemahaman yang lebih baik tentang bukti 4CT. Inilah satu dugaan seperti itu:
Dugaan : Misalkan menjadi grafik planar, misalkan adalah seperangkat warna dan merupakan involusi bebas titik tetap. Biarkan menjadi sedemikian rupaC f : C → C L = ( L v : v ∈ V ( G ) )
- untuk semua dan
- jika maka untuk semua , untuk semua . f ( α ) ∈ L v v ∈ V α ∈ C
Maka terdapat -coloring grafik .G
Jika Anda tahu dugaan seperti itu menyiratkan 4CT, harap sebutkan satu di setiap jawaban. Saya tidak dapat menemukan daftar dugaan seperti itu.