: ※ 引述《rehearttw (易怀)》之铭言： : : ９７１|６２４|５８３ : : ２Ａ３|９８５|１　７ : : Ｂ８Ｃ|１７３| : : ------+------+------　　　 : : ４３９|５１７|６２８ : : ８２７|３６９|４１５ : : １ＦＧ|２４８|３７９ : : ------+------+------ : : ７９Ｅ|　５　|　３１ : : Ｄ１８|　３　| : : ３Ｈ２|　９１| : : A 的选择只有 4 或 6，B 的选择只有 5 或 6 : : D 的选择只有 5 或 6，E 的选择只有 4 或 6 : : 若 A 填 6 ， 则 B 填 5， C 填 4 : : 对到下面 D 填 6， E 填 6，矛盾！ : : 故 A 填 4 Ａ到Ｈ格可填的数字整理一下： A,E: 4,6 B,D,F,G: 5,6 C,H: 4,5,6 A-C-E-H-A 是个 (针对 4) 有互斥关系的环，所以 4 必全在偶数项或奇数项， 也就是 A = E = 4 或 C = H = 4 二选一。 B-C-G-F-H-D-B 是个 (针对 5) 互斥的环，所以 5 必全在偶数项或奇数项， 也就是 B = G = H = 5 或 C = F = D = 5 二选一。 但这两种选择皆排除 C = H = 4，所以 A = E = 4。 ※ 引述《Korit (KT)》之铭言： : sorry，由於想说的话有点多 所以重回一篇 : 首先感谢大大的帮忙，小弟发现可能是我说的不太清楚 : 大大提供的解法是这样的 : <若XX填OO，则.......中略.....结果矛盾，所以XX得填YY> : 小弟想问的是，有没有不要这样先假设某个地方该填啥才去矛盾的解法 : 我想要每一格每一格的数独都可以用推理很肯定的解出来 : 不想要用"假定某个数，导致矛盾"这种解法? : 不知道有没有这样的解法呢? : 小弟表达能力似乎变糟了@@ 希望大大看的懂 SORRY了 你讲的很清楚了，但是这个问题的定义事实上并不清楚。 例如，上面的推理论述可以算是一种区域摒除，也没有真的去试任何一格， 但它和 rehearttw 的方法背後的逻辑是一模一样的， 而互斥环的方法本身也是用试误原理做出来的， 那这种方法倒底算不算有用到试误法？ 如果你说它不算，那很多试误的例子都可以耍赖重写成别的型态； 如果你说它算，那很多基本公式也应该算进去，这个问题就没意义了。 所以我们需要的是，你先定义哪些公式不算用到试误法， (可以参考 EIORU po 的那一系列) 然後才有办法判断这一题有没有办法不靠试误法。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 71.37.39.213 ※ 编辑: isnoneval 来自: 71.37.39.213 (06/04 20:33)