Four-Color Theorem şöyle der: “Herhangi bir düzlem haritası, komşu bölgeler aynı renkte olmamak şartıyla en fazla dört farklı renk kullanılarak boyanabilir.”
Buradaki “komşu bölgeler” ifadesi, ortak bir sınırı paylaşan bölgeleri ifade eder (sadece köşeden temas edenler değil!).
Ne Tür Bir Problemi Çözer?
Bu teorem, özellikle şu problemi hedefler: “Bir haritayı (veya düzlem grafiğini) boyarken, en az kaç farklı renk gerekir ki komşu bölgeler aynı renkte olmasın?”
Teorem diyor ki:
- Beş, altı, on renge gerek yok; dört renk her zaman yeterlidir.
- Bu durum herhangi bir harita için geçerlidir – ne kadar karmaşık olursa olsun.
Ne Zaman ve Nasıl Kanıtlandı?
- İlk olarak 1852 yılında ortaya atıldı.
- 1976 yılında, Kenneth Appel ve Wolfgang Haken tarafından bilgisayar yardımıyla ispatlandı.
- Yaklaşık 600 sayfalık yazılı çalışma ile ispatlandı.
- Ve 1936 farklı harita konfigürasyonunun bilgisayarla kontrol edilmesi ile yapıldı.
- Yaklaşık 1200 saatlik bilgisayar işlemi sürdü.
Bu yönüyle, bilgisayar destekli ilk matematiksel ispatlardan biri oldu ve oldukça tartışma yarattı.
Neden Önemli?
- Graf teorisi, topoloji, harita çizimi, veri görselleştirme ve hatta mobil ağ planlaması gibi birçok alanda önemli sonuçları vardır.
- Bilgisayar destekli ispatlara olan güvenin artmasına veya sorgulanmasına neden oldu.
- Teorik olarak basit görünse de kanıtlanması 100 yıldan fazla sürdü.
Görselde Ne Anlatıyor?
- Haritada farklı bölgeler gösterilmiş.
- Her bölge 4 rengi geçmeyecek şekilde boyanmış.
- Komşu bölgeler aynı renkte değil.
- Bu görsel, teoremin temel fikrini temsil ediyor.
Kaynaklar
- https://thomas.math.gatech.edu/FC/fourcolor.html
