Dört renk teoremi için daha hızlı yeni bir bilgisayar kanıtı geliştirildi
Öne çıkanlar
- Yeni kanıt, harita renklendirme adım sayısını n kareden n çarpı log n seviyesine düşürdü.
- Araştırmacılar, paralel olarak indirgenebilen 8 bin 202 konfigürasyonluk yeni bir kaçınılmaz küme oluşturdu.
- Geliştirilen yöntem, simit biçimli yüzeylerde yer alan çizgelerin renklendirilmesine olanak tanıyor.
Danimarka, Kanada ve Japonya'dan altı matematikçi ve bilgisayar bilimci, harita renklendirmede dört rengin yeterli olduğunu savunan ünlü dört renk teoremi için yeni bir bilgisayar destekli kanıt yayımladı. Araştırma ekibi Mart 2026'da yayımlanan çalışmayla, önceki kanıtlara kıyasla çok daha verimli bir renklendirme algoritması ortaya koydu. Kasım ayında Foundations of Computer Science konferansında sunulacak çalışma, kuramsal matematikte 150 yılı aşkın süredir tartışılan temel bir probleme yeni bir yaklaşım getirdi.
İlk kez 1976'da bilgisayar yardımıyla kanıtlanan ve 1997'de sadeleştirilen teorem, n düğümlü bir düzlemsel çizge için n kare adımda renklendirme imkanı veriyordu. Yeni yöntemde araştırmacılar, çizgenin düz alanlarına odaklanarak eşzamanlı indirgenebilen 8 bin 202 farklı konfigürasyondan oluşan geniş bir küme belirledi. Bu yapılandırmalar birbirini etkilemeden paralel olarak işlenebildiği için renklendirme süreci n çarpı log n adım düzeyine indi ve işlem verimliliği ciddi oranda arttı.
Kanıt yapısı gereği önceki çözümlere göre daha fazla hesaplama gücü kullansa da düzlemsel çizgelerin yapısal özellikleri hakkında yeni kuramsal açılımlar sağladı. Araştırmacılar, bu yöntemin yalnızca düzlemdeki haritalar için değil, simit gibi farklı yüzeylerdeki çizgeler için de genelleştirilebileceğini belirtti. Ekip, bilgisayara ihtiyaç duymayan saf ve kısa bir analitik kanıt arayışının ise matematik dünyasında sürdüğünü kaydetti.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.