Кожна головоломка, яку ми подаємо, перевірена машиною
Ми не просто сподіваємося, що наші головоломки чесні, — ми це доводимо солвером, що працює незалежно від генератора. Нижче реальні дані за кожним значком гарантії та як відтворити їх самому.
FreeCell — 99.9992 % розкладів виграшні
Ми нумеруємо розклади точно як оригінальний FreeCell від Microsoft (від 1 до 1,000,000), тож кожна партія збігається з десятиліттями записів FreeCell. З першого мільйона розкладів лише 8 не можна виграти ніколи — і наш власний солвер доводить нерозв’язність кожного, вичерпуючи все дерево гри. Ми їх ніколи не подаємо: кожен розклад у ротації перевіряється тричі (роздати → розв’язати → відтворити).
Розклад #11982 — найвідоміша нерозв’язна партія FreeCell — доведений нерозв’язним за 61,643 вузлів пошуку.
| Розклад № | Вузли для доведення нерозв’язності |
|---|---|
| #11982 | 61,643 |
| #146692 | 8,637 |
| #186216 | 16,606 |
| #455889 | 11,806 |
| #495505 | 27,688 |
| #512118 | 22,490 |
| #517776 | 67,016 |
| #781948 | 4,381 |
Наразі ми подаємо 768 перевірених розкладів — 0 нерозв’язних, 0 неперевірених.
Сапер — ніколи не вгадувати
Кожне поле розчищається чистою логікою з першого кліку. Жодних жеребів 50/50. Ми генеруємо поля-кандидати й відхиляємо будь-яке, що змусило б вгадувати — на рівні «Експерт» це близько 89 % відхилень.
| Складність | Поля, що змусили б вгадувати (відхилені) |
|---|---|
| Легкий 9×99×9 / 10 | 7% |
| Середній 16×1616×16 / 40 | 38.8% |
| Складний 30×1630×16 / 99 | 89% |
100% · Без вгадування — розв'язується самою логікою ✓
Японський кросворд — рівно один розв’язок
Кожна картинка має єдиний унікальний розв’язок, досяжний лише порядковою логікою. Всупереч інтуїції, малі сітки найважче зробити однозначними — ми відхиляємо близько 88 % кандидатів 5×5.
| Розмір | Кандидати без однозначного розв’язку лінійною логікою (відхилені) |
|---|---|
| Легкий 5×55×5 | 87.6% |
| Середній 10×1010×10 | 68.9% |
| Складний 15×1515×15 | 49.6% |
100% · Одне розв'язання — розв'язується лише логікою ✓
Water Sort — «пар» — це справжній мінімум
Кожен рівень розв’язний, а показаний пар — це точно найменша можлива кількість ходів, доведена солвером A*, а не оцінка. Складніші рівні потребують більше: «Важкий» — це 21–35 ходів.
| Складність | Найменше ходів (оптимум доведено) |
|---|---|
| Легкий (7 колб)5 colors / 7 tubes | 8–16 (avg 11.8) |
| Середній (10 колб)8 colors / 10 tubes | 15–23 (avg 18.8) |
| Складний (14 колб)12 colors / 14 tubes | 21–35 (avg 26.9) |
100% · Кожна дошка розв'язна — оптимальні ходи показані ✓
Як перевірити це самому
Два правила тримають ці гарантії чесними. Перше: солвер незалежний від генератора — генератор ніколи не оцінює власну роботу. Друге: усе відтворюване — запустіть node scripts/guarantee-stats.mjs, і отримаєте ті самі розміри доказів. Кожен солвер відкритий у нашій кодовій базі.
Дані згенеровано 2026-07-26.
Часті запитання
Чи всі партії FreeCell виграшні?
Майже всі. З перших 1,000,000 пронумерованих розкладів рівно 8 нерозв’язні — близько 99.9992 % виграшні. Усі 8 ми доводимо нерозв’язними нашим солвером і ніколи не подаємо.
Які розклади FreeCell неможливо виграти?
У першому мільйоні: #11982, #146692, #186216, #455889, #495505, #512118, #517776 та #781948. #11982 — єдиний нерозв’язний розклад серед перших 32,000 від Microsoft.
Що означає Сапер без вгадування?
Кожне поле розв’язується самою логікою — ви ніколи не доходите до місця, де дві клітинки рівноймовірно міни й треба вгадувати. Поля, що змусили б вгадувати, відхиляються до подання.
Чи має кожен японський кросворд унікальний розв’язок?
Так. Кожна головоломка перевіряється на рівно один розв’язок, досяжний порядковою логікою — тож вам ніколи не потрібно вгадувати чи відкочуватися з хибної гілки.
Чи кількість ходів у Water Sort — справжній мінімум?
Так. Пар обчислює точний солвер A* як доказово найменшу кількість ходів для цього рівня, а не наближення.