Re: [问题] 数独卡关求解

楼主: funkie (干!!草泥马)   2016-07-02 19:22:23
※ 引述《waterap (呱呱)》之铭言:
http://i.imgur.com/9vFWhvh.jpg
推 funkie: row3:{8,9} {8,9}; row9:{1,8,9} {8,9} => {1,8,9}->{1} 07/02 17:28
推 funkie: unique rectangle of type 1 07/02 17:35
→ waterap: 抱歉,我不懂这解法,可以麻烦解释一下吗?为何{1、8、9 07/02 18:13
→ waterap: }有独解1? 07/02 18:13
推 LPH66: 这个是唯一解理由, 若那里不是 1 则这个长方形就是 89 互换 07/02 18:35
→ LPH66: 理论上应该要有别的线索才对 07/02 18:36
一个合法的数独有解则必定是唯一解
因此不能含有deadly pattern
4 cells deadly patteern example:
12 . . | 21 . . | . . .
21 . . | 12 . . | . . .
. . . | . . . | . . .
1,2位置可以互换
所以解的时候可以排除这些可能
{1,8,9}那格如果是8 or 9 就是上面的情况
所以可以删去候选数8,9
删去后只剩1 所以那一格是1
楼主: funkie (干!!草泥马)   2016-07-04 19:54:00
楼上误会了 没唯一解的本来就要猜 猜错就错了 并不会用了这方法就有唯一解 用不用这方法是信仰问题
楼主: funkie (干!!草泥马)   2015-07-02 17:28:00
row3:{8,9} {8,9}; row9:{1,8,9} {8,9} => {1,8,9}->{1}unique rectangle of type 1
作者: waterap (呱呱)   2015-07-02 18:13:00
抱歉,我不懂这解法,可以麻烦解释一下吗?为何{1、8、9}有独解1?
作者: LPH66 (-6.2598534e+18f)   2015-07-02 18:35:00
这个是唯一解理由, 若那里不是 1 则这个长方形就是 89 互换理论上应该要有别的线索才对
作者: waterap (呱呱)   2016-07-02 19:53:00
所以,当确定其他地方都无线索才用这方式?还是这也是一个常用法?
楼主: funkie (干!!草泥马)   2016-07-02 21:09:00
这算最简单的进阶技巧,3格一样的候选数删第4格候选数算是一眼就看的出来 有看到就用囉
作者: waterap (呱呱)   2016-07-02 21:22:00
谢谢f大讲解
作者: LPH66 (-6.2598534e+18f)   2016-07-02 21:49:00
个人是不太喜欢用这种方法, 一个题目要唯一解该有其他线索不过如果要把这回事当前提那也不是不能用就是了再说这个方法在贤独是不能用的
作者: walkwall (会走路的墙)   2016-07-02 22:54:00
原来如此
作者: arthurduh1 (arthurduh1)   2016-07-02 23:11:00
唯一解的条件并不是普遍被出题者采用的但漂亮的题目一般都会这样自我要求就是
作者: LPH66 (-6.2598534e+18f)   2016-07-03 01:05:00
其实这个 some point 比大家想像中的还要更早因为进阶技法的“当某些条件满足时某些格子因矛盾可删除”这其实就是 guess 了: 某格猜这个数的话经推理得到矛盾所以我并不排斥长 backtrack 推理, 但我不喜欢唯一解理由嘛, 这也就是为什么我虽然不喜欢它, 但若把唯一解当前提也不是不能用的原因了; 当前提的话上面那句话的矛盾就可以包含“和唯一解这前提矛盾”
作者: wxtab019 (天霜凝月)   2016-07-04 00:13:00
之前有些看过没唯一解的 后来就没用这招解了
作者: LPH66 (-6.2598534e+18f)   2016-07-05 09:30:00
推这是信仰问题
作者: arthurduh1 (arthurduh1)   2016-07-05 09:37:00
遇到没唯一解的话,用这个方法会遇到的问题是可能会解到很后面才发现矛盾所以基本上就要跟试误法一样,对后来的推导另外标记
楼主: funkie (干!!草泥马)   2016-07-05 14:10:00
遇到没唯一解的问题是这题目根本不能靠逻辑解
作者: arthurduh1 (arthurduh1)   2016-07-05 15:24:00
有的,有些没有唯一解的题目还是可以手算出全部的解你要说不能靠逻辑解,有些有唯一解的题目也不行所以这是两回事会建议开始用唯一解条件时就要当作试误法就是因为被阴过但一般来说 可以怪出题者出得不好 这我是没意见
楼主: funkie (干!!草泥马)   2016-07-05 17:05:00
... 若A B两种解都和原题目符合请问哪种逻辑可以分得出来?
作者: arthurduh1 (arthurduh1)   2016-07-05 17:25:00
非唯一解的意思不就是有两组答案?! A,B都是解阿我不是都推可以解出 "全部的解" 了我也说过你可以怪题目不佳不要解但若至少想解出来,且采用本篇方法,就必须当成试误
楼主: funkie (干!!草泥马)   2016-07-05 19:21:00
所以你在某一步做了"猜"这件事 发现答案A正确 又"猜"一次再发现B答案正确 这个游戏的目标就是要不能猜答案阿 -,-
作者: arthurduh1 (arthurduh1)   2016-07-05 19:26:00
反过来思考,当题目可能有多解时,本篇方法才是猜答案所谓猜到底是什么其实很模糊,我自己是以“内存”用量当判别标准。我也同意尽量不要猜答案,但同时这也是我尽量不使用本篇方法的原因要用的时候我一定当试误法 (所谓试误法就是猜)这一切都奠基在到底允不允许多解上你的引用里也说到这是有争议的,所以除非强调唯一解否则我都会把 本篇方法&试误法 当最后手段其实你可以问问自己,当遇到多解题目的时候你怎么办?我没有要为了前面的争议(?)背书阿 我提的是自己所想的确是信仰问题也没错。 依你说会变不同游戏,我想应该代表遇到多重解你就不会继续解下去了?那就是我说的你觉得题目不佳阿XD 这也OK没问题呀我的话是会想厘清这个题目到底出了什么问题,所以会试看看能不能完全解出。毕竟解不出来还分“有矛盾”和“多重解” 但如果不把本篇方法当试误法,就会变成无法分辨其中差异。另外关于“逻辑”这个字眼: 多重解并不违反逻辑否则我们解 多次方程式 不就都是不合逻辑的行为?我倾向于逻辑代表的是在很少的步数内能看出结果(在本篇所提到的逻辑)而有些多重解是真的能够用很少的步数整理出来的那个推论的过程其实我也有疑义。只有唯一解应该是规定(某个不一定被接受的规定)而不是由“可以不用猜”这个模糊的概念推得除非你的“猜”专指多重解,那就很明确。但这样就不须绕这么多步的推论了
作者: LPH66 (-6.2598534e+18f)   2016-07-06 20:36:00
我很前面就推过了: 开始“猜”的点比各位想像中的还要早逻辑推理里所谓的归谬法或反证法就是猜一个前提再推出矛盾有很多进阶数独技巧的理由归根究底还是反证法当某些格子满足条件时若哪一格是什么数字则可以推出矛盾所以我才会说长串倒推跟这种技巧逻辑上没什么两样唯一差别只有 arthur 讲的“内存用量”而已
作者: wxtab019 (天霜凝月)   2016-07-06 20:47:00
所以意思是 这方法也只是"猜"的其他一种 不一定是正解?
作者: arthurduh1 (arthurduh1)   2016-07-06 21:50:00
猜跟逻辑技巧的分界仔细想想会发现有模糊地带其实我也没说原PO说错什么,只是想把非唯一解的题目拉近考虑范围而已*进唯一觉得不妥的就是要嘛就把唯一解当规则要嘛就是接受非唯一解。 而不是因为“不能猜”这个理由而说不允许非唯一解若把唯一解当条件 => 本篇方法是个强大的技巧若接受非唯一解 => 本篇方法是“猜”to wxtab: 能解出来的(i.e. 没有与规则冲突)都是正解正解与否跟你用什么方法无关

Links booklink

Contact Us: admin [ a t ] ucptt.com