Matematikte 20 Yıllık Gizem Çözüldü: Sonsuz Izgaranın Cevabı Neden 15?

Matematikte 20 Yıllık Gizem Çözüldü: Sonsuz Kareli Izgaranın Cevabı Neden 15?

Basit görünen bir sayı, sonsuz bir matematiksel problemin kesin sınırını ortaya çıkardı.

Matematikçiler, sonsuza kadar uzanan kareli bir ızgaranın belirli uzaklık kurallarına göre sayılarla doldurulması probleminde kesin cevabı buldu. Yaklaşık 20 yıldır araştırılan paketleme renklendirmesi probleminde sonsuz kareli ızgaranın minimum değeri 15 olarak kanıtlandı. Ancak asıl başarı yalnızca 15'i bulmak değil; 14 farklı sayının kesinlikle yeterli olamayacağını bilgisayar destekli ve doğrulanabilir bir matematiksel kanıtla göstermek oldu.

İçindekiler

• Matematikçilerin sorduğu soru neydi?
• Sonsuz kareli ızgara nedir?
• “Taksi mesafesi” ne anlama geliyor?
• 1, 5 ve 15 sayıları neden farklı?
• Asıl matematik problemi ne?
• Neden 13, 14 ve 15 arasında kalındı?
• Bilgisayar bu problemi nasıl çözdü?
• Beş karelik “artı” yöntemi neden önemli?
• Neden sonuç 15?
• Bu keşif neden önemli?
• Sık sorulan sorular
• Kaynaklar

Matematikçilerin Sorduğu Soru Ne?

İlk bakışta son derece basit görünen bir soru düşünün: Sonsuza kadar uzanan kareli bir ızgarayı sayılarla doldurmak için en az kaç farklı sayıya ihtiyaç vardır?

Fakat burada sıradan bir sayı yerleştirme oyunu yok. Aynı sayı tekrar kullanılabilir, ancak tekrar eden sayıların birbirlerine olan uzaklıkları belirli bir kuralı karşılamak zorunda.

Bir sayı ne kadar büyükse, aynı sayının başka bir örneğini yerleştirmek için o kadar fazla mesafe bırakmak gerekiyor.

Dünya Öğretmenler Günü 2026: UNESCO'dan Güçlü Mesaj — Öğretmenlerin Geleceği Eğitimin Geleceği

Sonsuz Kareli Izgara Nedir?

Bir matematikçinin önüne sonsuza kadar devam eden bir grafik kâğıdı koyduğunuzu düşünün:

Her kareye 1'den başlayarak sayılar yerleştiriliyor. Ancak aynı sayı iki kez kullanıldığında aralarında yeterli uzaklık bulunması gerekiyor.

Matematikte bu problem “packing coloring”, Türkçede ise yaklaşık olarak paketleme renklendirmesi olarak adlandırılıyor. Buradaki “renk” kavramı gerçek boya renklerinden çok, her hücreye verilen farklı sınıf veya sayı anlamında kullanılıyor.

“Taksi Mesafesi” Ne Anlama Geliyor?

Konunun anlaşılması için en önemli kavramlardan biri bu.

Buradaki uzaklık, iki nokta arasındaki düz çizgi mesafesi değil. Hareketin yalnızca yatay ve dikey yönde yapılabildiğini düşünün.

Basit bir örnek

Bir hücreden sağa 2 kare ve sonra yukarı 2 kare giderseniz toplam hareketiniz:

2 + 2 = 4

olur. İşte bu tür yatay ve dikey hareketlerin toplamına Manhattan mesafesi veya taksi mesafesi denir.

Örneğin çapraz duran iki hücre birbirine geometrik olarak yakın görünse bile taksi mesafesinde aralarında iki adımlık bir uzaklık bulunabilir. Bu nedenle iki adet 1 çapraz konumlandırılabilirken yan yana konumlandırılamaz.

1, 5 ve 15 Sayıları Neden Farklı?

Problemin mantığını en kolay şekilde sayılar üzerinden görebiliriz.

1 sayısı

İki adet 1'in taksi mesafesi 1'den büyük olmalıdır.

Yan yana 1 olamaz.

5 sayısı

İki adet 5'in taksi mesafesi 5'ten büyük olmalıdır.

Daha seyrek yerleştirilmelidir.

15 sayısı

İki adet 15'in taksi mesafesi 15'ten büyük olmalıdır.

Çok daha seyrek kullanılmalıdır.

Dolayısıyla sayı büyüdükçe aynı sayının tekrar kullanılabileceği alan küçülüyor. Bütün ızgarayı doldurmak için farklı sayıların birbiriyle çok dikkatli biçimde dengelenmesi gerekiyor.

Asıl Matematik Problemi Ne?

Şimdi soruyu tek cümlede ifade edebiliriz:

Bu soruya verilen cevap, matematikte sonsuz kareli ızgaranın paketleme kromatik sayısı olarak ifade ediliyor.

2002'de ortaya atılan problem, yıllar boyunca farklı çalışmalarla giderek daha dar bir aralığa indirildi. Önce belirli sayıların yeterli olmadığı gösterildi, ardından yeterli bir üst sınır bulundu. Böylece araştırmacılar gerçek cevabı iki sayı arasına sıkıştırmayı başardı.

Neden 13, 14 ve 15 Arasında Kalındı?

2010'lu yıllara gelindiğinde araştırmacılar cevabın 13 ile 15 arasında olduğunu biliyordu. Daha sonra Bernardo Subercaseaux ve Marijn Heule, 2022'de yaptıkları çalışmayla alt sınırı 14'e çıkardı.

Böylece geriye yalnızca iki ihtimal kaldı:

Buradaki kritik nokta şuydu: 15 ile geçerli bir düzen kurulabildiği biliniyordu. Asıl çözülmesi gereken soru 14'ün de yeterli olup olmadığıydı.

Bir düzenin mümkün olduğunu göstermek için yalnızca bir örnek bulmak yeterlidir. Fakat 14'ün mümkün olmadığını göstermek için 14 ile yapılabilecek bütün olası düzenlerin başarısız olduğunu kanıtlamak gerekir.

Bilgisayar Bu Problemi Nasıl Çözdü?

Burada devreye SAT çözümleyicileri girdi. SAT, “satisfiability” yani bir mantıksal ifadenin kuralları aynı anda sağlayıp sağlayamayacağını araştıran yöntemler ailesidir.

Bunu günlük dille şöyle düşünebiliriz:

Bilgisayara sorulan soru

“Bu ızgarayı 14 farklı sayı kullanarak, bütün uzaklık kurallarına uyarak doldurmanın herhangi bir yolu var mı?”

Varsa: 14 yeterli olabilir.

Yoksa: 14 elenir ve 15'e geçilir.

Fakat bilgisayara bütün ihtimalleri gelişigüzel denettirmek pratik değildi. Problemdeki olası kombinasyonların sayısı çok hızlı büyüyor. Bu nedenle araştırmacılar, bilgisayarın gereksiz seçenekleri tekrar tekrar incelemesini önleyen yöntemler geliştirdi.

Simetri neden önemliydi?

Bir düzeni aynaladığınızda veya döndürdüğünüzde aslında matematiksel olarak aynı türden bir düzen elde edebilirsiniz. Bilgisayar bunları ayrı ayrı incelerse aynı işi tekrar tekrar yapmış olur.

Subercaseaux ve Heule, bu tür simetrik durumları birlikte ele alan bir yaklaşım kullanarak arama alanını küçülttü. Ayrıca cube-and-conquer yaklaşımıyla problemi daha küçük parçalara ayırarak farklı hesaplama görevlerinin paralel yürütülmesini sağladılar.

Beş Karelik “Artı” Yöntemi Neden Önemli?

Çözümün en ilginç aşamalarından biri burada ortaya çıktı.

Başlangıçta bilgisayar her bir kareyi ayrı ayrı değerlendiren bir model kullanıyordu. Araştırmacılar daha sonra bunun yerine beş kareden oluşan küçük bir artı biçimli bölgeyi birlikte değerlendirebileceklerini fark etti.

Buradaki fikir çok basit: Bilgisayara her karenin tam olarak ne olduğunu sormak yerine, bazı durumlarda “Bu küçük bölgede 7 sayısı bulunuyor mu?” gibi daha genel bir soru sorulabiliyor.

Bu yaklaşım, hesaplama açısından çok daha verimli oldu. Araştırmacılar bu yeni kodlama yöntemiyle 14'ün mümkün olmadığını gösteren hesaplamayı tamamladı.

Başarı, bilgisayara daha fazla güç vermekten çok problemi bilgisayarın daha verimli anlayabileceği bir biçime dönüştürmekteydi.

Neden Sonuç 15?

Artık problemin iki tarafını bir araya getirebiliriz.

Bir tarafta 15 sayısıyla geçerli bir paketleme renklendirmesi yapılabildiği biliniyor. Diğer tarafta araştırmacılar, 14 sayının yeterli olamayacağını bilgisayar destekli ve doğrulanabilir bir kanıtla gösterdi.

Matematiksel gösterimle sonuç:

Buradaki 15, “şans eseri ortaya çıkan” bir sayı değildir. 14 yetersiz, 15 yeterli olduğu için minimum değer 15'tir.

Bu Keşif Neden Önemli?

Bu araştırmanın günlük hayatımıza yarın doğrudan yeni bir cihaz kazandırması beklenmiyor. Değeri daha çok matematiğin ve bilgisayar destekli ispat yöntemlerinin sınırlarında yatıyor.

Kombinatorik

Çok sayıda olasılığın belirli kurallar altında nasıl düzenlenebileceğini inceler.

Graf Teorisi

Noktalar ve aralarındaki ilişkileri matematiksel olarak modellemeye yarar.

Bilgisayar Destekli İspat

Bilgisayarların çok büyük mantıksal aramaları ve kanıtları doğrulamasını sağlar.

Algoritmalar

Aynı problemi daha az hesaplama gücüyle çözmenin yollarını araştırır.

Buradaki büyük fikir: Bilgisayar matematikçinin yerini mi aldı?

Hayır. Bu çalışma daha farklı bir şeyi gösteriyor.

Matematikçiler problemi kurdu, hangi özelliklerin önemli olduğunu belirledi, simetrileri fark etti, bilgisayarın kullanabileceği mantıksal modeli geliştirdi ve ortaya çıkan bilgisayar sonucunun güvenilir biçimde doğrulanması için yöntemler tasarladı.

Dolayısıyla burada bilgisayar yalnızca “hesap yapan bir makine” değil; matematiksel araştırmanın çok büyük bir olasılık uzayını incelemesine yardımcı olan bir araç olarak kullanıldı.

15 sayısı neden şaşırtıcı?

Çünkü arkasında son derece karmaşık hesaplamalar, algoritmalar ve matematiksel kısıtlamalar olmasına rağmen nihai cevap yalnızca tek bir sayıdan oluşuyor: 15.

Matematikte “Cevap 15” Demek Neden Yeterli Değil?

Bu araştırmanın en güzel taraflarından biri de burada.

Bir öğrenciye sadece “cevap 15” derseniz problemi çözmüş olmazsınız. Asıl bilimsel başarı, neden 14 olmadığını ve neden 15'in mümkün olduğunu gösterebilmektir.

Araştırmacıların çalışması tam olarak bu iki sınırı birleştirdi:

15 yeterli → Üst sınır 15.

14 yeterli değil → Alt sınır 15.

İki sınır birleşince kesin cevap = 15

Bu Problem Yaklaşık 20 Yıl Neden Sürdü?

Çünkü “bir çözüm bulmak” ile “başka hiçbir çözüm olmadığını kanıtlamak” aynı zorlukta değil.

Örneğin 15 sayısıyla uygun bir düzen bulduğunuzda, elinizde somut bir örnek vardır. Fakat 14'ün imkânsız olduğunu göstermek için çok büyük sayıdaki alternatif düzenin tamamının kurallardan en az birini ihlal ettiğini ortaya koymanız gerekir.

İşte bu nedenle problem 2002'de ortaya atılmasından sonra farklı araştırmacıların katkılarıyla adım adım ilerledi. 2023'te yayımlanan çalışma, bu uzun araştırma zincirinin kesin sonucunu verdi.

Görsel ve Şema Önerileri

CafeMedyam için önerilen ana görsel

Konsept: Sonsuza doğru uzanan kareli bir matematik ızgarası; farklı hücrelerde 1–15 arasında sayılar; büyük sayılar arasındaki mesafeler görsel olarak daha geniş gösterilmiş.

Görsel başlığı: “Sonsuz kareli ızgaranın matematiksel sınırı neden 15?”

Alt metin: “Matematikçilerin paketleme renklendirmesi problemi için bulduğu 15 sonucunu gösteren sonsuz kareli ızgara şeması.”

Not: Haber görselinde Popular Mechanics veya Quanta'nın telifli görsellerinin doğrudan kopyalanması yerine özgün bir şema/illüstrasyon kullanılması daha uygun olur.

Haber içinde kullanılabilecek basit şema

Not: Yukarıdaki tablo yalnızca kavramı anlatmak için hazırlanmış temsili bir şemadır; araştırmacıların gerçek çözüm düzeni değildir.

Sık Sorulan Sorular

15 sayısı neden önemli?

Çünkü sonsuz kareli ızgarayı belirlenen paketleme kurallarına göre doldurmak için gereken minimum sayı olarak kanıtlandı.

14 sayı kullanmak neden mümkün değil?

Araştırmacılar 14 ile geçerli bir düzen bulunamayacağını bilgisayar destekli ve doğrulanabilir bir tatminsizlik kanıtıyla gösterdi.

Taksi mesafesi nedir?

Yalnızca yatay ve dikey hareketlerin toplamını esas alan Manhattan mesafesidir.

Bilgisayar problemi tek başına mı çözdü?

Hayır. Araştırmacılar matematiksel modeli, SAT kodlamasını, simetri azaltma yöntemlerini ve doğrulama sürecini geliştirdi.

SAT nedir?

Bir dizi mantıksal koşulun aynı anda sağlanıp sağlanamayacağını araştıran “satisfiability” temelli hesaplama yöntemidir.

Bu keşif günlük hayatta kullanılacak mı?

Sonucun temel önemi kombinatorik, graf teorisi, algoritmalar ve bilgisayar destekli matematiksel kanıt alanlarındadır.

Kaynaklar ve Bilimsel Dayanak

Bu haber hazırlanırken popüler kaynak metnin yanı sıra, araştırmacıların akademik çalışması ve bağımsız bilimsel açıklamalar karşılaştırılmıştır.

• Bernardo Subercaseaux & Marijn J. H. Heule —
• The Packing Chromatic Number of the Infinite Square Grid is 15
• Springer / TACAS 2023 —
• The Packing Chromatic Number of the Infinite Square Grid is 15
• Quanta Magazine —
• The Number 15 Describes the Secret Limit of an Infinite Grid
• Önceki matematiksel çalışmalar —
• The packing chromatic number of the infinite square lattice is between 13 and 15
• 2022 alt sınır çalışması —
• The Packing Chromatic Number of the Infinite Square Grid Is at Least 14

Sonuç: Bazen En Basit Cevap, En Zor Sorunun Ardından Gelir

Yaklaşık 20 yıl boyunca araştırılan problem sonunda tek bir sayıyla özetlenebiliyor: 15.

Fakat bu sayının arkasında çok daha büyük bir hikâye var. Sonsuz bir kareli ızgaranın her noktasına sayı yerleştirmek kolay görünüyor. Zor olan, aynı sayıların birbirlerinden yeterince uzak olmasını sağlamak ve bunu sonsuz bir alanın tamamında yapmak.

Matematikçilerin gösterdiği şey şu: 14 farklı sayı yetmiyor; 15 farklı sayı ise yeterli.

Bu nedenle 15, burada yalnızca sıradan bir sayı değil; belirli matematiksel kurallar altında ulaşılan kesin sınır.

Haber Künyesi

Kategori: Bilim

Alt kategori: Matematik / Bilgisayar Bilimi

Konu: Paketleme renklendirmesi ve sonsuz kareli ızgara

Araştırmacılar: Bernardo Subercaseaux ve Marijn J. H. Heule

Kurum: Carnegie Mellon University

Kesin sonuç: χρ(Z2) = 15

İçerik türü: Bilim haberi / açıklayıcı araştırma

Hazırlayan: CafeMedyam

Sık Sorulan Sorular

Sonsuz kareli ızgaranın cevabı nedir? Paketleme kromatik sayısı 15'tir.

14 sayı neden yeterli değildir? Araştırmacılar 14 ile geçerli bir düzen oluşturulamayacağını bilgisayar destekli doğrulanabilir bir kanıtla göstermiştir.

Paketleme renklendirmesi nedir? Aynı sayıyı taşıyan noktaların, sayının kendisinden daha büyük bir mesafeyle ayrılmasını gerektiren bir renklendirme problemidir.