Dört renk teoreminin nadir yeni kanıtı daha hızlı harita boyama ve graf içgörüleri sağlıyor

1970'lerde bilgisayar yardımıyla çözülen ve matematikçiler arasında hâlâ sessiz bir hoşnutsuzluk kaynağı olan dört renk teoremi bir kez daha kanıtlandı. Quanta Magazine'nin aktardığına göre Kopenhag Üniversitesi'nden bilgisayar bilimci Mikkel Thorup ve Danimarka Teknik Üniversitesi'nden graf kuramcısı Carsten Thomassen, Danimarka, Kanada ve Japonya'daki dört meslektaşlarıyla — Ken-ichi Kawarabayashi ve Bojan Mohar'ın da aralarında bulunduğu bir grupla — bu probleme yakın on yıl harcadı. Kanıtları Mart 2026'da çevrimiçi olarak yayımlandı ve Kasım ayında yıllık Foundations of Computer Science konferansında sunulacak.

Uzun geçmişi olan basit bir soru

Teorem, her bitişik haritanın, komşu iki bölgenin aynı rengi paylaşmaması koşuluyla dört renkle boyanabilip boyanamayacağını sorar. Francis Guthrie 1852'de İngiltere'nin kontluklarının haritasını boyarken bu soruya takıldı ve soru, kardeşinin danışmanı Augustus De Morgan aracılığıyla matematik çevrelerine yayıldı. İlk iddia edilen çözüm Alfred Bray Kempe'den geldi; 1879'da Nature dergisinde duyurulan çözüm, Percy John Heawood ince bir kusur ortaya çıkarmadan önce on bir yıl ayakta kaldı.

Quanta'nın anlattığı gibi Kempe'nin stratejisi bugün de problemi şekillendiriyor. Kempe, dört renkle boyanmaya direnen minimal bir harita varsaydı ve onu düzlemsel bir grafa dönüştürdü: ülkeler köşe, paylaşılan sınırlar ise kenak olur. Euler'e kadar uzanan düzlemsel grafiklerin bir özelliği, en az bir köşenin beş ya da daha az komşusu olduğunu garanti eder; bu da altı yerel konfigürasyondan oluşan bir "kaçınılmaz küme" üretir. Kempe, her birinin renklerin yerlerinin değiştirilmesiyle her zaman çözülebileceğini, dolayısıyla minimal bir karşı örnek olamayacağını savundu. Heawood, çıkarılan köşenin beş komşusu olduğunda değiştirme işleminin birbirine komşu iki özdeş renk bırakabileceğini gösterdi. Yine de bu teknik — bugün Kempe zinciri olarak biliniyor — sonraki çalışmaların merkezinde kalmayı sürdürdü. "Yaptığın hata o kadar ilginç ki adını taşıyor; bu değil mi ilginç?" dedi Thomassen, Quanta'ya.

Bilgisayarların bunu bitirmesi gerekiyordu

Doğru bir kanıt, sonunda yaklaşık 8.900 konfigürasyondan oluşan çok daha büyük bir kümeyi tanımlamayı ve her birinin indirgenebilir olduğunu göstermeyi gerektiriyordu; Quanta bunun elle yapılmasının imkânsız olduğunu söylüyor. 1976'da Kenneth Appel ve Wolfgang Haken argümanı bilgisayarların yardımıyla tamamladı; o zamanlar skandal sayılan bu hamle, matematikçilerin bir kanıtın ne sayılacağını yeniden düşünmesini zorladı. Tartışma büyük ölçüde 1997'ye kadar, daha basit bir bilgisayar destekli kanıt ortaya çıktığında ve bilgisayar kullanımı rutin hale geldiğinde yatıştı.

Yeni kanıt ne katıyor

Bir ölçüte göre yeni argüman, öncüllerinden bile daha ağır hesaplama içeriyor. "Kanıtlarını yürütürken elektrikten cömertçe yararlanmış görünüyorlar," dedi Paris'teki Inria'dan bilgisayar bilimci Georges Gonthier. Ama bu çaba, önceki kanıtlarda olmayan iki şey üretti: haritaları ve grafikleri boyamak için çok daha verimli bir yol ve düzlemsel grafiklere ilişkin taze yapısal içgörüler. Quanta'ya göre bu içgörüler, graf kuramındaki diğer birçok inatçı problemde ilerleme yolunu açabilir. "Problemin yanlış başlangıçlar ve suya düşen umutlarla dolu tarihine bakılırsa," dedi Gonthier, "bir kez olsun gerçek bir sonuç görmek gerçekten havalı."

Thorup ise problemin kalıcı çekim gücüne "dört renk hastalığı" adını veriyor — kendisi ve Thomassen bu hastalığa yakalananlar arasında sayıyorlar.

Neden önemli

Dört renk teoreminin doğruluğu yarım yüzyıldır şüphe götürmüyor; eksik olan anlayıştı. Yeni çalışma, kaba kuvvetle doğrulamayı daha hızlı ve kullanılabilir bir boyama yöntemine dönüştürüyor ve düzlemsel grafiklerin, graf kuramındaki diğer açık problemlere aktarılabilecek yapısal özelliklerini ortaya koyuyor. Ayrıca bilgisayar destekli kanıtın kendi serüvenini de izliyor: 1976'da matematikçileri huzursuz eden bir skandaldan, özenle kullanıldığında eski sonuçları yalnızca yeniden teyit etmek yerine gerçekten yeni matematik üretebilen kabul görmüş bir araca.