作者EIORU ()
看板puzzle
标题Re: [问题] 请教我怎样解这题数独
时间Thu Jun 7 04:37:52 2007
※ 引述《Korit (KT)》之铭言：
: sorry，由於想说的话有点多 所以重回一篇
: 首先感谢大大的帮忙，小弟发现可能是我说的不太清楚
: 大大提供的解法是这样的
: <若XX填OO，则.......中略.....结果矛盾，所以XX得填YY>
只要是 Forcing chain 以上(注1) 就一定需要用到这样的逻辑(几个最简明的逻辑方式)
(1).若X为A , ... 中略 ... , 则X不为A , 所以X不为A
(2).若X不为A , ... 中略 ... , 则X为A , 所以X为A
(3).若X为A , ... 中略 ... , 则Y不为A ,
且若X不为A , ... 中略 ... , 则Y不为A , 所以Y不为A
(4).若X为1~9 , ... 中略 ... , 则Y不为A , 所以Y不为A
(5).若X1~X9为A , ... 中略 ... , 则Y不为A , 所以Y不为A (X1~X9同行or列or宫)
等等...
原题 剩余的候选数
ABC DEF GHI A B C D E F G H I
1 971 624 583 x x x x x x x x x
2 2.3 985 1.7 x (4,6) x x x x x (4,6) x
3 .8. 173 ... (5,6) x (4,5,6) x x x (2,9) (4,6,9) (2,4,6)
4 439 517 628 x x x x x x x x x
5 827 369 415 x x x x x x x x x
6 1.. 248 379 x (5,6) (5,6) x x x x x x
7 79. .5. .31 x x (4,6) (4,8) x (2,6) (2,8) x x
8 .18 .3. ... (5,6) x x (4,7) x (2,6) (2,7,9) (4,5,6,9) (2,4,6)
9 3.2 .91 ... x (4,5,6) x (4,7,8) x x (7,8) (4,5,6) (4,6)
名称 过程 结果
(1) HiddenPair D9,G9必为(7,8) D9!=4
(2) XYZ-wing I8为2,4,6分别使F8,I9,I8为6 H8!=8
(3) Forcing X-Chain H8=4,D8!=4; D8!=4,D7=4; D7=4,C7!=4;
C7!=4,B9=4; B9=4,B2!=4; B2!=4,H2=4; H2=4,H8!=4 H8!=4
(4) Forcing Chain B2!=4,B2=6; B2=6,A3!=6; A3!=6,A3=5;
A3=5;A8!=5; A8!=5,B9=5; B9=5,B9!=4; B9!=4,B2=4 B2=4
剩下来的就不需要什麽有难度的方法了
此题目不巧的必须"至少"使用到这种方式1次(第4项)
(注2)
所以, 没办法不用此逻辑完成
试试换别的题目吧
: 小弟想问的是，有没有不要这样先假设某个地方该填啥才去矛盾的解法
: 我想要每一格每一格的数独都可以用推理很肯定的解出来
: 不想要用"假定某个数，导致矛盾"这种解法?
: 不知道有没有这样的解法呢?
: 小弟表达能力似乎变糟了@@ 希望大大看的懂 SORRY了
注1
Bidirectional X-Cycles
Turbot Fish
Forcing X-Chains
Bidirectional Y-Cycles
Bidirectional Cycle
此五项方法 是否要用 "因为... 所以..." 就看感觉了
它们对Forcing Chain来说 路径短 变数少 叙述数量少 简单很多
注2
引用一个题目
1.. ... ..9
..6 7.. .2.
.8. ... 5..
... .6. .7.
... 3.8 ...
..4 27. ...
.9. ... 8..
5.. ... ..1
..2 .4. .3.
经过计算 它"至少"要用到79次这种方式
(从ForcingChain到DynamicContradictionForcingChains(+MultipleForcingChain))
当然 还有要比它用更多次的题目..
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 125.229.168.202
※ 编辑: EIORU 来自: 125.229.168.202 (06/07 05:18)
※ 编辑: EIORU 来自: 220.130.210.241 (04/22 16:12)