遊び方 · asobikata
Як грати
Hashiwokakero (橋をかけろ, «будуй мости!») — логічна головоломка від Nikoli. З’єднай усі острови мостами так, щоб кожен острів мав рівно стільки мостів, скільки вказано на ньому.
Рахуй мости
Число на острові — це скільки мостів від нього відходить.
Один або два
Острови можна з’єднати одинарним дерев’яним мостом або подвійним кіноварним, але не більше.
Прямо, без перетинів
Мости йдуть горизонтально або вертикально й не перетинають інші мости та острови.
Один архіпелаг
Зрештою з будь-якого острова має бути можна дістатися до будь-якого іншого.
Розв’язана головоломка
Керування 操作
Натисни на воду між двома островами, щоб побудувати міст, ще раз — другий, третє натискання їх прибирає.
Або протягни від острова до сусіда, або натисни на два острови по черзі.
Правий клік / Shift + клік прибирає міст.
Ctrl Z Скасувати · Ctrl Y Повернути · H Підказка
Готові острови стають зеленими, переповнені — червоними. Глухий кут? Попроси в SAT-розв’язувача підказку або перевірку мостів.
Під капотом 仕組み
Кожен можливий міст e між двома сусідніми островами отримує дві булеві змінні: e₁ (принаймні один міст) і e₂ (другий міст), з умовою e₂ → e₁, щоб кожне розташування мало рівно одну модель.
¬e₂ ∨ e₁Острів із числом n вимагає, щоб рівно n його змінних були істинними; це записується диз’юнктами за всіма комбінаціями. Мости, що перетинаються, виключають один одного:
¬h₁ ∨ ¬v₁Зв’язність важко виразити в CNF, тому її додають ліниво: щойно розв’язувач повертає окремі групи островів, додається диз’юнкт, що вимагає мосту з такої групи, і розв’язувач запускається знову.
Генератор вирощує випадковий архіпелаг і доводить єдиність: блокує знайдений розв’язок і просить розв’язувач знайти інший. Спробуй різні режими розв’язувача в лабораторії.
よくある質問 · FAQ
Питання про Hashiwokakero
- Що таке Hashiwokakero?
- Hashiwokakero (橋をかけろ, «будуй мости»), також відома як «Мости» або Hashi, — японська логічна головоломка від Nikoli. На полі — острови з числами; їх треба з’єднати горизонтальними й вертикальними мостами так, щоб кожен острів мав рівно стільки мостів, скільки вказано, мости не перетиналися, а всі острови утворили одну зв’язну групу.
- Скільки мостів може з’єднувати два острови?
- Щонайбільше два. Одинарний або подвійний міст може з’єднати два острови в одному рядку чи стовпці, якщо між ними нічого немає.
- Чи можуть мости перетинатися?
- Ні. Мости йдуть прямо горизонтально або вертикально й не можуть ані перетинати інші мости, ані проходити над островами.
- Чи всі острови мають бути з’єднані?
- Так. У розв’язаній головоломці мостами можна дістатися з будь-якого острова на будь-який інший: острови утворюють єдину мережу.
- Чи завжди розв’язок рівно один?
- У Hashi — так: кожну згенеровану головоломку перевіряє SAT-розв’язувач і доводить, що другого розв’язку немає, тож вгадувати ніколи не доведеться.