なぜ数独のヒントは「17個」より減らせないのか──スパコン700万時間の証明【数独/ナンプレ】

唯一解に解ける数独の最小ヒント数は「17個」。それを総当たりで確かめるのにスパコンで約700万時間かかった——その証明の物語。16ヒントで必ず複数解になる「16ヒントの数独」の背景。