Pixel Oracle · Nonogram

为什么不需要猜测

每道发布谜题都必须有且只有一个解。确定性求解器还要用可复放的逻辑步骤还原每一格；只要推理停滞、线索不一致或证明无法复放，谜题就不能发布。

更新时间: · 来源: Pixel Oracle 验证器与公开证明合同

验证器版本: no-guess-v1

唯一解已验证. 纯逻辑证明已独立复放.

出现以下任一情况即阻止发布

  • 生成线索与原始方格不一致
  • 无解或存在多个解
  • 确定性求解器需要猜测或超过固定预算
  • 独立验证器无法完整复放证明

推理原因（由基础到进阶）

验证报告、公开事实、完成结果与页面结构化数据都来自同一份已准入证明。

  1. full-span占满可用区间连续块与必要间隔恰好占满整段可用空间。■■■ · 3 · ■■■
  2. overlap重叠所有合法摆法共有的格必然需要填充。··■■· · 4 · ·■■··
  3. completed-run连续块已完成已完成连续块两侧仍未知的格必然为空。·■■· · 2 · ×■■×
  4. separation分隔连续块之间必须留空，因此可确定空格。■×■ · 1 1 · ■×■
  5. cross-line-elimination交叉线排除另一方向的确定信息排除当前行列中的候选。·?· · ↕ · ·×·