UC知道suduku(数独)问题
来源：百度知道 编辑：UC知道 时间：2024/05/19 23:09:15
对于一个目前所有空位都无法确定的局面，是不是一定会有多解？
而且是不是最小可选空位的每一个选择都对应一个解？
比如
0 0 2 6 0 0 0 7 0
0 6 0 0 8 0 0 0 0
0 9 0 0 0 2 0 0 6
7 0 0 0 6 0 9 0 0
9 0 0 0 0 0 0 0 5
0 0 3 0 9 0 0 0 7
3 0 0 9 0 0 0 6 0
0 0 0 0 3 0 0 8 0
0 4 0 0 0 7 5 0 0
在进行到
0 3 2 6 0 0 0 7 0
0 6 0 0 8 0 0 0 0
0 9 0 0 0 2 0 0 6
7 0 0 0 6 0 9 0 0
9 0 0 0 0 0 0 0 5
0 0 3 0 9 0 0 0 7
3 0 0 9 0 0 0 6 0
0 0 0 0 3 6 0 8 0
0 4 0 0 0 7 5 0 0
之后没有任何一个有确定值，则是否对应多个解，而且如[8，4]有值1，2两种可能，是不是就对应两个解？？
可以的话附上证明，，，谢谢！！！
而且是不是最小可选空位的每一个选择都对应一个解？
比如
0 0 2 6 0 0 0 7 0
0 6 0 0 8 0 0 0 0
0 9 0 0 0 2 0 0 6
7 0 0 0 6 0 9 0 0
9 0 0 0 0 0 0 0 5
0 0 3 0 9 0 0 0 7
3 0 0 9 0 0 0 6 0
0 0 0 0 3 0 0 8 0
0 4 0 0 0 7 5 0 0
在进行到
0 3 2 6 0 0 0 7 0
0 6 0 0 8 0 0 0 0
0 9 0 0 0 2 0 0 6
7 0 0 0 6 0 9 0 0
9 0 0 0 0 0 0 0 5
0 0 3 0 9 0 0 0 7
3 0 0 9 0 0 0 6 0
0 0 0 0 3 6 0 8 0
0 4 0 0 0 7 5 0 0
之后没有任何一个有确定值，则是否对应多个解，而且如[8，4]有值1，2两种可能，是不是就对应两个解？？
可以的话附上证明，，，谢谢！！！
就我目前做你这个题的情况来看，确实是这样的。解非常多，需要分很多种情况。
我目前已经解出来三十九个解了，才列举了1/16种可能，估计要全算出来是很困难了，我来把已经算出来的发出来吧。
我的分支是(8, 4)=2, (8, 3)=1, (7, 3)=4, (8, 7)=3。每次都是把有两种可能的格子取其中一种。
得到的解如下：
一、
5 3 2 6 4 9 1 7 8
1 6 7 5 8 3 4 9 2
8 9 4 7 1 2 3 5 6
7 8 5 2 6 4 9 1 3
9 2 6 3 7 1 8 4 5
4 1 3 8 9 5 6 2 7
3 7 1 9 5 8 2 6 4
2 5 9 4 3 6 7 8 1
6 4 8 1 2 7 5 3 9
二、
5 3 2 6 4 9 1 7 8
1 6 7 5 8 3 4 9 2
8 9 4 7 1 2 3 5 6
7 8 5 2 6 1 9 4 3
9 2 6 3 7 4 8 1 5
4 1 3 8 9 5 6 2 7
3 7 1 9 5 8 2 6 4
2 5 9 4 3 6 7 8 1
6 4 8 1 2 7 5 3 9
三、
5 3 2 6 4 9 1 7 8
1 6 7 5 8 3 4 9 2
8 9 4 7 1 2 3 5 6
7 8 5 2 6 1 9 4 3
9 1 6 3 7 4 8 2 5
4 2 3 8 9 5 6 1 7
3 7 1 9 5 8 2 6 4
2 5 9 4 3 6 7 8 1
6 4 8 1 2 7 5 3 9
四、
5 3 2 6 1 9 4 7 8
1 6 7 5 8 4 3 9 2
8 9 4 3 7 2 1 5 6
7 8 5 2 6 1 9 4 3
9 1 6 7 4 3 8 2 5
4 2 3 8 9 5 6 1 7
3 7