Каждая головоломка, которую мы подаём, проверена машиной
Мы не просто надеемся, что наши головоломки честны, — мы это доказываем солвером, работающим независимо от генератора. Ниже реальные данные за каждым значком гарантии и как воспроизвести их самому.
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* как доказуемо наименьшее число ходов для этого уровня, а не приближение.