Kısıtlama modeli
Değişkenler: her boş hücre. Alan: 1–9 rakamlar. Kısıtlamalar: her satır, sütun ve 3×3 kutu tam olarak bir kez tüm rakamları içermelidir. Bu klasik bir tam kapsam problemidir. Donald Knuth'un Algoritma X'i, dans eden bağlantılarla uygulanan, kısıtlama alanını kapsamlı arayarak herhangi bir geçerli Sudoku'yu milisaniyeler içinde çözer.
İnsan stratejileri sezgi olarak
İnsanlar Sudoku çözerken 'çıplak çiftler', 'X-Kanat' ve 'kılıçbalığı' gibi isimleri olan stratejiler kullanır. Her biri hücrelerden adayları eleyen bir kalıptır. AI terimlerinde bunlar kısıtlama yayılımı sezgileridir — geri izleme gerekmeden önce arama alanını azaltan kurallar. 'Şeytani' olarak derecelendirilen bir bulmaca basitçe basit sezgisellerin yetersiz kaldığı biridir.
Çözme çözmekten daha zor
Benzersiz bir çözümü olan bir Sudoku yaratmak birini çözmekten hesaplama açısından daha zordur. Oluşturucular tam bir ızgarayla başlar, sayıları kaldırır ve her kaldırma sonrası benzersizliği kontrol eder. Zorluk kontrol etmek bir sanattır: çok fazla verilen ve önemsizdir; çok az ve kaba kuvvet gerekir. En iyi bulmaca yayınları insan derecelendirilmiş zorluk eğrileri kullanır.
Bulmacadan paradigmaya
Sudoku'nun kısıtlama yapısı programlama, kaynak tahsisi, devre tasarımında ve hatta radar hedef ilişkilendirme problemlerinde görülür. Bir radarın birden fazla hedefi ve birden fazla izi varsa, ölçümleri izlere atamak ek olasılıksal ağırlıkları olan bir kısıtlama memnuniyeti problemidir. Gazete Sudoku'nuzu çözen çözücü, füze izlerinin takas edilmesini önleyen çözücüyle kuzenidir.