Transcript 史上最难的逻辑谜题、其解决方法和形式化

史上最难的逻辑谜题、其形式
化和无解问题
王海若 逻辑11硕 2013.03.20
HLPE
有代号 A, B, C 的三位神祇，只知它们
名为“真实、虚谎、任性”，但不知哪个
代号属哪个名字。真实之神只说真话，虚
谎之神只说假话，而任性之神会随意说真
话或假话。你的任务是利用三条是非题，
找出 A, B, C 的身份，但每次只能向一位神
祇发问。神祇们都懂得你的语言，但只会
用它们的语言回答 "da" 或 "ja"。这两种回
答，一个解“是”，一个解“否”，但你
不知道哪个回答是哪个意思。
Boolos
史上最难逻辑谜题（HLPE）由美国哲学与逻辑学家 George
Boolos于1996年在其论文The hardest puzzle ever 中提出，问题本身
则改编自美国逻辑学家 Raymond Smullyan在其1978年的著作What
is the name of this book中提出的谜题。
在该篇文章中间，Boolos首先对该谜题进行了下述四点澄清：
1、你可以问一位神祇多于一条问题，也可以完全不问祂问题。
2、你可以根据之前其他问题的答案，来决定下一条问题的内容。
3、任性之神如何作答，可以想像为祂会在脑中掷铜板，若掷得正面，则
回答真话；反面，则答假话。
4、对于只有“是”或“否”两种答案的问题，任性之神只会回答 da 或
ja。
接着Boolos先解决了三个较小的逻辑谜题，然后将其解决方式应用
到HLPE中。Boolos解决谜题的核心思想是利用当且仅当句式，例如：
“‘da’的意思是‘是’ 当且仅当 Dushanbe在Tajikistan吗？” 这种
问句消除了被提问者的类型不同导致的回答差异。在文章的末尾，
Boolos肯定了排中律在人们进行可能性推理和日常推理中的必不可少
的地位。
Robert
在Boolos发表了这篇论文之后，Tim S. Robert、Brain Rabern、Gabriel
Uzquiano、Gregory Wheeler以及刘奋荣等相继对HLPE提出不同的解决方式
或变体。
Robert在some thoughts about the hardest logic puzzle ever中对HLPE
做出了四个评述并随后给出了一套更为简单和自然的解决方法，这里列出他
的四个评述：
1、HLPE相较于其他大多数相似谜题的难点在于：引入了一个任意作答的神祗，
以及用“da”和“ja”来表示“是”和“否”，却不给出哪个回答表示哪个意思。
2、因为第一个问题的提问对象可能是任性之神，所以第一次提问似乎永远都不
能得到任何有效的信息。
3、共有12种不同的可能性，而3次回答最多只能区分8种情况（2乘2乘2），所
以，任何使我们知道三个神祗的身份的解决方法都不能解释“da”和“ja”分别
表示什么意思。
4、Boolos的解决方法太过复杂，当且仅当句式很不自然
Robert采用的问句形式是“如果我问你Q，你会回答‘da’吗？”。只要
回答者不是任性之神，则回答“da”意味着Q是真的，回答“ja”意味着Q 是假
的。这种问句形式在以后的相关论文中被广泛采用，并且被命名为嵌入问题
定理。在论文的最后，Robert给读者列出了两个谜题变体，但似乎没有后续
研究对此进行讨论。
Rabern&Rabern
Brain Rabern和Landon Rabern在2008年发表了一篇论文名为A
simple solution to the hardest logic puzzle ever. 这篇论文的最大贡献
是阐明了嵌入问题引理，并且修正了Boolos的谜题。
在Boolos的谜题中，任性之神回答问题是根据在脑中掷铜板，正
面则说真话，反面则说假话。“然而，”该论文中写道：“这种做法
完全丢失了原始Smullyan谜题的精神。”因为无论是掷到铜板的正面
或反面，任性之神都必须说真话或假话。按照嵌入问题引理，让其回
答诸如“如果我问你北京是不是在中国，你会回答‘ja’吗？”时，任
性之神永远只能回答“ja”。
基于此，论文给出了HLPE的修正版：有代号 A, B, C 的三位神
祇，只知它们名为“真实、虚谎、任性”，但不知哪个代号属哪个名
字。真实之神只说真话，虚谎之神只说假话，而任性之神会随意说
“da”和“ja”。你的任务是利用三条是非题，找出 A, B, C 的身份，但
每次只能向一位神祇发问。神祇们都懂得你的语言，但只会用它们的
语言回答 “da” 或 “ja”。这两种回答，一个解“是”，一个解
“否”，但你不知道哪个回答是哪个意思。
Rabern&Rabern
同时boolos对谜题提出的四点澄清中德第三条也得到
相应修正：任性之神如何作答，可以想像为它会在脑中掷
铜板，若掷得正面，则回答“ja”；反面，则答“da”。
在我们前面介绍的两篇论文中，作者都只给出了三个
提问的解决方法。而且根据Robert的分析，六种可能性不
可能通过两个是否问题来确定。然而，在本文中，Brain
Rabern和Landon Rabern给出了一个对原始HLPE谜题两
个提问的解决方法。首先由于嵌入问题引理和任性之神的
定义漏洞，原始问题可被简化成一个对三个说真话的未知
身份的神祗提出是否问题以确定他们身份的谜题。解决方
法简化的关键在于，三个神祗除了对问题给出是或否的回
答之外，还可能因无法做出回答而导致头部爆炸。考虑以
下问题：
Rabern&Rabern
“以下情况是否真实：你会对这个问题回答
“否”并且B是真实之神或者B是虚谎之神吗？”
此时回答“是”则B是虚谎之神，回答“否”
则B是任性之神，头部爆炸则B是真实之神。
以上问题属于自我指涉问题，这种问题有可
能导致有理性并依照理性说话的个体无法做出回
答。但是该种方法是否能应用于修正后的谜题中
呢？Gabriel Uzquiano对此给出了肯定的回答。
Uzquiano
Uzquiano在其2010年的论文How to
solve the hardest logic puzzle ever in two
questions中对修正后的HLPE给出了两个问
题之内的解决方法。他在文中写道：
“…there are both self-referential questions that
no truth-teller can answer and self-referential
questions that no liar can answer.”
“The key to two-question solutions to the puzzle
is to learn how to glean information from certain
god’s inability to answer a question.”
Uzquiano
考虑以下问题：
Q1. 你会用你的语言中表达“是”的词来回
答是否Q吗？
Q2. 你会对Q1回答“ja”吗？
解码引理：真实之神和虚谎之神用“ja”和
“da”来回答Q2的方式完全按照它们对Q表
达肯定和否定的方式。
Uzquiano
由此，Uzquiano将谜题简化成每个神都用“是”和
“否”来回答问题。（但是文中神祗并没有因为无法回
答问题而头部爆炸，它们只是会保持沉默。)问题Q的形
式是：“你和X对北京在中国的回答会是一样吗？”。
但之后， Uzquiano考虑了真实之神和虚谎之神都能
够预测任性之神的回答的情况，并利用自我指涉问句给
出了新的解决方法。其问题的形式如下：
1 你会用“ja”回答是否：
a X不是任性之神并且你是虚谎之神，
b X是任性之神并且你会对1回答“da”；
以上两个命题至少有一个为真吗？
Uzquiano
在论文的最后，Uzquiano给出了一个更难的
HLPE版本：任性之神的回答方式被修改得更为随
机——它可能回答“da”、“ja”或根本不回答，而
且它如何回答完全取决于脑中一个匀称的三面骰
子的投掷结果，每一面各代表一个不同的反应。
这个新的版本消除了任性之神和其他两个神
祗的“particular asymmetry”。此时，任性之神可
以完美地模仿其他任何一个神祗。Uzquiano声称
他不知道如何在两个提问之内解决这个谜题。而
Gregory Wheeler和Pedro Barahona随后证明，
这个新的HLPE不能在两个提问之内得到解决。
Wheeler&Barahona
Gregory Wheeler和Pedro Barahona在
Why the hardest puzzle can not be solved
in less than three questions中先给出了针
对Uzquiano的改进版的解决方法，和
Uzquiano的解决方法几乎一样，只是由于
谜题难度的增加，问题的个数变成了三个。
随后他们论述了为何不可能在两个提问
之内解决HLPE。
Wheeler&Barahona
QL引理：如果一个问题有N个
可能回答，那么这N个回答最多
区分N种不同的可能性。
回应1
回应2
回应3
现在我们已知共有三种不
同的回应：“ja”、“da”和不回
答。而只考虑3个神祗的类型则
有6种不同情况，假使神祗类型
能在2个提问之内得到确定，则
在第一个提问之后每一个回答
之后的可能情况最多只能有3种。
现假设对A提出第一个问题，由
于任何回应都无法排除被提问
者是任性之神的情况，那么只
有剩下4种情况可以被区分，那
么一定有一个回应保留3种以上
可能情况。
RTL
RLT
LTR
RTL
RLT
LRT
RTL
RLT
TLR
TRL
Wheeler&Barahona
依照惯例， Gregory Wheeler和Pedro Barahona给出
了一个更难的HLPE版本：
有代号 A, B, C 的三位神祇，只知它们名为“真实、
狡诈、任性”，但不知哪个代号属哪个名字。真实之神只
说真话，任性之神会随意说“da”、“ja”或不回答。狡诈
之神在它确定自己所说的是谎言的情况下会说谎，当它不
确定的时候它会表现得和任性之神一样。你的任务是利用
三条是非题，找出 A, B, C 的身份，但每次只能向一位神
祇发问。神祇们都懂得你的语言，但只会用它们的语言回
答 “da” 或 “ja”。这两种回答，一个解“是”，一个解
“否”，但你不知道哪个回答是哪个意思。
Wheeler&Barahona
这个谜题其实很好解决，将问题Q放在“你
确定Q吗？”之中既可以将谜题回归到之前的版
本。
然而，文中继续写到：
“However, here is the catch. Our solution
hinges on the gods, unlike us, being aware of
who their neighbors are, but like us in not having
the oracular ability to predict with certainty what
Random or Devious will say… ”
论文最后对这些新的修改也给出了比较可靠的
讨论，利用“在未来某一个时间你会和X的回答
一样吗？”的问题形式似乎就可以解决以上问题。
Gregory Wheeler和Pedro Barahona以及前面
提到的几个作者在改进HLPE时倾向于让三个神祗
的回应方式更加符合人类对神的直观：任性之神
应该能够对任何问题进行随机的回答；神祗应该
是全知全能，所以它们应该能够预测随机的回答；
虚谎之神应该是怀着邪恶的目的阻挠人类，所以
在不确定的情况下应该像任性之神一样行事；神
祗不应该向人类直接揭示自己的身份，因此它们
不会对直接涉及身份的提问给出回应。然而，刘
奋荣和王彦晶通过一个相反方向的努力使得HLPE
的某些变体无解同时对HLPE给出了形式化的定义。
Liu&Wang
刘奋荣和王彦晶在Reasoning about agent types中对
HLPE给出的形式化定义。该文所采用的形式化语言是在
多主体公开宣告逻辑语言的基础上添加提问算子、类型变
元、发音变元以及将宣告算子变更为回答算子和任意回答
算子。
在HLPE中出现了不同的类型：真实、虚谎和任性。为
了对其进行形式化，文中首先对类型做出了精确定义并将
其作为语言的核心要素。
除此之外，在解决谜题的过程中会涉及到提问、回答、
根据回答提问、再回答…直到三个神祗的类型被确定。因
此需要对这种一环扣一环的提问过程给出形式化的定义。
文中将这种解决方法形式化为提问策略，策略的每一次执
行表示一次提问过程，只有当一个策略的所有执行过程都
能使三个个体的类型被D（提问者）确定时，这个提问策
略才有效。
Liu&Wang
Liu&Wang
Liu&Wang
Liu&Wang
具体的语义定义在ppt最后列出，以下是文中
的直观说明：
1.初始状态没有任何问题被提出；
2.当提问者提出一个问题时，这个问题和它的回答
者会被记录下来，并取代之前没被回答的问题；
3.只有当问题被提出后，回答者才能够作出相应回
答；
4.当回答着作出回答后，记录被清空到初始状态#；
5.提问者可以对任何个体提出任何问题。
Liu&Wang
Liu&Wang
第二个定义保证一个提问策略的每一次执行过程中，其中
任何一个提问状态的问题都必须是可回答的。
Liu&Wang
构造模型如下：
Liu&Wang
Rabern&Rabern的解决方法即可形式化如下，
由定义可证
Liu&Wang
之前我们已经提到，到现在为止，所有的HLPE都有
解决方法并且更新的趋势是使得谜题中神祗的性质更加符
合我们对神的直观。然而该论文中给出了一个新的HLPE，
他们试图将神祗还原为普通人类。新谜题如下：
一个（主观）说谎者、一个（主观）说真话者和一个
（主观）吹牛者一起住在岛上。他们知道自己的类型但不
知道其他两个人的。除此之外，在这三个人之中，每个人
的类型都不同于其他两个是常识。他们听得懂英语但是只
会以自己的语言回答“da” 或 “ja”。这两种回答，一个解
“是”，一个解“否”，但你不知道哪个回答是哪个意思。
现在，你能够通过向他们提出可以用“da”或“ja”回答的
问题来确定这三个人的类型吗？
Liu&Wang
Liu&Wang
之后这个新的HLPE被形式化证明无解。我们
在这里仅阐述其主要思想。首先利用嵌入问题引
理可以形式化证明该谜题有解当且仅当以下谜题
有解：
一个（主观）说谎者、一个（主观）说真话
者和一个（主观）吹牛者一起住在岛上。他们知
道自己的类型但不知道其他两个人的。除此之外，
在这三个人之中，每个人的类型都不同于其他两
个是常识。他们听得懂英语并且用“是”或”否”
来回答问题。现在，你能够通过向他们提出可以
回答的是否问题来确定这三个人的类型吗？
Liu&Wang
Liu&Wang
无解问题
现在我们已经简要介绍了对史上最难逻
辑谜题的代表性研究。在最后的论文中，
作者给出一个新的HLPE并且形式证明了其
无解。现在我们想要在该证明基础之上对
类似的HLPE给出一个比较随意的无解证明。
首先我们指出，在上述提到的无解版
本的HLPE中，模型最后总会缩小至到如下
形式的子模型：
无解问题
由命题9可知，现在无法对A, B, C中任
何一个个体提出有效问题，所以该子模型
不可能再缩小。我们在这个观察的基础上
提出假设：
无解问题
无解问题
Liu&Wang对命题9的证明在此模型中同样
成立。假设子模型的所有可能世界中A或为STT
或为LT，现分三种情况考虑：
1. 子模型中A全为STT，由模型的性质这些可能世
界同时不可被A和D（提问者）区分，x只能回答
他所知道的东西，那么他的答案必定在每个可能
世界上为真，因此D也知道答案。
2. A全为LT，LT类型个体无法提供任何有效信息，
因为他们的回答前提是重言式。
3. A至少在一个可能世界上为STT，在一个可能世
界上为LT
无解问题
若该提问有效，那么ja和da都会排除至
少一个A为STT的世界，即在其上A不知道
问题的答案。显然所有A为STT的世界对A
而言都是不可区分的，所以不可能出现以
上情况，因此也不会有有效提问。
无解问题
无解问题
综合以上两个性质我们知道，每个个体被有效提问后
就排除了某个非LT情况，此时根据命题9，提问者无法再
对该个体提出任何有效问题。因此每个个体最多可以被提
一次有效问题。现在，因为我们考虑的是无解问题，所以
可将类型LT看作捣乱者，即他总是会设法阻止提问者知道
答案。在我们的模型中可假设LT总会模仿t中的自己的回
答。因此，现对G中个体按任意顺序逐一提问，若个体为
类型为非LT，我们已知t中该个体类型要么为LT要么和真
实世界一致，因此任何回答都无法排除t；若个体类型为
LT，因为LT会模仿那个可能世界中个体的回答，所以同样
也无法排除t。而当所有个体被问完之后，我们无法再提
出任何有效提问，因此t永远无法被排除，所以我们无法
确定所有个体的类型。
完
谢谢
Liu&Wang
Liu&Wang
Liu&Wang
在形式化HLPE之前还需对谜题的隐含假设给予进一步
澄清和形式化。本文在Rarbern&Rabern的四点澄清的基
础上添加了六个必要假设和两个非必要假设。这里只列出
非形式化的假设：
1.ABC的类型为STT，SLL或LT，并且这是常识。
2.ABC拥有不同的类型，并且这是常识。
3.ABC知道其他人的类型，并且这是常识。
4.ABC知道“da”和“ja”的意思，并且这是常识。
5.D不知道ABC的类型并且这是常识。
6.D不知道“ja”和“da”的意思但是他知道一个表示“是”，
一个表示“否”，并且这是常识。
B1. 所有的提问和回答公开进行。
B2. D不会再提问中提到自己。
Liu&Wang
同样，在形式化前他们先提出了几个新
的假设：
1a. A、B和C的类型都在T={STT,SLL,LT}中，
并且这是常识。
2a. A、B和C拥有不同的类型并且这是常识。
3a. A、B和C知道自己的类型但不知道其他人
的并且这是常识。
4~6, B1和B2和之前一样。