4x4 sudoku ızgarasında yalnızca 12 yapısal çözüm bulunuyor
Öne çıkanlar
- 4x4 sudoku için toplam 288 geçerli çözüm varken permütasyonlar elendiğinde yalnızca 12 yapısal çözüm kalıyor.
- Tekil çözüme sahip minimal bulmaca sayısı 85 bin 632 olarak hesaplanırken, permütasyonsuz sayı 3 bin 568 oldu.
- Bit maskesi karşılaştırmaları, alt küme kontrollerini hızlandırarak minimal konfigürasyon tespitini dakikalar içine çekti.
Standart 9x9 sudoku bulmacalarının daha küçük bir türevi olan 4x4 sudokuların matematiksel analizi, olası geçerli çözüm ve bulmaca sayısını ortaya koydu. Python tabanlı kaba kuvvet algoritmalarıyla yapılan hesaplamalar, boş bir ızgara üzerinde toplam 288 geçerli çözüm bulunduğunu gösterdi. Rakamların sembolik olarak yer değiştirdiği permütasyonlar elendiğinde ise yapısal olarak birbirinden farklı yalnızca 12 özgün çözümün var olduğu belirlendi.
Araştırmada yalnızca tam çözümler değil, tek bir çözüme işaret eden ve gereksiz ipucu içermeyen en küçük (minimal) başlangıç bulmacaları da incelendi. İpuçlarının kaldırılması durumunda çözümün tekliğini yitirdiği bu minimal bulmacaları tespit etmek için bit maskesi tabanlı bir alt küme arama yöntemi kullanıldı. Yapılan tarama sonucunda toplam 85 bin 632 minimal bulmaca konfigürasyonu tespit edildi; permütasyonlar dışlandığında bu sayı 3 bin 568 seviyesine geriledi.
Bit düzeyinde yapılan alt küme kontrolü, daha önce bulunan minimal bulmacaları referans alarak arama süresini dakikalar seviyesine indirdi. Çözümlerin yapısına bağlı olarak minimal bulmaca dağılımının farklılaştığı; 192 çözümün her biri için 304, kalan 96 çözüm için ise 284 minimal bulmaca türetilebildiği saptandı. Aynı algoritmik yaklaşımın standart 9x9 bulmacalara uygulanmasının ise yüksek hesaplama karmaşıklığı nedeniyle mümkün olmadığı kaydedildi.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.