Что такое Hashiwokakero?

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

Как играть в «Мосты» онлайн

Выбери сложность от «Лёгкого» (7×7) до «Демона» (24×24) и нажми «Сгенерировать». Нажми на воду между двумя островами, чтобы построить мост, ещё раз — для двойного, третье нажатие их убирает; или просто протяни от одного острова к другому. Готовые острова становятся зелёными, переполненные — красными. Тупик? Попроси подсказку или дай решателю проверить мосты. Полные правила с решённым примером — на странице «Как играть».

Приёмы решения без угадывания

• Если число на острове вдвое больше количества его соседей, он соединён с каждым из них двойным мостом: 8 в открытом поле, 6 у края, 4 в углу.
• Единица никогда не соединяется с другой единицей, а две двойки — двойным мостом: иначе они отрежут себя от остальных.
• Считай, чего не хватает: если острову нужно ещё 5 мостов, а соседей три, к каждому идёт хотя бы один.
• Мосты перекрывают линии, которые пересекают, поэтому один мост может заставить острова по обе стороны соединиться иначе.
• В итоге всё должно быть связано: если группа может выйти к остальным только через один проход, она обязана им воспользоваться.

Почему стоит играть в Hashi здесь

• У каждой головоломки ровно одно решение: это доказывает SAT-решатель ещё до того, как ты её увидишь, так что одной логики всегда достаточно.
• Бесконечные бесплатные головоломки пяти размеров, с подсказками и проверками на основе настоящего решения, а не эвристик.
• Милый японский пиксель-арт, дневная и ночная темы, горячие клавиши, отмена и повтор ходов, а игра сохраняется в браузере.
• Создавай свои головоломки в мастерской или смотри гонку наших SAT-решателей CDCL и DPLL в лаборатории. Вся игра с открытым кодом и написана на Rust.