Current location - Education and Training Encyclopedia - Graduation thesis - Standard Sudoku
Standard Sudoku
At present (as of 20 1 1 year), the minimum number of hints found in 9×9 standard Sudoku is 17, as of 201year,16:1year. This number is still rising slowly. If you find the problem with the prompt number 17 first, you can upload it to the website "17 Sudoku Verification". Of course, you can also download the question of 49 15 1 here.

Whether there is a qualified prompt number 16 has also been debated for a long time on the internet. Someone found the double solution of 16 hint number, but still did not find the unique solution. Some foreign netizens have given proof of why at least 17 prompt is needed, which has been questioned by everyone. For example, the minimum number of prompts for 9×9 diagonal Sudoku (based on the standard Sudoku rule, two diagonal numbers are not repeated) is 12, and according to his theory, more prompts are needed.

In addition, Gary McGuire wrote a program in 2006, trying to prove the existence of Sudoku with 16 prompt by violent means. The method is simple. Since bertram felgenhauer and Fraser Jarvis have calculated that the total number of non-equivalent final disks is 5,472,730,538, the prompt for each case that the final disk is 16 is run. If 6538 is not found, but because it is a violent method, it will take 300,000 years for the single-core computer to run. Professor Wu Yicheng of Taiwan Province Province and his team improved Gary McGuire's program, which greatly improved the efficiency. The calculation can be completed in about 24 17 years. And put it on BOINC (Berkeley Open Network Computing Platform), and let the computers all over the world join BOINC to calculate together. Fortunately, as of April 20 12,18,51.73% has been completed.

Gary McGuire's team designed a new algorithm in 2009. Using the idea of death mode, it took 765,438+million hours of CPU time. On 2065,438+02, 1, 1 6, it was proved that there was no unique solution for 9×9 standard sudoku, and then it was explained that at least 65,438+was needed. And in 2009, they updated the source code of their papers and web pages.