什么是数桥？

数桥（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 编写。