勘ではなく論理でノノグラムを解く

やりたいこと

各行と列にはヒントがあります — 順序通りの塗りつぶし連続長。10幅の行に「4 2」は4のブロック・最低1マスの空白・2のブロックを意味します。グリッドは発見待ちのビットマップで、ヒントはその圧縮です。

塗る・印を付ける・突き合わせる

クリックで塗り、右クリック（またはマーク切替）で空と分かるマスにXを付けます。ヒントを満たした行はハイライトされます。生成される問題は一意解を確認済み — 全て論理だけで解けます。

• 極端から始めます。行の長さに合計するヒントは全マスを埋め（10行に「10」）、「0」は全てXです。
• もう1つのただ情報は端アンカーの連続 — 端の塗られたマスを持つ「3」のヒントは連続の位置を固定します。

サイズとソルバー

問題は最大15×15まで生成されます。詰まったら？ヒントはソルバーが見つけた行の推論を適用します — 一意性を証明するのと同じ伝播エンジンで、ページが固まらないよう200,000探索ノードで打ち切ります。