Dört renk teoremi, düzlemdeki bir haritanın bölgelerinin, ortak sınır parçası bulunan iki bölge aynı renk olmayacak biçimde en fazla dört renkle boyanabileceğini belirtir. Yalnızca bir noktada temas eden bölgeler bu anlamda komşu sayılmaz.[1]
ÇİZGE KURAMIYLA İLİŞKİSİ
Haritanın her bölgesi bir düğüm, sınır paylaşan bölgeler arasındaki ilişki bir kenar olarak gösterilebilir. Böylece problem, düzlemsel çizgelerin düğümlerini boyama problemine dönüşür. Standart harita yorumunda bölgelerin bağlantılı olması gibi koşullar önemlidir; gelişigüzel bütün boyama problemleri aynı teoreme girmez.[1]
İSPATIN TARİHİ
On dokuzuncu yüzyılda ortaya atılan önerme, Kenneth Appel ve Wolfgang Haken'in 1976 tarihli bilgisayar destekli çalışmalarıyla kanıtlandı. Çok sayıda durumun bilgisayarla denetlenmesi, matematiksel ispatın nasıl doğrulanacağı konusunda tartışmalar doğurdu. Sonraki çalışmalar, kanıtı ve denetim yöntemlerini geliştirdi. Teorem, matematik ile hesaplamanın ilişkisi bakımından tarihsel önem taşır.[1]