遊び方 · asobikata
Nasıl oynanır
Hashiwokakero (橋をかけろ, “köprüleri kur!”), Nikoli tarafından yayımlanan bir mantık bulmacasıdır. Tüm adaları köprülerle bağla; her adada, üzerindeki sayı kadar köprü olsun.
Köprüleri say
Bir adadaki sayı, orada kaç köprünün bittiğini gösterir.
Bir veya iki
Adalar tek bir ahşap köprüyle ya da çift kırmızı köprüyle bağlanabilir, daha fazlasıyla asla.
Düz, kesişme yok
Köprüler yatay veya dikey gider; başka köprüleri ya da adaları kesemez.
Tek bir takımada
Sonunda her adadan diğer her adaya ulaşılabilmelidir.
Çözülmüş bir bulmaca
Kontroller 操作
Köprü kurmak için iki ada arasındaki suya tıkla, ikinci köprü için tekrar tıkla, üçüncü tık köprüleri kaldırır.
Ya da bir adadan komşusuna doğru sürükle veya iki adaya art arda tıkla.
Sağ tık / Shift + tık bir köprüyü kaldırır.
Ctrl Z Geri al · Ctrl Y Yinele · H İpucu
Tamamlanan adalar yeşile, fazla dolanlar kırmızıya döner. Takıldın mı? SAT çözücüden ipucu iste ya da köprülerini kontrol ettir.
Perde arkası 仕組み
Komşu iki ada arasındaki her olası köprü e iki mantıksal değişken alır: e₁ (en az bir köprü) ve e₂ (ikinci köprü); e₂ → e₁ sayesinde her yerleşimin tam olarak bir modeli olur.
¬e₂ ∨ e₁Sayısı n olan bir adada değişkenlerinden tam olarak n tanesi doğru olmalıdır; bu, tüm kombinasyonlar üzerinden tümceler olarak yazılır. Kesişen köprüler birbirini dışlar:
¬h₁ ∨ ¬v₁Bağlılığı CNF ile ifade etmek zordur, bu yüzden gerektikçe eklenir: çözücü ayrı ada grupları döndürdüğünde, o gruptan dışarı bir köprü isteyen bir tümce eklenir ve çözücü yeniden çalışır.
Üretici rastgele bir takımada büyütür ve bulunan çözümü engelleyip çözücüden başka bir çözüm isteyerek tekliği kanıtlar. Farklı çözücü modlarını laboratuvarda dene.
よくある質問 · FAQ
Hashiwokakero hakkında sorular
- Hashiwokakero nedir?
- Hashiwokakero (橋をかけろ, “köprüleri kur”), Köprüler veya Hashi olarak da bilinen, Nikoli tarafından yayımlanan bir Japon mantık bulmacasıdır. Izgarada numaralı adalar vardır; bunları yatay ve dikey köprülerle bağlarsın, öyle ki her adada sayısı kadar köprü olsun, köprüler kesişmesin ve tüm adalar tek bir bağlı grup oluştursun.
- İki adayı kaç köprü bağlayabilir?
- En fazla iki. Aynı satır veya sütunda olan ve arasında hiçbir şey bulunmayan iki ada tek ya da çift köprüyle bağlanabilir.
- Köprüler birbirini kesebilir mi?
- Hayır. Köprüler yatay veya dikey olarak düz gider; ne başka köprüleri kesebilir ne de adaların üzerinden geçebilir.
- Tüm adaların bağlı olması gerekir mi?
- Evet. Bitmiş bir bulmacada köprüler üzerinden herhangi bir adadan diğer herhangi bir adaya gidebilirsin; adalar tek bir ağ oluşturur.
- Her zaman tam olarak tek bir çözüm var mı?
- Hashi'de evet: üretilen her bulmaca, ikinci bir çözüm olmadığını kanıtlayan bir SAT çözücüyle kontrol edilir; yani asla tahmin yürütmen gerekmez.