- 最后登录
- 2022-2-6
- 在线时间
- 2494 小时
- 阅读权限
- 50
- 注册时间
- 2008-6-27
- 积分
- 3331
- 帖子
- 1645
- 精华
- 2
- UID
- 35740
- 性别
- 男
 
- 积分
- 3331
- 帖子
- 1645
- 精华
- 2
- UID
- 35740
- 性别
- 男
|
这个问题很难证明!给你一些英文和中文的资料吧!
《数独背后的四个数学问题》中的一部份
数独初盘最少可以有17个数。
与数独终盘相对应,一个数独游戏给出的初始条件称为初盘。由于规则所限,给出的初盘数字个数必须在32以下。
一般常见的初盘数字个数在22—28之间,而数独爱好者们常问的一个问题是:最少给出多少个数字,数独游戏才确保有惟一解?具体地说:最少需要在初盘中给出多少个数字,使得移除其中任何一个数字该数独游戏便没有惟一解。
事实上,这个问题是数独中最有数学趣味的问题之一,并且至今仍未得到解决。但数学家们估计,这个数字很可能是17.17个数字的最小惟一解初盘是由一名日本数独爱好者发现的。澳大利亚数学家GordonRoyle已经收集了36628个17个数字的惟一解初盘,而爱尔兰数学家Gary McGuire则致力于寻找16个数字的惟一解初盘,但至今仍无发现。部分数学家开始退而求其次,转而寻找只有两个解的16个数字初盘。
统计学家根据一个统计学原理曾随机地构造了大量17个数字的初盘,发现其中有惟一解的初盘只有数个未被GordonRoyle教授发现,这意味着,最小惟一解初盘问题的最终答案可能正是17:因为从理论上说,如果16个数字的惟一解终盘存在,那么每一个必将引起65个17个数字惟一解终盘的增加,而在研究中至今没有观察到这一效应。
The lowest known is 17 givens in general Sudoku, or 18 when the positions of the givens are constrained to be half-turn rotationally symmetric. It is conjectured that these are the best possible, evidence for which stems from extensive randomised searching:
- Gordon Royle has compiled a list of (currently) 36628 17-clue puzzles, each of which is unique up to isomorphism. None of these was isomorphic to a symmetric puzzle, nor contained a 16-clue puzzle.
- An independent construction of 700 distinct 17-clue puzzles found only 33 not already on an earlier, size 32930, version of Royle's list. From that, the MLE estimate of the number of 17-clue grids was c. 34550. If the construction methods were truly random and independent then this would imply a negligible probability of there being a 16-clue puzzle waiting to be discovered -- since any such "16" would give rise to 65 17-clue puzzles, all of which were somehow missed in the search.
- The most fruitful set of clue positions, in terms of number of distinct 17-clue puzzles they admit, from Royle's list have been exhaustively searched for 17-clue puzzles. All 36 puzzles found by this process were already in Royle's list. All 34 puzzles on the next most fruitful set of clue positions were also in Royle's list.
- The most fruitful solution grids (in the same sense) have been exhaustively searched for 16-clue puzzles using CHECKER with no success. This includes one, "strangely familiar", grid that yields at least 29 different 17-clue puzzles.
|
|