作者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