Що таке Hashiwokakero?

Hashiwokakero (橋をかけろ, «будуй мости!») — японська логічна головоломка від видавництва Nikoli, відома також як «Мости», Hashi або Ai-Ki-Ai. Острови з числами на полі треба з’єднати мостами: кожен острів має рівно стільки мостів, скільки вказано на ньому, мости йдуть прямо й не перетинаються, одну пару островів з’єднують щонайбільше два мости, а зрештою з будь-якого острова можна дістатися до будь-якого іншого. Як і судоку чи нурікабе, вона не потребує арифметики, лише логіки.

Як грати в «Мости» онлайн

Обери складність від «Легкого» (7×7) до «Демона» (24×24) і натисни «Згенерувати». Натисни на воду між двома островами, щоб побудувати міст, ще раз — для подвійного, третє натискання їх прибирає; або просто протягни від одного острова до іншого. Готові острови стають зеленими, переповнені — червоними. Глухий кут? Попроси підказку або дай розв’язувачу перевірити мости. Повні правила з розв’язаним прикладом — на сторінці «Як грати».

Прийоми розв’язання без вгадування

• Якщо число на острові вдвічі більше за кількість його сусідів, він з’єднаний з кожним із них подвійним мостом: 8 у відкритому полі, 6 біля краю, 4 в куті.
• Одиниця ніколи не з’єднується з іншою одиницею, а дві двійки — подвійним мостом: інакше вони відріжуть себе від решти.
• Рахуй, чого бракує: якщо острову потрібно ще 5 мостів, а сусідів три, до кожного йде щонайменше один.
• Мости перекривають лінії, які перетинають, тож один міст може змусити острови з обох боків з’єднатися інакше.
• Зрештою все має бути зв’язане: якщо група може вийти до решти лише через один прохід, вона мусить ним скористатися.

Чому варто грати в Hashi тут

• Кожна головоломка має рівно один розв’язок: це доводить SAT-розв’язувач ще до того, як ти її побачиш, тож самої логіки завжди досить.
• Безліч безкоштовних головоломок п’яти розмірів, з підказками й перевірками на основі справжнього розв’язку, а не евристик.
• Милий японський піксель-арт, денна й нічна теми, гарячі клавіші, скасування й повтор ходів, а гра зберігається в браузері.
• Створюй власні головоломки в майстерні або дивись перегони наших SAT-розв’язувачів CDCL і DPLL у лабораторії. Уся гра має відкритий код і написана на Rust.