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交差方向の消去もう一方の方向の確定情報で候補を除きます。·?· · ↕ · ·×·