遊び方 · asobikata
Jak grać
Hashiwokakero (橋をかけろ, „buduj mosty!”) to łamigłówka logiczna wydawnictwa Nikoli. Połącz wszystkie wyspy mostami tak, aby każda wyspa miała dokładnie tyle mostów, ile wskazuje jej liczba.
Policz mosty
Liczba na wyspie mówi, ile mostów się na niej kończy.
Jeden lub dwa
Wyspy można połączyć pojedynczym drewnianym mostem albo podwójnym cynobrowym, nigdy większą liczbą.
Prosto, bez skrzyżowań
Mosty biegną poziomo lub pionowo i nie mogą przecinać innych mostów ani wysp.
Jeden archipelag
Na końcu z każdej wyspy musi dać się dotrzeć do każdej innej.
Rozwiązana łamigłówka
Sterowanie 操作
Kliknij wodę między dwiema wyspami, by zbudować most, jeszcze raz, by dodać drugi, trzecie kliknięcie usuwa oba.
Możesz też przeciągnąć od wyspy w stronę sąsiada albo kliknąć kolejno dwie wyspy.
Prawy przycisk / Shift + klik usuwa most.
Ctrl Z Cofnij · Ctrl Y Ponów · H Podpowiedź
Ukończone wyspy robią się zielone, przepełnione czerwone. Nie wiesz, co dalej? Poproś solver SAT o podpowiedź albo o sprawdzenie twoich mostów.
Pod maską 仕組み
Każdy możliwy most e między dwiema sąsiednimi wyspami dostaje dwie zmienne logiczne: e₁ (co najmniej jeden most) i e₂ (drugi most), z warunkiem e₂ → e₁, dzięki czemu każdy układ ma dokładnie jeden model.
¬e₂ ∨ e₁Wyspa z liczbą n potrzebuje dokładnie n prawdziwych zmiennych, co zapisuje się jako klauzule po wszystkich kombinacjach. Krzyżujące się mosty wzajemnie się wykluczają:
¬h₁ ∨ ¬v₁Spójność trudno wyrazić w CNF, więc jest dodawana leniwie: za każdym razem, gdy solver zwróci osobne grupy wysp, dochodzi klauzula wymagająca mostu wychodzącego z takiej grupy, a solver rusza ponownie.
Generator hoduje losowy archipelag i dowodzi jednoznaczności, blokując znalezione rozwiązanie i prosząc solver o kolejne. Wypróbuj różne tryby solvera w laboratorium.
よくある質問 · FAQ
Pytania o Hashiwokakero
- Czym jest Hashiwokakero?
- Hashiwokakero (橋をかけろ, „buduj mosty”), nazywane też Mostami lub Hashi, to japońska łamigłówka logiczna wydawnictwa Nikoli. Na planszy są ponumerowane wyspy; łączysz je poziomymi i pionowymi mostami tak, aby każda wyspa miała dokładnie tyle mostów, ile wskazuje jej liczba, żadne mosty się nie krzyżowały, a wszystkie wyspy tworzyły jedną spójną grupę.
- Ile mostów może łączyć dwie wyspy?
- Najwyżej dwa. Pojedynczy lub podwójny most może połączyć dwie wyspy leżące w tym samym wierszu lub kolumnie, jeśli nic nie stoi między nimi.
- Czy mosty mogą się krzyżować?
- Nie. Mosty biegną prosto, poziomo lub pionowo, i nie mogą ani przecinać innych mostów, ani przechodzić nad wyspami.
- Czy wszystkie wyspy muszą być połączone?
- Tak. W ukończonej łamigłówce z każdej wyspy można dojść mostami do każdej innej, wyspy tworzą jedną sieć.
- Czy zawsze jest dokładnie jedno rozwiązanie?
- W Hashi tak: każdą wygenerowaną łamigłówkę sprawdza solver SAT, który dowodzi, że drugie rozwiązanie nie istnieje, więc nigdy nie musisz zgadywać.