Sunduğumuz her bulmaca makineyle doğrulanır

Bulmacalarımızın adil olmasını yalnızca ummayız — üreticiden bağımsız çalışan bir çözücüyle kanıtlarız. Aşağıda her garanti rozetinin arkasındaki gerçek veriler ve bunları kendiniz nasıl yeniden üretebileceğiniz var.

FreeCell — dağıtımların %99.9992’si kazanılabilir

Dağıtımları tam olarak Microsoft’un özgün FreeCell’i gibi numaralandırırız (1’den 1,000,000’a), böylece her oyun onlarca yıllık FreeCell kayıtlarıyla örtüşür. İlk bir milyon dağıtımdan yalnızca 8’i asla kazanılamaz — ve kendi çözücümüz tüm oyun ağacını tüketerek her birini çözülemez olarak kanıtlar. Bunları asla sunmayız: dönüşteki her dağıtım üç kez denetlenir (dağıt → çöz → tekrar oynat).

Dağıtım #11982 — en ünlü çözülemez FreeCell oyunu — 61,643 arama düğümünde çözülemez olarak kanıtlanır.

İlk bir milyondaki 8 çözülemez dağıtım — her biri kendi çözücümüzce kanıtlandı
Dağıtım No Çözülemezliği kanıtlayan düğümler
#11982 61,643
#146692 8,637
#186216 16,606
#455889 11,806
#495505 27,688
#512118 22,490
#517776 67,016
#781948 4,381

Şu anda 768 doğrulanmış dağıtım sunuyoruz — 0 çözülemez, 0 doğrulanmamış.

Mayın Tarlası — asla tahmin yok

Her tahta ilk tıklamadan itibaren saf mantıkla temizlenebilir. 50/50 yazı tura yok. Aday tahtalar üretir ve tahmine zorlayacak her tahtayı eleriz — Uzman’da bu, yaklaşık %89’sini elemek demektir.

Zorluk Tahmine zorlayacak tahtalar (elenen)
Kolay 9×99×9 / 10 7%
Orta 16×1616×16 / 40 38.8%
Zor 30×1630×16 / 99 89%

100% · Tahmin yok — yalnızca mantıkla çözülebilir ✓

Nonogram — tam olarak tek çözüm

Her resmin, yalnızca satır satır mantıkla ulaşabileceğiniz tek bir benzersiz çözümü vardır. Sezgiye aykırı biçimde, küçük ızgaraları benzersiz yapmak en zorudur — 5×5 adaylarının yaklaşık %88’sini eleriz.

Boyut Satır mantığıyla benzersiz çözümü olmayan adaylar (elenen)
Kolay 5×55×5 87.6%
Orta 10×1010×10 68.9%
Zor 15×1515×15 49.6%

100% · Tek çözüm — yalnızca mantıkla çözülür ✓

Water Sort — "par" gerçek asgaridir

Her seviye çözülebilir ve gösterdiğimiz par, tam olarak mümkün en az hamle sayısıdır — bir A* çözücüyle kanıtlanmış, tahmin edilmemiştir. Daha zor seviyeler daha fazlasını gerektirir: Zor, 21–35 hamle sürer.

Zorluk En az hamle (optimal kanıtlandı)
Kolay (7 tüp)5 colors / 7 tubes 8–16 (avg 11.8)
Orta (10 tüp)8 colors / 10 tubes 15–23 (avg 18.8)
Zor (14 tüp)12 colors / 14 tubes 21–35 (avg 26.9)

100% · Her tahta çözülebilir — optimum hamleler gösterilir ✓

Bunu kendiniz nasıl doğrularsınız

İki kural bu garantileri dürüst tutar. Birincisi, çözücü üreticiden bağımsızdır — bir üretici kendi işini asla notlandırmaz. İkincisi, her şey yeniden üretilebilir: node scripts/guarantee-stats.mjs komutunu çalıştırın, aynı kanıt boyutlarını elde edersiniz. Her çözücü kod tabanımızda açıktır.

Veriler 2026-07-26 tarihinde üretildi.

Sık sorulan sorular

Tüm FreeCell oyunları kazanılabilir mi?

Neredeyse hepsi. İlk 1,000,000 numaralı dağıtımdan tam 8’i çözülemez — yaklaşık %99.9992’si kazanılabilir. 8’inin de çözülemez olduğunu kendi çözücümüzle kanıtlar ve asla sunmayız.

Hangi FreeCell dağıtımları kazanılması imkânsız?

İlk bir milyonda: #11982, #146692, #186216, #455889, #495505, #512118, #517776 ve #781948. #11982, Microsoft’un özgün 32,000’i arasındaki tek çözülemez dağıtımdır.

Tahminsiz Mayın Tarlası ne demek?

Her tahta yalnızca mantıkla çözülebilir — iki hücrenin mayın olma olasılığının eşit olduğu ve tahmin etmeniz gereken bir noktaya asla ulaşmazsınız. Tahmine zorlayacak tahtalar, sunmadan önce elenir.

Her Nonogram’ın benzersiz çözümü var mı?

Evet. Her bulmaca, satır satır mantıkla ulaşılabilen tam olarak tek bir çözüme sahip olacak şekilde doğrulanır — böylece asla tahmin etmeniz ya da yanlış bir daldan geri dönmeniz gerekmez.

Water Sort hamle sayısı gerçek asgari mi?

Evet. Par, o seviye için kanıtlanabilir en az hamle sayısı olarak tam bir A* çözücüyle hesaplanır, bir yaklaşım değildir.