Danimarka, Kanada ve Japonya’daki üniversitelerden matematikçiler ve bilgisayar bilimcileri, matematik tarihinin en meşhur problemlerinden Dört Renk Teoremi için yeni bir bilgisayar destekli kanıt geliştirdi. Mart 2026’da yayımlanan ve Kasım ayında Foundations of Computer Science konferansında sunulacak olan çalışma, düzlemsel haritaların komşu bölgeleri aynı renge gelmeyecek şekilde dört renkle boyanmasını sağlayan yeni ve verimli bir yöntem ortaya koyuyor.
Mikkel Thorup, Carsten Thomassen, Ken-ichi Kawarabayashi ve Bojan Mohar liderliğindeki ekip, grafların düz bölgelerini inceleyerek paralel olarak indirgenebilen 8.202 konfigürasyondan oluşan yeni bir kaçınılmaz küme tanımladı. Geliştirilen bu yeni kanıt, 1997 yılındaki önceki çalışmada yer alan ve n köşeli bir graf için n kare adım gerektiren boyama algoritmasını n(log n) işlem seviyesine indirerek işlem süresini önemli ölçüde kısalttı.
Araştırma, düzlemsel grafların yanı sıra simit biçimli yüzeyler üzerindeki çizge yapılarının renklendirilmesine dair çalışmalara da kuramsal zemin hazırlıyor. Ancak Thomassen, bilgisayar gücüne dayanan bu başarıya rağmen matematik dünyasının nihai hedefi olan, bilgisayar desteği gerektirmeyen tamamen kuramsal ve sade bir kanıt arayışının henüz sona ermediğini belirtiyor.
KAYNAK: quantamagazine.org