免费 Nonogram 求解器 — 适用于各种网格的分步解答
Nonogram 求解器是一款免费的在线工具，可处理任何 Japanese crossword、Griddler 或 Picross 线索配置，并返回完整的分步解题路径。它支持全部九种网格尺寸——从 5×5 到 30×30——采用与高级人工解题者相同的约束传播算法和假设选择策略，因此既是精准的解题工具，也是很有价值的分析学习资源。
求解器能做什么
求解器会接受你所选网格尺寸的完整行列线索，并返回：
• 完整解图——每个格子都标记为填充或空白
• 分步逻辑路径——哪些行按什么顺序被解出，以及原因
• 对于 Expert 到 Evil 配置——所选的假设格、测试的假设，以及最终促成解出的连锁推导过程
• 对于线索存在歧义的情况——识别哪些格子有多个有效状态，而不是随意选择一个
这种分步输出正是求解器区别于普通答案查询工具的地方。解题路径让它成为真正的学习资源——研究求解器的推导过程并与自己的思路对照的玩家，通常比只看最终答案的人进步更快。
求解器算法
无论网格大小如何，求解器都会对每种配置应用三阶段算法：
阶段 1 — 初始化： 使用带最小间隔校验的递归自左向右块放置算法，枚举每一行的所有有效排列。随后立即提取初始确认项（即在某一行的所有排列中状态都相同的格子）。
阶段 2 — 约束传播： 一致性传播算法会按排列数量从少到多的优先队列处理所有行。每个已确认格子都会立即应用到所有相交的行，减少它们的排列集合，并可能产生更多确认项。这个传播过程会持续进行，直到无法再通过直接推导得到新的确认。
阶段 3 — 假设求解： 对于无法通过完整传播解决的配置，求解器会通过对剩余歧义网络的约束图分析，找出最优的假设格。两种假设状态会并行追踪；产生矛盾的那一侧会确认相反状态，并将其传播到整个网络。嵌套假设树则通过在条件约束世界中递归应用这一过程来处理。
选择你的网格尺寸
选择与你的谜题网格尺寸对应的求解器：
→ 10×10 求解器 | 12×12 求解器 | 15×15 求解器
→ 20×20 求解器 | 25×25 求解器 | 30×30 求解器
何时使用求解器
求解器在以下四种情况下最有价值：
卡在某个具体谜题时： 你已经用尽所有可用技巧，却无法找出下一个已确认格子。求解器会立即找到它，并解释它为何能从当前约束状态中推出。
学习假设技巧时： 你正在培养“假设并验证”的能力，希望有一个具体的参照标准。求解器给出的假设选择——目标格、假设内容、连锁推导顺序——可以作为评估自己思路的参考点。
验证部分进度时： 你想确认当前网格状态是否与唯一解一致，再决定是否继续投入时间。
完成后分析解题路径时： 你想了解自己完成的路径是否最优，或者是否存在更短的推导序列。
求解器的准确性与保证
求解器保证能为任何格式正确的 nonogram 找到唯一解——也就是满足所有线索、且只有一种有效格子配置的谜题。对于线索存在歧义的谜题（即有多个有效解），求解器会识别出这种歧义，而不会随意选择。所有返回的解答在显示前都会先与完整线索集进行验证。
求解器不会修改你正在进行的谜题会话。你可以在任何时刻查看求解器，并且返回谜题时会保持在你离开时的原始状态。
返回继续游玩
查看完求解器输出后，你可以回到可游玩的谜题，并将这些思路应用到下一次尝试中：