ノノグラムが簡単か難しいかを決めるもの

盤面が大きいほど追うべき行が増え、照合も増えるので、大きなパズルは時間がかかります。しかし長さだけでは行は難しくなりません——幅20マスの行に大きな連続が一つだけなら自明ですが、小さな連続と狭い隙間が詰まった短い行は本物の思考を要することがあります。サイズは、各手順がどれほど難しいかよりも、パズルにどれほど時間がかかるかにはるかに大きく影響します。

難易度の最も忠実な尺度は、パズルがどんな種類の推論を要求するかです。最も簡単なパズルは「行単位で解ける」もので、一度に一つの行または列を見て、その単一の行が確定させるものを埋めていけば完成でき、二つの行を同時に頭に抱える必要は一度もありません。ほとんどの穏やかなパズルはまさにこれです。

より難しいパズルでは情報を組み合わせる必要があります——あるマスの状態が、行と列を一緒に、あるいは少数の行のまとまりを一度に考えて初めて確定する、と気づくことです。次のマスが確定するまでにその組み合わせが深くまで及ぶほど、サイズに関係なくパズルは難しく感じられます。

ここが安心できる部分です。ノノグラムの解法に関する学術研究（Batenburg and Kosters, 2012）は、一意に解けるパズルが実際にどれほどの推論を要するかを測定しました。単純な行ごとの解法を超える次の段階は、明確に定義された、なお決定論的な手法——行のペアを組み合わせること——であり、その網羅的な列挙により、単純でないパズルの 93.8–95.5% がまさにそれだけで、当て推量なしに解けることが分かりました。

さらに驚くべきことに、一意に解けるすべてのパズルのうち、その行のペアの推論を超える何かを必要とするのはわずか約 0.06–0.14% です。言い換えれば、よく作られたノノグラムの圧倒的多数——通常のプレイで出会うあらゆる難問を含めて——は、純粋で有限な論理だけで解けます。本物の試行錯誤は公正なパズルでは消え入るほど稀で、だからこそ「決して当て推量しない」がこれほど信頼できる助言なのです。

このすべての土台には理論的な結果があります。行と列の任意の手がかりの組が、そもそも何らかの解を持つかどうかを判定することは、NP完全であると証明されました（Ueda and Nagao, 1996）——巡回セールスマン問題のような悪名高く手強い問題と同じ計算量クラスです。平たく言えば、あらゆる考えうるノノグラムを速く解く方法は誰も知らず、最悪の場合、盤面が大きくなるにつれて必要な作業は爆発的に増えます。

これは不安に聞こえますが、「あらゆる考えうるノノグラム」と「人々が実際に出版するノノグラム」の違いに気づくまでのことです。NP完全性の結果は、任意で敵対的な手がかりの組についてのもので——その多くは解を持たないか、複数持ちます。本物のパズルは逆向きに作られます——絵から始まり、論理が実際に到達できる解をちょうど一つだけ持つ場合にのみ出版されます。だからこそ前節の数字は実際に成り立ち、目の前のパズルは、たとえ残酷に感じても、ほぼ確実に公正なのです。

推論の深さのほかに、いくつかの表面的な特徴が難易度を左右します。非常にまばらな絵（ほとんど空白）と非常に密な絵（ほとんど塗りつぶし）は、極端さが序盤に多くの確定マスをもたらすため、たいてい簡単です。最も厄介なパズルはたいてい中間にあり、塗りと空白がバランスよく混ざり、素早い序盤の手に抵抗する短く途切れた連続がたくさんあります。きれいで見分けやすい題材も、根底にある論理を変えはしないものの、解き手が方向感覚を保つのに役立ちます。

このサイトでは、パズルの評価は、それを解くための推論がどれほど深くなるかと、盤面がどれほど埋まっているかといった形状の統計を組み合わせて決まります。行単位で解けるパズルは簡単に入り、真の行をまたぐ組み合わせを要するものは難しい方へ移り、当て推量を要するものはすべて出版されずにその場で却下されます。全工程は「私たちのノノグラムの作り方」ページで説明していますが、要するにここでは難易度は測定されるのであって、当て推量ではありません。