遊び方 · asobikata
ルール
橋をかけろ（Hashiwokakero）はニコリが発表したロジックパズルです。すべての島を橋でつなぎ、各島の橋の本数を島の数字と同じにしましょう。
橋の本数を数える
島の数字は、その島から出る橋の本数です。
1本か2本
島と島は木の1本橋か朱色の2本橋でつなげます。それ以上は不可です。
まっすぐ、交差なし
橋は縦か横にまっすぐかけ、ほかの橋や島と交差してはいけません。
ひとつの群島
最後には、どの島からもほかのすべての島へ行けなければなりません。
解答例
操作方法 操作
2つの島の間の水面をクリックすると橋がかかり、もう一度で2本目、3回目のクリックで消えます。
島から隣の島へドラッグするか、2つの島を順にクリックしてもかけられます。
右クリック / Shift + クリックで橋を消せます。
Ctrl Z 元に戻す · Ctrl Y やり直す · H ヒント
完成した島は緑、橋が多すぎる島は赤になります。行き詰まったら、SATソルバーにヒントやチェックを頼みましょう。
内部のしくみ 仕組み
隣り合う2つの島の間にかけられる橋 e には、それぞれ2つのブール変数を割り当てます：e₁（橋が1本以上）と e₂（2本目の橋）。e₂ → e₁ を加えることで、どの配置にもモデルがちょうど1つ対応します。
¬e₂ ∨ e₁数字nの島では、その変数のうちちょうどn個が真でなければならず、すべての組み合わせについて節として書き出します。交差する橋は互いに排除し合います：
¬h₁ ∨ ¬v₁連結性はCNFで表しにくいので、遅延的に追加します。ソルバーが分かれた島のグループを返すたびに、そのグループから外へ橋を出すことを要求する節を加え、もう一度ソルバーを実行します。
ジェネレーターはランダムな群島を育て、見つかった解をブロックして別の解をソルバーに探させることで唯一性を証明します。いろいろなソルバーモードはラボで試せます。
よくある質問 · FAQ
橋をかけろについての質問
- 橋をかけろとは何ですか？
- 橋をかけろ（Hashiwokakero）は、BridgesやHashi（ハシ）とも呼ばれる、ニコリが発表した日本のロジックパズルです。盤面には数字の書かれた島があり、それらを縦横の橋でつなぎます。各島の橋の本数は数字と同じで、橋は交差せず、すべての島がひとつにつながるようにします。
- 2つの島の間に橋は何本かけられますか？
- 最大2本です。同じ行または列にあり、間に何もない2つの島を、1本橋か2本橋でつなげます。
- 橋は交差してもいいですか？
- いいえ。橋は縦か横にまっすぐかけ、ほかの橋と交差したり島の上を通ったりできません。
- すべての島をつなげる必要がありますか？
- はい。完成したパズルでは、橋を渡ってどの島からどの島へも行けます。島全体がひとつのネットワークになります。
- 答えは必ずひとつですか？
- Hashiでは、はい。生成されたパズルはすべてSATソルバーでチェックされ、2つ目の解がないことが証明されているので、当てずっぽうに頼る必要はありません。