Dört Renk Teoremi

[eLanuR]

Dört Renk Teoremi

[Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL]
Dört Renk Teoremi'nin bir örnek


Teorem: Sonlu sayıda bölgeden oluşan bir harita, birbirine sonsuz sayıda nokta boyunca komşu olan iki bölgenin renkleri birbirinden farklı olmak üzere, boyanacaksa bu işlem için dört rengin yeterli olacağı bir strateji vardır.
Bu teoremin doğrudan uygulamalarından birisi harita boyanmasıdır; eğer her ülkenin tek bölgeden oluştuğu varsayılırsa bir siyasi haritanın tüm ülkeleri, komşu ülkeler aynı renge boyanmadan dört renge boyanabilir. Ancak bu uygulamadaki varsayım, dünya haritası için uygun olmayıp [Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL] ve [Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL] gibi birden fazla bölgeden oluşan ülkeler bulunmaktadır.
Bu konjektür (ispatsız, fakat doğruluğu tahmin edilen sanı) 1852'de [Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL]'ın bir öğrencisi olan [Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL] tarafından ileri sürüldü; fakat ancak 1976'da Appel ve Haken tarafından bilgisayarla kanıtlandı. [Link'i Görebilmeniz İçin Kayıt Olunuz.! Kayıt OL] bu bir bilgisayarın ispatladığı ilk teoremdir