什麼是數橋？

數橋（Hashiwokakero，日文 橋をかけろ，意思是「把橋搭起來！」）是由 Nikoli 推出的日本邏輯謎題，也叫造橋、Hashi、Bridges 或 Ai-Ki-Ai。格子上散布著標有數字的小島，要用橋把它們連起來：每座島的橋數剛好等於它的數字，橋只能走直線且不能交叉，同一對島之間最多兩座橋，最後所有島都必須彼此相連。和數獨、Nurikabe 一樣，它不需要算數，只需要推理。

如何線上玩數橋

選擇難度，從簡單（7×7）到鬼（24×24），然後按「產生」。點一下兩座島之間的水面就能搭一座橋，再點一下變成雙橋，點第三下就會移除；也可以直接從一座島拖曳到另一座島。完成的島會變綠，超過的島會變紅。卡關了？可以要個提示，或讓求解器檢查你的橋。完整規則和已解範例請看玩法說明頁面。

不用猜的解題技巧

• 如果一座島的數字等於鄰居數量的兩倍，它和每個鄰居之間都是雙橋：空曠處的 8、邊上的 6、角落的 4。
• 1 絕不會連到另一個 1，兩個 2 之間也絕不會搭雙橋，否則它們會和其他島隔絕。
• 算算看還缺多少：如果一座島還需要 5 座橋，卻只有三個鄰居，那每個鄰居至少分到一座。
• 橋會擋住它經過的路線，所以一座已經搭好的橋，可能逼得兩側的島另找連接。
• 最後一切都必須連通：如果某個島群只能透過一個缺口連到其他部分，就一定要用上它。

為什麼在這裡玩 Hashi

• 每道謎題都只有唯一解，在你看到之前就已由 SAT 求解器證明，所以光靠邏輯一定解得開。
• 五種尺寸的無限免費謎題，提示和檢查都來自真正的解答，而不是啟發式猜測。
• 可愛的日式像素畫風，白天與夜晚主題，鍵盤快速鍵，復原與重做，遊戲進度會自動儲存在瀏覽器裡。
• 在工作坊裡製作你自己的謎題，或到實驗室看我們自製的 CDCL 和 DPLL SAT 求解器賽跑。整個遊戲都是開源的，用 Rust 寫成。