Setiap teka-teki yang kami sajikan diverifikasi mesin
Kami tidak sekadar berharap teka-teki kami adil — kami membuktikannya, dengan solver yang berjalan independen dari generator. Di bawah ini data nyata di balik setiap lencana jaminan dan cara mereproduksinya sendiri.
FreeCell — 99.9992% pembagian bisa dimenangkan
Kami menomori pembagian persis seperti FreeCell asli Microsoft (1 hingga 1,000,000), sehingga setiap permainan cocok dengan rekaman FreeCell selama puluhan tahun. Dari satu juta pembagian pertama, hanya 8 yang tak pernah bisa dimenangkan — dan solver kami sendiri membuktikan tiap-tiapnya tak terpecahkan dengan menghabiskan seluruh pohon permainan. Kami tak pernah menyajikannya: setiap pembagian dalam rotasi diperiksa tiga kali (bagi → pecahkan → putar ulang).
Pembagian #11982 — permainan FreeCell tak terpecahkan paling terkenal — dibuktikan tak terpecahkan dalam 61,643 simpul pencarian.
| Pembagian No. | Simpul untuk membuktikan ketakterpecahan |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Saat ini kami menyajikan 768 pembagian terverifikasi — 0 tak terpecahkan, 0 belum terverifikasi.
Minesweeper — tak pernah menebak
Setiap papan bisa dibersihkan dengan logika murni sejak klik pertama. Tanpa lempar koin 50/50. Kami menghasilkan papan kandidat dan menolak papan mana pun yang memaksa menebak — pada Ahli, itu berarti menolak sekitar 89%.
| Kesulitan | Papan yang memaksa menebak (ditolak) |
|---|---|
| Mudah 9×99×9 / 10 | 7% |
| Sedang 16×1616×16 / 40 | 38.8% |
| Sulit 30×1630×16 / 99 | 89% |
100% · Tanpa menebak — selesai dengan logika saja ✓
Nonogram — tepat satu solusi
Setiap gambar punya satu solusi unik yang bisa dicapai hanya dengan logika baris demi baris. Berlawanan dengan intuisi, kisi kecil paling sulit dibuat unik — kami menolak sekitar 88% kandidat 5×5.
| Ukuran | Kandidat tanpa solusi unik lewat logika baris (ditolak) |
|---|---|
| Mudah 5×55×5 | 87.6% |
| Menengah 10×1010×10 | 68.9% |
| Sulit 15×1515×15 | 49.6% |
100% · Solusi tunggal — dapat diselesaikan hanya dengan logika ✓
Water Sort — "par" adalah minimum sesungguhnya
Setiap level bisa diselesaikan, dan par yang kami tampilkan adalah jumlah langkah paling sedikit yang tepat — dibuktikan solver A*, bukan diperkirakan. Level lebih sulit butuh lebih banyak: Sulit berkisar 21–35 langkah.
| Kesulitan | Langkah paling sedikit (optimal terbukti) |
|---|---|
| Mudah (7 tabung)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Menengah (10 tabung)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Sulit (14 tabung)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Setiap papan dapat diselesaikan — langkah optimal ditampilkan ✓
Cara memeriksanya sendiri
Dua aturan menjaga jaminan ini jujur. Pertama, solver independen dari generator — generator tak pernah menilai pekerjaannya sendiri. Kedua, semuanya bisa direproduksi: jalankan node scripts/guarantee-stats.mjs dan Anda akan mendapat ukuran bukti yang sama. Setiap solver terbuka di basis kode kami.
Data dihasilkan pada 2026-07-26.
Pertanyaan yang sering diajukan
Apakah semua permainan FreeCell bisa dimenangkan?
Hampir semua. Dari 1,000,000 pembagian bernomor pertama, tepat 8 tak terpecahkan — sekitar 99.9992% bisa dimenangkan. Kami membuktikan kedelapannya tak terpecahkan dengan solver kami dan tak pernah menyajikannya.
Pembagian FreeCell mana yang mustahil dimenangkan?
Dalam satu juta pertama: #11982, #146692, #186216, #455889, #495505, #512118, #517776, dan #781948. #11982 adalah satu-satunya pembagian tak terpecahkan di antara 32,000 pertama milik Microsoft.
Apa arti Minesweeper tanpa menebak?
Setiap papan bisa diselesaikan hanya dengan logika — Anda tak pernah sampai pada titik di mana dua sel sama-sama mungkin berisi ranjau dan Anda harus menebak. Papan yang memaksa menebak ditolak sebelum kami sajikan.
Apakah setiap Nonogram punya solusi unik?
Ya. Setiap teka-teki diverifikasi memiliki tepat satu solusi, yang bisa dicapai lewat logika baris demi baris — sehingga Anda tak pernah perlu menebak atau mundur dari cabang yang salah.
Apakah jumlah langkah Water Sort adalah minimum sesungguhnya?
Ya. Par dihitung oleh solver A* yang tepat sebagai jumlah langkah paling sedikit yang terbukti untuk level itu, bukan perkiraan.