數獨最少需要多少個提示?
最後更新
一個有效的數獨——只有一個解——至少需要17個給定數字。這是一個已被證明的數學結果。任何有16個或更少提示的謎題要麼有多個解,要麼根本沒有解。
2012 年的證明
2012 年,都柏林大學學院的 Gary McGuire、Bastian Tugemann 和 Gilles Civario 發表了一項證明,指出不存在有效的 16 提示數獨。他們的工作主要是計算性的:他們搜尋了所有可能的 16 提示網格,並驗證了沒有一個能產生唯一解。該搜尋耗費了約 700 萬核心小時的計算時間。
在此之前,人們普遍認為 17 是最低提示數,並且已經通過實驗找到了數千個 17 提示的謎題。McGuire 的團隊提供了第一個嚴謹的證明,證明 16 是不可能的。
17-Clue 謎題的樣子
17 線索謎題極其稀疏——81 格中有 17 個給定數字,留下 64 個空格。它們是最難解的謎題之一,通常需要 advanced techniques。尋找有效的 17 線索謎題本身需要數十年的計算努力。截至撰寫本文時,已知有超過 49,000 個本質上不同的 17 線索 Sudoku 謎題。
這對謎題設計意味著什麼
針對人類解題者出版的謎題很少低於 22 個提示。專家和大師難度的謎題通常使用 22-27 個給定數字,而簡單謎題使用 36-45 個。17 提示的最低數量是一個理論界限——在實踐中,使用良好技巧的可解性和愉快的解題路徑遠比提示數量重要。