Dort Renk Teoremi'nin sorusu cocuk kadar eski ve inatci: Duzenli bir haritada, komsu bolgeler ayni renge boyanmayacaksa en az kac renk gerekir? 1852'de Francis Guthrie bu soruyu ortaya attiginda, kimse hikayenin bir bucuk asir surecegini bilmiyordu. Teorem 1976'da Appel ve Haken ile kanitlandi, fakat kanitin bilgisayar destekli olmasi yillarca tartisma dogurdu. Matematik dunyasinda bir kesim kaniti kabul etti, bir kesim de "insan tarafindan bastan sona okunabilir sadelik" beklentisini korudu.1
- 1976'daki kanit neden tarihsel olarak buyuk ama algoritmik olarak sinirli kaldi.
- 2026 calismalarinin "duz bolgelerde de indirgeme" fikriyle hangi esigi astigi.
- O(n^2)'den O(n log n)'ye, oradan O(n)'e gecisin pratikte ne anlami oldugu.
- Acik kod, odul ve dogrulama kulturunun bu hikayede neden merkezde oldugu.
Cozulen problem neden geri dondu
Bu sorunun cevabi, kanitin dogrulugundan cok yapisinda sakli. Klasik yaklasim, planar graf icinde en az bir indirgenebilir konfigurasyon bulup problemi adim adim kucultuyordu. Bu yontem calisiyor, ama her adimda ancak sabit miktar ilerleme sagliyor. 1996'daki Robertson, Sanders, Seymour ve Thomas algoritmasi bu nedenle O(n^2) zaman karmaisikliginda kaliyordu.2 Matematiksel olarak kazanmistin, hesaplama tarafinda ise hala agir bir yuk tasiyordun.
Teorem sabitti, maliyet sabit degildi.
2026 Mart tarihli Inoue, Kawarabayashi, Miyashita, Mohar, Thomassen ve Thorup makalesi tam bu noktaya girdi. Ekip, sadece bir konfigurasyon bulmak yerine, planar triangulasyonlarda dogrusal sayida birbirine degmeyen indirgenebilir konfigurasyon ya da kisa engelleyici cevrim bulunabilecegini gosterdi. Makalenin en kritik yeniligi su: onceki kanitlarin agirlikla "pozitif egim" tarafinda buldugu indirgemeleri, bu calisma "duz" bolgelerde de sistematik bicimde bulabiliyor.3
- 8.202 konfigurasyon
- 2026 calismasinin kacinilmaz kume buyuklugu; dogrulama kodu acik depoda paylasildi.Inoue vd., 2026 preprint + GitHub checks
- O(n log n)
- Mart 2026 sonucunda planar graf 4-boyama icin elde edilen yeni karmaisiklik siniri.arXiv:2603.24880
- O(n)
- Ekim 2026 takip calismasinda aciklanan dogrusal zamanli surum.arXiv:2610.39753
Teknik kazanimin gunluk dile cevirisi
O(n^2), O(n log n) ve O(n) arasindaki fark bazen ders notu gibi gorunur. Buyuk aglarda bu fark dogrudan maliyet, sure ve enerjiye donusur. Dugum sayisi buyudukce karesel algoritma cok hizli sisiyor. Neredeyse dogrusal bir yaklasim ise ayni problemi cok daha buyuk olcekte ele alabiliyor. Teorem ayni teorem, fakat onu calistirma bicimi degisince pratik dunya icin degeri katlaniyor.
Bu fark, arastirma laboratuvarinda kalmiyor.
Bu kazanimin etkisi dogrudan harita boyama uygulamasi ile sinirli degil. Planar ya da planara yakin alt problemler, devre yerlesimi, cografi bolgeleme, ag bolme ve bazi cizge tabanli optimizasyon adimlarinda tekrar tekrar ortaya cikiyor. Arastirmacilar son makalede bu "duz bolgede indirgeme" fikrinin sabit yuzeyli daha genis siniflara da acilim verebilecegini acikca not ediyor.3
Bilgisayar destekli kanitin ikinci perdesi
1976'dan beri ayni itiraz donuyor: Bilgisayar destekli kanit "gercek" matematik midir? 2026 dalgasi bu tartismayi biraz farkli bir zemine cekti. Cunku yeni paket sadece sonucun dogrulugunu ilan etmiyor, dogrulama boru hattini da acikca veriyor. GitHub deposunda cartwheel uretimi, discharging kurallari ve lemma kontrolleri adim adim calisiyor. Yani "inan" demiyor, "calistir ve denetle" diyor.4
Burada bir kultur degisimi de var. Matematik toplulugu artik sadece ispatin varligina degil, yeniden uretilmesine de odaklaniyor. Kodun acik olmasi, farkli ekiplerin ayni deneyi tekrar yapabilmesi ve olasi hatayi hizla yakalayabilmesi anlamina geliyor. Ozellikle yuzlerce veya binlerce konfigurasyon iceren bilgisayar destekli ispatlarda bu seffaflik guvenin ana omurgasi haline gelmis durumda.
Bir de ispat tarafinin psikolojisi degisti. 1970'lerde bilgisayarla kontrol edilen bolumler matematikciler icin kapali bir kutu gibiydi. Bugun acik depolar, tekrar uretim dokumani ve farkli makinelerde calisan kontrol betikleri var. Bu sayede tartisma "bu dogru mu" seviyesinden "bu yontem baska hangi problemlere tasinir" seviyesine cikiyor. Dort renk hikayesi bu nedenle sadece bir teorem haberi degil, modern ispat kulturunun nereye gittigini gosteren canli bir ornek.
Bu nedenle Dort Renk Teoremi bugun yeniden gundemde: yeni bir kanit iddiasi oldugu icin degil, eski bir teoremin yapisal kapasitesi buyudugu icin. Teoremin etrafinda artik iki katman var: matematiksel dogruluk ve algoritmik verim. Ikinci katman 2026'da ciddi bicimde guclendi ve bu guclenme, problemi ders kitaplarindan alip tekrar canli arastirma masalarina koydu. Bu ivmenin ilk resmi vitrini, IEEE FOCS 2026 Best Paper odulunun Kasim 2026'da Inoue ve ekip arkadaslarina verilmesi oldu.5
Dipnotlar ve Kaynaklar
- Appel, K. ve Haken, W. (1976). Every planar map is four colorable, Bulletin of the AMS; ayrica tarihsel arka plan icin teoremin 19. yuzyil kayitlari. ↩
- Robertson, N.; Sanders, D.; Seymour, P.; Thomas, R. (1996/1997). Dort renk teoremi icin sadeleştirilmis bilgisayar destekli kanit ve karesel zamanda boyama sonucu. ↩
- Inoue, Y.; Kawarabayashi, K.; Miyashita, A.; Mohar, B.; Thomassen, C.; Thorup, M. (2026). The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring, arXiv:2603.24880; ve takip calismasi Four-Coloring Planar Graphs in Linear Time, arXiv:2610.39753. ↩
- near-linear-4ct ekibi (2026). computer-checks deposu: discharging ve konfigurasyon dogrulama komutlari, acik tekrar uretim akisi. ↩
- University of Copenhagen BARC duyurusu (2026). FOCS'26 Best Paper aciklamasi ve sonucun algoritmik etkisine dair kurum ozeti. ↩
Bu icerik bilgi amaclidir; yatirim, hukuk veya egitim tavsiyesi degildir.
kafa1milyon
Meraklı bir kafa. Bilimsel makaleleri, arşiv belgelerini ve saha notlarını okuyup gündelik dile çeviriyor; bilinmeyeni bilinmiyor diye yazmaktan çekinmiyor.
