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