mm arrow Matematik makaleleri arrow Dört Renk Teoremi -bilgisayarın ispatladığı ilk teorem-
Dört Renk Teoremi -bilgisayarın ispatladığı ilk teorem- Yazdır E-Posta

Sonlu sayida bölgeden olusan bir harita, birbirine sonsuz sayida nokta boyunca komsu olan iki bölgenin renkleri birbirinden farkli olmak üzere, boyanacaksa bu islem için dört rengin yeterli olacagi bir strateji vardir.

Matematik tarihinde bu bir bilgisayarin ispatladigi ilk teoremdir

Sonlu sayida bölgeden olusan bir harita, birbirine sonsuz sayida nokta boyunca komsu olan iki bölgenin renkleri birbirinden farkli olmak üzere, boyanacaksa bu islem için dört rengin yeterli olacagi bir strateji vardir.

Bu teoremin dogrudan uygulamalarindan birisi harita boyanmasidir; eger her ülkenin tek bölgeden olustugu varsayilirsa bir siyasi haritanin tüm ülkeleri, komsu ülkeler ayni renge boyanmadan dört renge boyanabilir. Ancak bu uygulamadaki varsayim, dünya haritasi için uygun olmayip ABD ve Azerbaycan gibi birden fazla bölgeden olusan ülkeler bulunmaktadir.

Bu konjektür (ispatsiz, fakat dogrulugu tahmin edilen sanı) 1852'de Augustus De Morgan'in bir ögrencisi olan Francis Guthrie tarafindan ileri sürüldü; fakat ancak 1976'da Appel ve Haken tarafindan bilgisayarla kanitlandi. Matematik tarihinde bu bir bilgisayarin ispatladigi ilk teoremdir



Dört Renk Teoremi'nin bir örnek

 

<Önceki   Sonraki>
MATEMATİKÇİ PULU
HİPERBOLİK UZAY
FOTO MATEMATİK
C.Sequin Galeri
MATEMATİK AFİŞİ
G.W.Hart galeri
KARİKATÜR
M.C.Escher galeri
MATEMATİK KİTABI
MATEMATİK FİLMİ