Apa itu Teorema Empat Warna?
Teorema empat warna menyatakan bahwa peta apa pun yang digambar pada bidang datar dapat diwarnai dengan paling banyak empat warna sehingga tidak ada dua wilayah yang berbagi batas memiliki warna yang sama. Dua wilayah yang hanya bersentuhan pada satu titik boleh memakai warna yang sama. Teorema ini berlaku untuk peta apa pun, tidak peduli seberapa rumitnya.
Regions 1, 2, 3, 4 each border multiple others. The left (4) and right (4) regions share no border, so they can share a colour. Exactly 4 colours needed here.
Francis Guthrie mengajukan dugaan teorema ini pada 1852 saat mewarnai sebuah peta county di Inggris. Ia memperhatikan bahwa empat warna selalu tampak cukup, tetapi tidak dapat membuktikannya. Masalah ini membingungkan matematikawan selama 124 tahun. Banyak bukti palsu diterbitkan dan kemudian dibantah. Lima warna selalu cukup dan dapat dibuktikan secara manual dengan menggunakan rumus Euler untuk graf planar.
The four colour theorem took 124 years from conjecture to proof. The 1976 proof was the first major theorem verified by computer.
Bukti tahun 1976 oleh Kenneth Appel dan Wolfgang Haken adalah teorema besar pertama yang dibuktikan dengan bantuan komputer. Mereka mereduksi semua peta yang mungkin menjadi 1.936 konfigurasi dan meminta komputer memverifikasi masing-masing selama lebih dari 1.200 jam waktu CPU. Banyak matematikawan merasa tidak nyaman dengan bukti yang tidak dapat diperiksa sepenuhnya dengan tangan. Bukti yang dapat dibaca manusia, jika memang ada, masih belum ditemukan.
Five outer regions (an odd number) force the ring to use 3 colours: no 2-colouring of a 5-cycle exists. The centre region is adjacent to all five, touching all three ring colours, so it must be a fourth colour. This shows four is genuinely sometimes necessary.
Setiap peta yang digambar pada bidang datar dapat diwarnai dengan paling banyak empat warna sehingga tidak ada dua wilayah yang berbagi batas memiliki warna yang sama. Dugaan ini diajukan oleh Francis Guthrie pada 1852. Dibuktikan oleh Appel dan Haken pada 1976 dengan menggunakan komputer untuk memverifikasi 1.936 konfigurasi, sehingga menjadi teorema besar pertama yang dibuktikan dengan bantuan komputer. Verifikasi yang lebih pendek oleh Robertson, Sanders, Seymour, dan Thomas pada 1997 mengurangi jumlah ini menjadi 633 konfigurasi. Teorema ini tidak berlaku pada torus, di mana hingga tujuh warna mungkin diperlukan.
Pi
Memorize pi, e, and 38 mathematical constants using the numpad path method
Main sekarang - gratisTanpa akun. Bisa di perangkat apa saja.
