作者micklin (離鄉背井的米克)
看板logic
標題Re: [請益] 找寶藏問題
時間Thu Aug 7 03:09:10 2008
※ 引述《joehwu (ㄚ桂)》之銘言:
: 你把你的(3, 4)代進去題目裡面,你會發現矛盾,
: 矛盾之處在於,你的答案會讓風水師和考古學家永遠猜不到正確答案。
: 我寫給你看... 過程超級冗長... 可以跳過不看...
: 風水師無奈的說:『我不知道。』
: => 他只知道Y=4,無法確定X是1或3 => 成立
=> 他只知道Y=1, 無法確定X=8或9 => 成立
: 考古學家冷冷的說:『哼,我知道你(風水師)不知道。』
: => 他只知道X=3,因此猜測風水師的Y是4或5或8
: => 若Y=4 則考古學家認為「風水師無法確定X是1或3」
: 若Y=5 則考古學家認為「風水師無法確定X是3或8」
: 若Y=8 則考古學家認為「風水師無法確定X是3或9」
: => 成立
他只知道X=8, 因此猜測風水師的Y=1或5
=> if Y=1, then 風水師無法確定X=8或9
=> if Y=5, then 風水師無法確定X=3或8
=> 成立
: 風水師:『嘿嘿,多謝你(考古學家)了。本來我不知道,但現在知道了。』
: => 他知道Y=4,現在又知道考古學家認為他不知道
: => 他心想「考古學家用正確X所推論出來的全部Y,全部都無法對應唯一X」
: => 若正確X=1 則考古學家不知道Y=4或7
: 考古學家可能推論Y=4 則「考古學家認為風水師不確定X是1或3」
: 考古學家不可能推論Y=7 因為風水師前面有說『我不知道。』
: => 符合考古學家所言
: 若正確X=3 則考古學家不知道Y=4或5或8
: 考古學家可能推論Y=4 則「考古學家認為風水師不確定X是1或3」
: 考古學家可能推論Y=5 則「考古學家認為風水師不確定X是3或8」
: 考古學家可能推論Y=8 則「考古學家認為風水師不確定X是3或9」
: => 符合考古學家所言
: => 因此風水師無法確認X是1或3,當然就不知道答案 => 與原題目矛盾
他知道Y=1, 現在又知道考古學家認為他不知道. Y=1的有(8, 1)與(9, 1)
若正確X=8, 考古學家不知道Y=1或5
考古學家可能推論Y=1, 則「考古學家認為風水師不確定X=8或9」
考古學家可能推論Y=5, 則「考古學家認為風水師不確定X=3或8」
=> 符合考古學家所言
若正確X=9, 考古學家不知道Y=1或2或8
考古學家可能推論Y=1, 則「考古學家認為風水師不確定X=8或9」
考古學家不可能推論Y=2, 因為風水師前面有說「我不知道」
考古學家可能推論Y=8, 則「考古學家認為風水師不確定X=3或9」
=> 符合考古學家所言
=> 因此風水師無法確認X是8或9,當然就不知道答案 => 與原題目矛盾?????
: ...寫這個累死了~
: : 我還是不太明白為什麼X不能是9....
: : 在原PO所提供的網頁上有人的推論是這麼寫的:
: : 考古學家知道風水師不知 => X座標所對應的Y座標全部都有多於一個座標 => Y不可能是
: : 2,7 => X 只能是3或8
: : Y不是2跟7, Y可以是8啊 = =
--
http://www.cs.nctu.edu.tw/~jylin
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.160.182.245
1F:推 joehwu:你沒有證明你的答案是正確的 08/07 03:19
2F:→ joehwu:把正確答案(8, 1)用錯誤的解題法來代 當然會矛盾 08/07 03:20
3F:→ micklin:我只是想表達用這種推論法是不夠充份的 08/07 03:20
4F:→ joehwu:除非你證明你的答案用你的解題法會合理代入 08/07 03:21
5F:→ joehwu:否則把正確答案放到你的解題法裡面 一點意義都沒有 08/07 03:21
6F:→ micklin:有啊, 用這種推論法連正確答案都會得到矛盾 08/07 03:24
7F:→ micklin:證明這種推論法有問題, 不然就是我在模倣時有寫錯. 08/07 03:25
8F:→ micklin:如果我沒有寫錯, 那用這種推論法來推翻(3, 4)就是無意義. 08/07 03:26
9F:推 joehwu:沒錯 這種推論法的前提就是「考古學家現在也不知道」 08/07 03:27
10F:→ joehwu:也就是luciferii提到的,你解題時用到的前提, 08/07 03:28
11F:推 joehwu:因此 這種前提所導出的推論 如同你說的... 有問題 08/07 03:30
12F:→ joehwu:我提出這個推論的用意不是要推翻(3, 4) 08/07 03:32
13F:→ joehwu:只是要證明用你的前提 也導不出(3, 4)而已 08/07 03:32
14F:推 joehwu:若是你的前提什麼答案也導不出來... 08/07 03:38
15F:→ joehwu:一是題目有錯 二是前提有錯 至於是哪種~ ^^ 08/07 03:39