Всегда ли пасьянс решаем? Что означает решаемость

Краткий ответ: Универсальной гарантии решаемости пасьянса не существует. Раскладка считается решаемой только в том случае, если при точно определенных правилах версии, политике повторного прохода колоды (redeal), модели информации и начальных условиях можно найти хотя бы один законный путь к победе. Это математическое свойство отличается от процента побед игрока и от доли раскладок, которые удаётся завершить конкретному решателю. PlaySoli не утверждает, что каждая раскладка Klondike, Spider или FreeCell всегда решаема SRC-001.

Вопросы о «проценте выигрыша в пасьянсе» звучат числово, но первичная задача — дать определение. Косынка по одной карте с безлимитным повторным проходом колоды (redeal) — это не та же самая проблема, что и косынка по трём картам с ограниченным количеством проходок. Обычная «Косынка» со скрытыми картами — это не тот же информационный вопрос, что и Thoughtful Klondike, где известны все карты. Spider One Suit (Паук одной масти) и Spider Four Suits (Паук четырёх мастей) имеют одинаковую расстановку на игровом поле, но разные ограничения по мастям.

Это руководство объясняет, что исследователи, программное обеспечение и игроки могут законно подразумевать под словом решаемый — и как распознать процент, применённый к неправильной игре.

Содержание

• Пять разных вопросов, скрытых внутри слова «решаемость»
• Правила, меняющие решаемость
• Что исследования Thoughtful Klondike показывают и не показывают
• Косынка, Паук и Свободная ячейка требуют отдельных ответов
• Ежедневные раскладки, случайные раскладки и отобранные вручную
• Как проверить утверждение о решаемости
• Вкратце
• Часто задаваемые вопросы

Пять разных вопросов, скрытых внутри слова «решаемость»

1. Решаема ли эта конкретная раскладка?

Конкретная раскладка считается решаемой, если существует хотя бы одна последовательность законных ходов, приводящая к выигрышному условию. Ответ является свойством этой конкретной раскладки плюс точными правилами игры.

Неудачная попытка не доказывает нерешаемость. Она показывает лишь то, что выбранный путь не привёл к победе. Чтобы доказать решаемость, достаточно одного полного законного решения. Чтобы доказать нерешаемость, необходимо исключить все соответствующие законные пути или опираться на корректный математический аргумент.

2. Какая доля всех раскладок является решаемой?

Это вопрос о совокупности (population). Он спрашивает, как часто встречающаяся в выборке из определённого распределения раскладка оказывается решаемой.

Совокупность должна быть указана точно. «Все перемешанные колоды 52 карт для Косынки по одной карте с безлимитным повторным проходом колоды (redeal), правилами ходов PlaySoli и заявленной моделью информации» — это осмысленное определение. Утверждение «Пасьянс решаем на 80%» не является корректным.

Отчётная оценка может включать доверительный интервал, который выражает неопределённость выборки вокруг оценки. Узкий интервал не исправляет несоответствие наборов правил.

3. Каков процент побед игрока?

Процент побед игрока — это отношение завершённых игр к числу попыток при заявленных условиях. Он зависит от мастерства, знакомства с правилами, использования функции «отмена» или подсказок, учитываются ли брошенные раскладки и какие именно раскладки предлагались для игры.

Сильный игрок может иметь более низкий измеренный процент побед в Пауке четырёх мастей по сравнению со новичком в Пауке одной масти без какого-либо противоречия. Они играют разные игры.

4. Каков процент успеха решателя?

Решатель может провалиться, потому что раскладка невозможна, из-за истечения лимита поиска, из-за того, что его эвристики пропускают путь решения, или потому что программное обеспечение моделирует другие правила игры. Успех решателя — это результат алгоритма и эксперимента, а не автоматически реальный процент решаемых раскладок.

Решатель, завершивший 90% выборки, устанавливает как минимум то, что эти завершенные раскладки являются решаемыми (при условии законности сделанных им ходов). Он не доказывает, что оставшиеся 10% невозможны.

5. Какова вероятность того, что игрок сможет принудительно выиграть без знания скрытых карт?

Это вопрос выбора в условиях неопределённости. В обычной «Косынке» игрок выбирает ходы, не зная всех закрытых карт. Раскладка может быть решаемой при полной информации, но ни одна стратегия не гарантирует нахождения решения по видимой позиции без знания скрытых карт.

Два скрытых расположения могут выглядеть одинаково в момент принятия решения, но требовать противоположных ходов. Решатель с полной информацией может выбрать правильно, потому что знает скрытые карты; у человека при обычной игре такой информации нет.

Правила, меняющие решаемость

Процент относится к конкретному набору правил. Особенно важны следующие переменные.

Правило вытягивания карт из колоды

Косынка по одной карте (Draw 1) открывает каждую карту в колоде напрямую. Косынка по трём картам (Draw 3) открывает до трёх карт и позволяет играть только верхнюю карту сброса (waste). Это меняет, какие карты из колоды можно достать и в каком порядке SRC-001 SRC-002 SRC-003.

Результат для Косынки по одной карте нельзя перенести на косынку по трём картам просто потому, что расстановка игрового поля (tableau) одинаковая.

Лимит повторного прохода колоды или проходок

Неограниченное число проходов колоды, один проход и три прохода создают разные пространства состояний. PlaySoli разрешает неограниченное число проходов как в «Косынке» по одной карте, так и в «Косынке» по трём картам SRC-001. Исторический или экспериментальный результат с ограниченным числом проходов описывает другую версию игры.

Неограниченные проходы не делают раскладку автоматически решаемой. Они лишь не дают доступу к колоде закончиться после фиксированного числа проходов.

Скрытые против известных карт

Обычная Косынка скрывает идентификаторы карт. Thoughtful Klondike сохраняет те же физические ограничения, но предоставляет принимающему решение лицу знание каждой карты. Это информационное изменение может увеличить набор раскладок, которые политика или решатель могут завершить, и меняет смысл «оптимальной игры».

Свободная ячейка (FreeCell) начинается со всех 52 карт на виду SRC-001 SRC-007. Паук начинает со скрытыми картами, но имеет другую структуру движения и раздачи. Видимость нельзя сравнивать без остальных правил игры.

Правило пустого столбца

Косынка разрешает движение только с королём в пустой столбец. Свободная ячейка принимает одну карту как примитивный ход. Паук принимает законную одиночную карту или последовательность одной масти SRC-001. Изменение правила для пустого столбца меняет мобильность и, следовательно, решаемость.

Правило групповых перемещений

«Паук» ограничивает групповые перемещения нисходящими последовательностями одной масти. Перемещение последовательностей в «Свободной ячейке» зависит от доступных ячеек и пустых столбцов. Решатель, допускающий более крупные групповые перемещения, чем реализация, моделирует другую игру.

Автоматические действия

Автоматическое переворачивание карт или удаление завершённой последовательности в «Пауке» обычно реализует неизбежное следствие правил. Автоматические перемещения в дом могут быть сложнее: если программа продвинет карту, которая могла законно остаться на игровом поле, игрок потеряет стратегический выбор, если карту нельзя вернуть назад.

Эксперимент должен указывать, являются ли такие ходы вынужденными, опциональными или обратимыми.

Распределение раскладок

Равномерно перемешанная колода, конечный список пронумерованных раскладок, отобранный вручную ежедневный вызов и генератор, исключающий известные провалы — это разные совокупности. Даже идеально вычисленные проценты нельзя сравнивать, если их распределения раскладок не совпадают.

Что исследования Thoughtful Klondike показывают и не показывают

В рецензируемом исследовании 2026 года Чарли Блейк (Charlie Blake) и Иан П. Джент использовали универсальную программу Solvitaire для оценки решаемости многих точно определённых вариантов пасьянса SRC-030. Для Thoughtful Klondike — «Косынки» с полной информацией, где игрок знает ранг и масть каждой карты, — сообщается значение 81,945%, с доверительным интервалом 95% ±0,084 процентных пункта.

Этот результат ценен тем, что он точный и его модель игры определена. Он также часто рискует быть чрезмерно упрощённым.

Что подтверждает эта цифра

• Это оценка для определённой в статье версии Thoughtful Klondike.
• «Thoughtful» означает, что все идентификаторы карт известны принимающему решение лицу.
• Указание неопределённости — часть результата, а не украшение.
• Исследование демонстрирует, как обычный решатель может анализировать множество версий игры терпения при явных правилах.

Что эта цифра НЕ подтверждает

• Это не измеренный процент побед игрока PlaySoli.
• Это автоматически не является процентом решаемых раскладок для Косынки по трём картам (Draw 3).
• Это не вероятность того, что обычный игрок сможет выиграть без знания скрытых карт.
• Это не универсальный процент для каждой реализации под названием «Косынка».
• В нём ничего прямого не говорится о Пауке или Свободной ячейке, если в статье отдельно не определены и не сообщаются эти версии игры.

Более ранние исследования также формулировали результаты по «Косынке» как нижние границы, используя методы планирования, которые решают некоторые выбранные раскладки, но не утверждают, что каждая нерешённая раздача невозможна SRC-031. Различие существенно: демонстрация многих побед может повысить нижнюю границу, но доказательство точного значения для всей совокупности требует более широкого охвата.

Правильный способ цитирования результата

Исследование JAIR 2026 года оценивает Thoughtful Klondike — где известны все идентификаторы карт — как решаемую на 81,945%, с доверительным интервалом 95% ±0,084 процентных пункта при его определённых правилах SRC-030. Эту цифру не следует представлять как обычный процент побед в PlaySoli.

Неправильный способ цитирования результата

Пасьянс решаем на 81,945%.

Второе предложение убирает версию игры, модель информации, неопределённость и различие между решаемостью раскладки и производительностью игрока.

Косынка, Паук и Свободная ячейка требуют отдельных ответов

Косынка

В «Косынке» PlaySoli есть скрытые карты на игровом поле и неограниченное число проходов колоды. «Косынка» по одной карте (Draw 1) и по трём картам (Draw 3) различаются доступностью карт в колоде SRC-001 SRC-002 SRC-003. Поэтому для PlaySoli нельзя указывать единый «процент выигрыша в Косынке» без дополнительных уточнений.

Для конкретной проигрышной раскладки остаются возможны несколько объяснений:

• раскладка была нерешаемой при выбранных правилах;
• раскладка была решаемой, но ранний выбор заблокировал путь к победе;
• раскладка была решаемой с полным знанием карт, но не могла быть принудительно выиграна из доступной информации в каждой точке принятия решения;
• игрок бросил игру до того, как нашёл жизнеспособную линию.

Повторная игра с теми же картами может продемонстрировать решение, но второй проигрыш всё ещё не доказывает невозможность.

Паук

Паук использует две колоды и требует восьми полных последовательностей от Короля до Туза одной масти. Версии на одну, две и четыре масти меняют частоту того, как порядок рангов также создаёт мобильность по мастям SRC-001 SRC-004 SRC-005 SRC-006.

Уровень мастей, следовательно, не является декоративным параметром сложности. Он меняет структуру законных групповых перемещений. Любое утверждение о решаемости должно указывать:

• количество мастей;
• начальную раскладку;
• знает ли игрок перевернутые карты;
• правило «нет ряда, пока столбец пуст» («no row while a column is empty» rule);
• удаляются ли завершённые ходы автоматически;
• распределение раскладок и метод решателя.

PlaySoli не даёт универсального обещания, что каждая раскладка Паука решаема SRC-001.

Свободная ячейка

Полностью видимое начальное положение в Свободной ячейке делает её более пригодной для полного планирования и проверки решателем. Она также ассоциируется с известными коллекциями пронумерованных раскладок и сильной репутацией по поводу их решаемости SRC-033. Репутация — не универсальное доказательство.

Гарантия для Свободной ячейки может провалиться как минимум по трём причинам:

1. начальная раскладка действительно может не иметь решения;
2. реализация игры может использовать другую ёмкость последовательностей или соглашение о пустом столбце;
3. предлагаемый набор может включать раскладки, не входившие в исторически изученную коллекцию пронумерованных раздач.

В «Свободной ячейке» PlaySoli все карты выкладываются лицом вверх в восемь столбцов; используются четыре ячейки и четыре дома; в пустой столбец можно положить одну карту; допустимая длина группового хода зависит от доступного рабочего пространства SRC-001 SRC-007. PlaySoli не утверждает, что каждая раскладка решаема.

Ежедневные раскладки, случайные раскладки и отобранные вручную

Ежедневная раскладка обычно означает, что игроки получают одинаковое расположение для конкретной даты. Это само по себе не раскрывает, как было выбрано это расположение.

Возможными системами являются:

• детерминированное генерирование из даты;
• случайно выбранная раскладка, сохранённая на день;
• отбор редакцией (editorial selection);
• проверка решателем (solver-verified selection);
• отбор по уровням сложности (difficulty-banded selection);
• фиксированная пронумерованная последовательность.

Если продукт не документирует кураторство или проверку решателем, не следует выводить из этого, что «ежедневный» означает гарантированную решаемость. Полезное свойство общей ежедневной раскладки — сопоставимость: игроки могут обсуждать одно начальное состояние.

Случайная раскладка также требует определения. Псевдослучайность программного обеспечения может быть воспроизводимой из семени (seed), в то время как физическое перемешивание создаёт практический случайный процесс. Ни один термин не устанавливает решаемость.

Отобранная вручную раскладка могла пройти проверку на желаемое свойство, но это свойство нужно назвать. Ручной отбор может означать, что раскладка визуально интересна, сложна, подходит новичкам или подтверждена решателем; сам по себе он не означает, что раскладка решаема.

Для датированного режима PlaySoli см. Ежедневный пасьянс.

Как проверить утверждение о решаемости

Прежде чем доверять или сравнивать процент, требуйте ответов на эти вопросы.

1. Какая названная версия игры?

Запишите Косынку по одной карте, Косынку по трём картам, Паук Две Масти, Свободную ячейку или другое точное название. «Пасьянс» недостаточно.

2. Какие полные правила?

Укажите количество колод, построение игрового поля (tableau), цель дома (foundation) или хода (run), правила для пустых столбцов, групповые движения, вытягивание карт из колоды (stock draw), лимит повторного прохода (redeal limit) и автоматические действия.

3. Что может видеть игрок или решатель?

Различайте игру со скрытой информацией и игру с полной информацией.

4. Какова совокупность раскладок?

Все случайные перемешивания, пронумерованный набор, ежедневный набор или фильтрованная выборка дают разные утверждения.

5. Какой результат был измерен?

Ищите один из этих точных меток:

• доказанные решаемые раскладки;
• доказанные нерешаемые раскладки;
• завершения решателя в пределах ресурсного лимита;
• победы игрока;
• победы с первой попытки (first-attempt wins);
• победы с отменой или перезапуском;
• оценочная решаемость совокупности.

6. Какая неопределённость или граница сообщается?

Оценка по выборке должна включать размер выборки и её неопределённость. Нижнюю границу нельзя представлять как точную долю. Тайм-аут решателя нельзя выдавать за доказательство невозможности раскладки.

7. Можно ли перенести результат на PlaySoli?

Сравните каждое существенное правило. Неограниченное число проходов в «Косынке», доступ к картам в Draw 3 на PlaySoli, правило группового перемещения в «Пауке», запрет новой раздачи при пустом столбце и модель рабочего пространства «Свободной ячейки» должны совпадать, прежде чем переносить числовой результат SRC-001.

Примеры правильной интерпретации

Пример A: «Я проиграл эту раскладку Косынки по одной карте, значит она нерешаемая»

Вывод не следует из этого факта. Попытка устанавливает поражение вдоль одного пути. Повторное решение установит решаемость; для невозможности потребуется корректное исчерпывающее доказательство.

Пример B: «Решатель выиграл 92 из 100 раскладок, значит 92% являются решаемыми»

В лучшем случае эксперимент показывает, что эти 92 выборочные раскладки были решаемы (если решения законны). Оставшиеся восемь могут быть невозможными или просто нерешёнными. Выборка также требует определённого распределения и неопределённости.

Пример C: «Thoughtful Klondike составляет около 81,945%, значит мой личный процент должен быть близок»

Нет. Результат исследования касается решаемости раскладки при полном знании карт под определённой версией игры. Личный процент включает мастерство принятия решений и обычные ограничения информации SRC-030.

Пример D: «Свободная ячейка показывает каждую карту, значит каждая раскладка имеет решение»

Полная информация помогает планированию и проверке. Она не логически гарантирует, что каждое начальное расположение имеет законный путь к домам (foundation).

Вкратце

• Решаемость — это свойство раскладки при точных правилах; процент побед — это свойство игроков или решателей в рамках эксперимента.
• Правило вытягивания карт, лимит повторного прохода колоды, информация, соглашение о пустом столбце, групповые движения, автоматизация и распределение раскладок имеют значение.
• Результат 2026 года — 81,945%, с доверительным интервалом 95% ±0,084 процентных пункта — относится к определённой версии Thoughtful Klondike, а не к обычной игре на PlaySoli SRC-030.
• Провал решателя автоматически не является доказательством невозможности.
• Ежедневный режим не означает автоматически отобранный вручную или гарантированно решаемый пасьянс.
• Открытая информация в Свободной ячейке не оправдывает утверждение, что каждая раскладка решаема.
• PlaySoli не гарантирует каждую раскладку Косынки, Паука или Свободной ячейки SRC-001.

Распространённые ошибки при обсуждении процентов побед

Игнорирование версии игры

«Процент пасьянса» без уточнений почти всегда лишён необходимого контекста. Указывайте точный вариант игры и его правила.

Смешивание производительности игрока с математической решаемостью

Рекорд человека отражает выборы, условия и подсчитанные попытки. Он напрямую не оценивает долю решаемых раскладок.

Игнорирование скрытой информации

Результаты при полной информации могут быть полезны как верхние ориентиры для задачи принятия решений, но их нельзя представлять как обычную производительность человека.

Считать нерешённое невозможным

Лимиты поиска и слабые эвристики могут оставлять решаемые раскладки незавершёнными. Сохраняйте термин «доказанно нерешаемый» для доказательств, которые это оправдывают.

Заимствование процента из другого правила повторного прохода колоды

Ограниченное и неограниченное число проходов создаёт разные игры с аналитической точки зрения.

Предположение, что метки продукта раскрывают выбор раскладок

«Ежедневный», «случайный» и «пронумерованный» описывают доступ или идентичность. Они сами по себе не заявляют, проверил ли решатель раскладку.

Часто задаваемые вопросы

Всегда ли классический пасьянс решаем?

Нет универсального утверждения, которое было бы оправдано. «Классический пасьянс» может относиться к разным правилам вытягивания карт и повторного прохода колоды в Косынке, а индивидуальные начальные раскладки могут различаться по решаемости.

Какой процент раскладок Косынки является решаемым?

Процент требует точной версии игры и модели информации. Исследование 2026 года сообщает о значении 81,945% для Thoughtful Klondike, с доверительным интервалом 95% ±0,084 процентных пункта, где известны все идентификаторы карт SRC-030. Это не общий процент побед в PlaySoli или у человека.

Является ли Косынка по одной карте более решаемой, чем косынка по трём картам?

Косынка по одной карте предоставляет более прямой доступ к колоде, поэтому аналитические проблемы различаются. Точное сравнение всё ещё требует совпадения правил повторного прохода колоды (redeal), информации и выборки раскладок. Не следует выводить числовой разрыв без доказательств с источником-совпадением.

Делает ли безлимитный повторный проход колоды каждую раскладку Косынки решаемой?

Нет. Это лишь убирает лимит проходов, но порядок скрытых карт и зависимости игрового поля всё ещё могут препятствовать завершению игры.

Решаемы ли все раскладки Свободной ячейки?

Не следует делать универсального утверждения о гарантии. Многие изученные наборы раскладок имеют очень высокий процент решаемых, но некоторые расположения и вариации правил могут быть нерешаемыми, а PlaySoli не обещает каждую раскладку SRC-001 SRC-033.

Всегда ли решаема Паук одной масти?

PlaySoli не даёт такой гарантии. Одна масть убирает сложность конфликтов по мастям, но точная раскладка и доступный законный порядок всё ещё имеют значение.

Может ли компьютер доказать невозможность раскладки?

Да, в принципе, если он корректно моделирует правила и исчерпывающе исключает все законные пути к победе либо строит строго обоснованное доказательство. Тайм-аут или неудачный эвристический поиск для этого недостаточны.

Меняется ли решаемость раскладки при повторной игре с отменой?

Исходная раскладка остаётся той же, если функция «отмена» не меняет карты. Отмена изменяет процесс поиска игрока и, следовательно, влияет на условия измерения производительности.

Гарантированы ли решения для раскладок в режиме Ежедневный пасьянс?

Не обязательно, если продукт прямо не заявляет и не документирует проверку решателем или ручной отбор именно по этому свойству. Ежедневный режим означает прежде всего общую датированную раскладку.

Почему разные веб-сайты публикуют разные проценты побед?

Они могут использовать разные версии игры, лимиты проходок (pass limits), предположения об информации, выборки, возможности решателей или определения подсчитанных побед. Сравнивайте методологию перед сравнением чисел.

Дополнительные руководства PlaySoli

• Стратегия без обещаний победы
• Как правила вытягивания карт меняют игру
• Движение в Свободной ячейке и моделирование решателями
• Как работает режим Ежедневный пасьянс
• Прямые ответы на распространённые вопросы о пасьянсах

Использованные источники

• SRC-001 Реализация PlaySoli и редакционная спецификация.
• SRC-002 PlaySoli — Косынка по одной карте.
• SRC-003 PlaySoli — Косынка по трём картам.
• SRC-004 PlaySoli — Паук одной масти.
• SRC-005 PlaySoli — Паук двух мастей.
• SRC-006 PlaySoli — Паук четырёх мастей.
• SRC-007 PlaySoli — Свободная ячейка.
• SRC-030 Блейк и Джент (Blake and Gent) — рецензируемый анализ Косынки и других версий игры терпения.
• SRC-031 Бьярнасон, Ферн и Тадепали (Bjarnason, Fern, and Tadepalli) — оценка нижней границы для Косынки с планированием методом Монте-Карло.
• SRC-033 Майкл Келлер (Michael Keller) — технические ссылки и исследования раскладок «Свободной ячейки».

Материал проверен: 2026-07-17.

Оспариваемые или непроверенные факты: Не утверждается универсальный процент решаемости в PlaySoli. Числовые результаты сохраняются только с их оригинальной версией игры, моделью информации и неопределённостью. Методы выбора раскладок для режима не следует выводить из этого, если они не опубликованы официально.

Ответственность редакции: Редакционная команда PlaySoli.