パズルの解が 1 つだけであること。正しく設計された数独パズルの必須条件。

唯一解 (Unique Solution) とは、パズルの解答が 1 通りしか存在しないことを意味する。正しく設計された数独パズルは必ず唯一解を持つ。複数の解が存在するパズルは「不完全」とみなされ、論理的に解くことができない (推測が必要になる)。

唯一解の重要性

唯一解が保証されていなければ、プレイヤーは論理だけでは解を確定できない。「ここは 3 か 7 のどちらか」という状況で、どちらも正解になりうるなら、それは推測であり論理パズルとしての価値を失う。全ての確定が論理的に導出可能であることが、数独の本質的な魅力である。

検証方法

パズルが唯一解を持つかどうかは、ソルバーで解の数を数えることで検証する。解が 2 つ以上見つかった時点で「唯一解ではない」と判定する。パズル生成時には、セルを除去するたびにこの検証を行い、唯一解が崩れる除去は取り消す。