Teorema empat warna: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
El Marziale (bicara | kontrib) Tidak ada ringkasan suntingan Tag: Suntingan perangkat seluler Suntingan peramban seluler |
El Marziale (bicara | kontrib) kTidak ada ringkasan suntingan Tag: VisualEditor Suntingan perangkat seluler Suntingan peramban seluler |
||
Baris 1:
[[File:Four Colour Map Example.svg|thumb|Contoh dari peta dengan empat warna]][[File:Map of United States vivid colors shown.png|thumb|Peta empat warna dari negara bagian Amerika Serikat (tidak termasuk danau).]]
'''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.<ref>{{link=https://mathworld.wolfram.com/Four-ColorTheorem.html}}</ref>
Pada tahun 1976, Masalah Guthrie menjadi [[teorema|teorema matematika]] pertama yang [[Pembuktian berbantuan komputer#Daftar teorema yang dibuktikan dengan bantuan program komputer|dibuktikan menggunakan komputer]], akan tetapi ditolak akibat pembuktiannya yang [[Pembuktian yang tidak dapat disurvei|terlalu sulit bagi manusia]].{{sfnp|Swart|1980}} Sejak saat itu, bukti ini telah diterima secara luas, meskipun beberapa orang masih meragukannya.{{sfnp|Wilson|2014|loc=216–222}}
| |||