Гайд по решению Water Sort: таблица par, свободный стакан и скан затыка (2026)

Последнее обновление: октябрь 2026 · Проверено на Water Sort Puzzle сайта Playnesta (оригинал Playnesta, MIT: js/main.js, js/levels.js, стили, аналитический мост и тач-прокладка) · 11 уровней · вместимость 4 единицы на стакан · par по уровням 6 / 9 / 9 / 12 / 9 / 14 / 14 / 14 · 1 свободный стакан (легко/средне) · 2 свободных стакана (сложно) · Отмена / Заново / вперёд-назад

Метод: каждое число ниже — константа из опубликованного модуля правил этого сайта js/main.js и js/levels.js (оригинал Playnesta, MIT), прочитанная и сверенная в этой сессии — не цитата из третьих рук. Сверенные константы: вместимость 4 единицы на стакан; легальный перелив src→dst требует src непустой, dst со свободным местом, и dst пустой либо top(dst) == top(src); перелив двигает всю верхнюю серию источника, но не больше свободного места цели (минимум из двух); уровень решён, когда каждый стакан пуст либо полон (4) и одноцветен; в библиотеке 11 уровней с замороженными раскладками и min_steps (par) 6, 6, 6, 6, 9, 9, 12, 9, 14, 14, 14 — каждый перед релизом проверен офлайн-BFS как решаемый и нетривиальный (минимум 3 перелива). Этот гайд — слой решателя: как считается минимум и как им пользоваться. Управление — на странице игры; техника — в стратегическом гайде Water Sort — если переливы, дисциплина свободного стакана и чтение верхних серий в новинку, начните с него.

1. Таблица par: что доказал решатель

Par — не оценка. Каждая раскладка заморожена в js/levels.js, а офлайн-поиск в ширину перебрал каждую легальную последовательность переливов от этого старта до условия решения. Первое достижение решения — это минимум: более короткого пути нет. Опубликованные par — эти минимумы:

Легко (3 цвета, 1 свободный): уровень 1 par 6 · уровень 2 par 6 · уровень 3 par 6 · уровень 4 par 6
Средне (4 цвета, 1 свободный): уровень 5 par 9 · уровень 6 par 9 · уровень 7 par 12 · уровень 8 par 9
Сложно (5 цветов, 2 свободных): уровень 9 par 14 · уровень 10 par 14 · уровень 11 par 14

Уровень 7 — outlier среднего (12 против 9 вокруг): ждите там более длинную вынужденную цепочку. Сложные все по 14: второй свободный стакан не укорачивает оптимум, он лишь делает поиск выживаемым. Используйте таблицу как диагностику: если счётчик уже за par, а ни один стакан не близок к готовности — вы ушли в ветвь, куда решатель никогда не пойдёт: отменяйте до последней точки, где свободный был пуст.

2. Математика свободного стакана: почему одного буфера хватает до сложного

Переливу нужен адрес, поэтому число свободных стаканов ограничивает, сколько цветов можно держать «в полёте» сразу. Считаем стаканы: уровни 1–8 — 4 пробирки плюс одна пустая ([]), 1 свободный; уровни 9–11 — 5 пробирок плюс две пустые, 2 свободных:

С 1 свободным и 3 цветами (легко) парковаться может ровно один цвет, пока два других собираются. Второй цвет в свободном — позиция мертва.
С 1 свободным и 4 цветами (средне) тот же стакан обслуживает три несобранных цвета по очереди. Поэтому средний наказывает ранний неверный перелив: в буфере нет запаса на вторую ошибку.
С 2 свободными и 5 цветами (сложно) один — рабочий стакан, второй остаётся настоящим буфером. Если оба свободных держат смеси сразу — вы вернулись в среднюю ловушку с лишним цветом: заново обычно дешевле, чем откапывать.

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

3. Скан затыка: найдите вынужденный стакан

Когда ни один перелив не выглядит хорошим, прогоните этот скан по порядку — решатель проверяет то же на каждом узле:

Стакан, чья верхняя серия ровно заполняет одноцветный стакан. Этот перелив никогда не ошибочен: достраивает домашний стакан, не тратя свободный.
Стакан, чей верхний цвет не встречается больше ни на одном верху. У его серии ровно одно семейство легальных адресов — лейте туда, пока адрес не заняли.
Полный смешанный стакан (4 единицы, больше одного цвета). Ничто не ляжет на него, пока не уйдёт верхняя серия, — значит, верхняя серия вынуждена идти первой.
Два цвета спорят за один стакан. Один должен уступить. Отмените один перелив и отдайте стакан цвету с меньшим числом альтернативных посадок.

Если не сработал ни один — позиции нужно временное разбиение: используйте свободный ровно на один перелив и повторите скан. Второй подряд перелив в свободный без прогресса — сигнал отменять, а не продолжать.

4. Три тира, три формы поиска

Правила не меняются никогда — вместимость 4, то же правило перелива, то же условие решения — растёт только пространство поиска:

Легко (уровни 1–4, par 6): всё дерево помещается в голове. Планируйте все 6 переливов до первого касания.
Средне (уровни 5–8, par 9–12): на один цвет больше, свободный тот же один. Par 12 уровня 7 означает вынужденную цепочку почти вдвое длиннее лёгкой.
Сложно (уровни 9–11, par 14): пять цветов, два свободных, каждый оптимум 14. Дополнительный свободный — не shortcut; он позволяет цепочке из 14 пережить одно разбиение посередине.

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

5. Отмена против заново, судья — счётчик

Отмена откатывает один перелив и возвращает счётчик, так что короткий объезд бесплатен — жмите, как только счётчик за par, а готового нет. Заново мгновенно перезагружает замороженный старт; выбирайте его, когда свободный держит смесь, а скан из раздела 3 не находит вынужденного стакана. Ни то ни другое — не провал: сам решатель исследует возвратами, и ваша кнопка отмены — та же операция.

FAQ

Чем это отличается от стратегического гайда Water Sort?

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

Что реально гарантирует par?

Par — длина кратчайшей легальной последовательности от замороженного старта, доказанная полным перебором: более короткого решения нет, и хотя бы одно решение ровно в par существует.

Каждый уровень правда проходим?

Да. Все 11 замороженных раскладок перед релизом проверены BFS как решаемые и нетривиальные (минимум 3 перелива). Затык означает, что ранний перелив закрыл опцию, а не что уровень сломан.

Когда заново вместо отмены?

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

Почему все три сложных — par 14?

Потому что эти три замороженные раскладки при одинаковых правилах (вместимость 4, 5 цветов, 2 свободных) требуют одинаковую минимальную глубину. Ровные 14 описывают эти три старта, а не потолок.