以文本方式查看主题

-  W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL  (http://bbs.xml.org.cn/index.asp)
--  『 理论计算机科学 』  (http://bbs.xml.org.cn/list.asp?boardid=64)
----  The Hardest Logic Puzzle Ever  (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=15634)


--  作者:Logician
--  发布时间:3/15/2005 4:11:00 PM

--  The Hardest Logic Puzzle Ever
The Puzzle:

Three gods A, B, and C are called, in some order, True, False, and
Random. True always speaks truly, False always speaks falsely, but whether Random
speaks truly or falsely is a completely random matter. Your task is to determine the
identities of A, B, and C by asking three yes-no questions; each question must be
put to exactly one god. The gods understand English, but will answer all questions
in their own language, in which the words for "yes" and "no" are "dam and "ja," in
some order. You do not know which word means which.

Some clarifications:

1) It could be that some god gets asked more than one question (and hence that
some god is not asked any question at all).
2) What the second question is, and to which god it is put, may depend on the answer to the first question. (And of course similarly for the third question)
3) Whether Random speaks truly or not should be thought of as depending on the flip of a coin hidden in his brain: if the coin comes down heads, he speaks truly; if tails, falsely.
4) Random will answer da or ja when asked any yes-no question.
5) They know each other, i.e. they know which of them is "True", which is "Random", etc.


Full solutions with heuristics:


此内容需要回复才能浏览

(It is highly recommended that you think of it for some time before seeing the solution)

[此贴子已经被作者于2005-3-17 5:10:15编辑过]

--  作者:huyuejun
--  发布时间:3/15/2005 8:25:00 PM

--  
hao
--  作者:wangjian98jp
--  发布时间:3/17/2005 2:32:00 PM

--  
不错
--  作者:rockmanX
--  发布时间:3/27/2005 12:21:00 PM

--  
确实很难,
--  作者:chenkenshin
--  发布时间:4/5/2005 10:34:00 PM

--  
赞~~
--  作者:asadafag
--  发布时间:4/22/2005 9:34:00 AM

--  
Ask A: C is random xor dam means yes
Dam:
  Ask B: A is random xor dam means yes
  Dam:
    Ask B: B is true xor dam means yes
    Dam:rft Ja:rtf
  Ja:
    Ask B: B is true xor dam means yes
    Dam:tfr Ja:ftr
Ja:
  Ask C: A is random xor dam means yes
  Dam:
    Ask C: C is true xor dam means yes
    Dam:trf Ja:frt
  Ja:
    Ask C: C is true xor dam means yes
    Dam:rtf Ja:rft

--  作者:asadafag
--  发布时间:4/22/2005 9:36:00 AM

--  
Acrobat版本太低看不到答案……
能否发个文本的……?
--  作者:filmpig
--  发布时间:4/23/2005 12:12:00 AM

--  
pp
--  作者:hippo
--  发布时间:4/27/2005 9:49:00 PM

--  

--  作者:karong5000
--  发布时间:4/28/2005 10:20:00 AM

--  
先顶了再看
--  作者:philio
--  发布时间:5/4/2005 1:08:00 PM

--  
看看我的结果和标准答案一样不一样
--  作者:bloud
--  发布时间:5/9/2005 9:23:00 AM

--  
顶一下
--  作者:arlin
--  发布时间:5/13/2005 5:33:00 PM

--  
hao
--  作者:suntorywww
--  发布时间:5/18/2005 10:21:00 AM

--  
看看先
--  作者:phonyu
--  发布时间:5/18/2005 10:32:00 PM

--  
Good
--  作者:zbsmj
--  发布时间:5/26/2005 6:29:00 PM

--  
难啊。现看看
--  作者:woodbodboy
--  发布时间:5/28/2005 9:17:00 PM

--  

确实很难,


--  作者:akinga
--  发布时间:6/5/2005 2:58:00 PM

--  
3X
--  作者:e_lsh
--  发布时间:6/15/2005 9:25:00 AM

--  
Thanks
--  作者:txm003
--  发布时间:6/15/2005 7:02:00 PM

--  
顶!!!
--  作者:roam
--  发布时间:7/2/2005 10:20:00 PM

--  
ms这几天水源有看到?
--  作者:Mathsniper
--  发布时间:8/21/2005 1:26:00 AM

--  
nice thing!!!!!!!
--  作者:frozenbbs
--  发布时间:8/22/2005 3:39:00 PM

--  
好,顶了再看。

--  作者:jeanler
--  发布时间:10/8/2005 4:23:00 PM

--  
顶先
--  作者:onebug
--  发布时间:11/2/2005 5:23:00 PM

--  
路过学习中
--  作者:agnostic
--  发布时间:11/23/2005 10:50:00 PM

--  
hao
--  作者:arcong
--  发布时间:11/25/2005 12:15:00 AM

--  
这玩意怎么练啊...
--  作者:tcs_chen
--  发布时间:1/31/2006 9:43:00 AM

--  
难~~~~~
--  作者:yongww
--  发布时间:2/21/2006 4:37:00 PM

--  
看看
--  作者:chzhuang
--  发布时间:2/25/2006 11:39:00 PM

--  
网上搜来的《补充说明》:
相对该文章“几年前”,逻辑学家和难题制作大师Raymond Smullyan制作了一道就该文章作者所知无人挑战的逻辑难题,叫迄今最难的逻辑题。
而有人还进一步加大该题的难度;计算机科学家 John McCarthy 将该题“扭”得更难:精灵的语言中哪个词表示“是”,哪个词表示“否”是未知的。
George Boolos 是麻省理工学院哲学教授和“Provability Logic”的创始人之一,《The Logic of Provability》一书的作者。上述文章出现在1996年春的哈佛哲学评论。
文章的内容在Boolos的书《逻辑,逻辑,逻辑》的第29章。(1998年哈佛大学出版社出版)。

--  作者:Logician
--  发布时间:2/26/2006 12:36:00 AM

--  
赞庄老师~~~~
--  作者:mmmyddd
--  发布时间:2/26/2006 8:17:00 PM

--  

--  作者:mmmyddd
--  发布时间:2/26/2006 8:18:00 PM

--  

--  作者:weewweew
--  发布时间:3/1/2006 3:12:00 PM

--  
很好
--  作者:wjwenoch
--  发布时间:3/5/2006 7:49:00 PM

--  

不错啊
--  作者:hellomammy
--  发布时间:3/26/2006 4:07:00 PM

--  
3Q
--  作者:lmm0721
--  发布时间:4/16/2006 8:18:00 PM

--  
jj
--  作者:happynju
--  发布时间:5/8/2006 8:14:00 PM

--  
hao

W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
140.625ms