16ヒントの数独

設計メモ

数独の美点は「与えられたヒントから論理だけで唯一の答えに辿り着ける」こと。だが、唯一解に解ける数独の最小ヒント数は17個であることが2012年に証明された （McGuire・Tugemann・Civario）。総当たりに近い大規模計算で「16ヒントで唯一解のものは存在しない」と確かめられている。

つまりこの16ヒントの数独は、定義からして唯一解を持てない。必ず複数の正解があり、 どこかで論理が尽き、勘で置く瞬間が来る。完成盤から16マスだけ残して出題しているので解は必ず存在する—— ただし一つではない。だから矛盾なく81マスを埋めれば、どれも正解として扱う。