遊び方 · asobikata
Cara bermain
Hashiwokakero (橋をかけろ, “bangun jembatan!”) adalah teka-teki logika terbitan Nikoli. Hubungkan semua pulau dengan jembatan sehingga setiap pulau punya jembatan tepat sebanyak angkanya.
Hitung jembatannya
Angka di sebuah pulau menunjukkan berapa jembatan yang berujung di sana.
Satu atau dua
Pulau bisa dihubungkan dengan satu jembatan kayu atau jembatan ganda berwarna merah, tidak lebih.
Lurus, tanpa silang
Jembatan berjalan horizontal atau vertikal dan tidak boleh menyilang jembatan atau pulau lain.
Satu kepulauan
Pada akhirnya setiap pulau harus bisa dicapai dari pulau mana pun.
Teka-teki yang sudah selesai
Kontrol 操作
Klik air di antara dua pulau untuk membangun jembatan, klik lagi untuk jembatan kedua, klik ketiga menghapus keduanya.
Atau seret dari sebuah pulau ke tetangganya, atau klik dua pulau satu per satu.
Klik kanan / Shift + klik menghapus jembatan.
Ctrl Z Urungkan · Ctrl Y Ulangi · H Petunjuk
Pulau yang lengkap jadi hijau, yang kelebihan jadi merah. Buntu? Minta solver SAT memberi petunjuk atau mengecek jembatanmu.
Di balik layar 仕組み
Setiap jembatan yang mungkin e di antara dua pulau bertetangga mendapat dua variabel boolean: e₁ (minimal satu jembatan) dan e₂ (jembatan kedua), dengan e₂ → e₁ sehingga setiap susunan punya tepat satu model.
¬e₂ ∨ e₁Pulau dengan angka n butuh tepat n variabelnya bernilai benar, ditulis sebagai klausa atas semua kombinasi. Jembatan yang bersilangan saling meniadakan:
¬h₁ ∨ ¬v₁Keterhubungan sulit dinyatakan dalam CNF, jadi ditambahkan secara lazy: setiap kali solver mengembalikan kelompok pulau yang terpisah, klausa yang mewajibkan jembatan keluar dari kelompok itu ditambahkan dan solver dijalankan lagi.
Generator menumbuhkan kepulauan acak dan membuktikan keunikan dengan memblokir solusi yang ditemukan lalu meminta solver mencari solusi lain. Coba berbagai mode solver di lab.
よくある質問 · FAQ
Pertanyaan tentang Hashiwokakero
- Apa itu Hashiwokakero?
- Hashiwokakero (橋をかけろ, “bangun jembatan”), juga disebut Bridges atau Hashi, adalah teka-teki logika Jepang terbitan Nikoli. Kisi menampilkan pulau bernomor; kamu menghubungkannya dengan jembatan horizontal dan vertikal sehingga setiap pulau punya jembatan tepat sebanyak angkanya, tidak ada jembatan yang bersilangan, dan semua pulau membentuk satu kelompok yang terhubung.
- Berapa jembatan yang bisa menghubungkan dua pulau?
- Paling banyak dua. Jembatan tunggal atau ganda bisa menghubungkan dua pulau yang berada di baris atau kolom yang sama tanpa ada apa pun di antaranya.
- Bolehkah jembatan saling bersilangan?
- Tidak. Jembatan berjalan lurus secara horizontal atau vertikal dan tidak boleh menyilang jembatan lain maupun melewati pulau.
- Apakah semua pulau harus terhubung?
- Ya. Pada teka-teki yang selesai, kamu bisa berpindah dari pulau mana pun ke pulau lain lewat jembatan; semua pulau membentuk satu jaringan.
- Apakah selalu ada tepat satu solusi?
- Di Hashi, ya: setiap teka-teki yang dibuat dicek oleh solver SAT, yang membuktikan tidak ada solusi kedua, jadi kamu tidak perlu menebak.