意外绞刑悖论

✍ dations ◷ 2025-08-26 06:22:05 #悖论,博弈论

意外绞刑悖论(英语:Unexpected hanging paradox),又称老虎悖论,是博弈论中一个著名的逻辑悖论,流传较广。而悖论是指一种导致矛盾的命题。

有一天,某个国王要处决一个死囚,但给他一个免死的机会。国王把囚犯带到一个房间,该房间有五道紧闭的门,其中一道门后面关着一只老虎。国王对囚犯说:“这五道门各有次序,你必须由第一道至第五道依序打开,其中一道门后有老虎,会把你咬死。但我可以肯定的是,在你没有打开那道有老虎的门之前,你万万料想不到老虎在哪一道门的后面。”显然,如果死囚预料到老虎在哪道门后面,就证明国王在撒谎,那么他就可以活命。所以开门之前,死囚进行了如下逻辑学的分析:假如老虎在第五道门,那把前四道门打开,都没发现老虎,那肯定猜到老虎在第五道门中,因国王说过死囚料想不到老虎在哪一道门,那国王的话就错了。所以,国王不会把老虎放在第五道门。同理,老虎也不在第四道门中,否则囚犯打开三道门之后,就只剩两道门,老虎既不在第五道门,就一定在第四道门,这样他就猜出老虎在哪了;以此类推,老虎不存在于任何一道门中;于是死囚心安了,冒冒失失地依次开门,结果老虎从第二道门中跳了出来,把囚犯咬死了。国王说:“我不是跟你说了,老虎在哪道门,你万万料想不到么?”

如果囚犯的推理成立,那么就算国王把老虎放在第五扇门后,也是“万万料想不到”,学者们争论的重点在于:这个推理究竟错在第几步?

如果第一步是正确的,那么后面几步为什么是错的?所以第一步就错了。错在囚犯把国王的思路作为论据。

首先必须定义怎样算国王所谓的“知道”(或“意料”),如果投机猜测算的话,那国王不论怎样放都不能保证不被猜中,所以带投机成分的猜测不能算“知道”(国王为了自身利益也会这么定义),设“知道”定义为“在即有事实下的逻辑推理”,那么囚犯不仅要正确预测老虎,还要对其预测给出严格的逻辑证明才行。本例中不考虑没有老虎的情况,即囚犯已知必有一头老虎。作为囚犯,他在每次打开一个门前都会进行逻辑推理,如果能推出老虎是在即将打开的门里就赢了,如果不能推出,他就只能打开这个门,如果打开后没有老虎就继续推理下一个门是否有老虎,依此类推。

然后,把问题从5个门,简化为只有2个门,囚犯会在打开第一个门之前,对第一个门里是否有老虎做逻辑推理:由于囚犯要引用国王的思路,故须先考虑国王思路是否是会错。

因此国王应且只应放到第一个门中,则国王必胜。

推广到n个门的情况,只要国王不把老虎放到最后一个门,则国王必胜,囚犯必败。

故事中的囚犯最后决定相信“没有老虎”。但,国王并不知道囚犯是否会这样,所以的确不可能把老虎放在第五扇门。如果囚犯决定相信“一定有老虎”,那么在前四扇门都没有老虎之后,第五扇门后的老虎的确就变成“可预料的”了。

既然老虎在第五扇门的话,它一定是“可预料的”,那么当你已经开了三扇空门时,情况是怎么样?我们可以试着写成逻辑式子:前提一、老虎不可预料。前提二、老虎如果在第五扇门时,可预料。前提三、老虎不在第五扇门时,就一定在第四扇门。前提四、老虎如果在第四扇门时,可预料。结论:前提互相矛盾。

请注意:这时的逻辑推理中,既然前提互相矛盾,必定有一个以上不成立,那么可能性就是以下四个其中之一、或是更多:

二和四自身是矛盾命题,不考虑,三会导致老虎变成薛定谔猫,也就是既存在亦非存在的状态(囚犯把老虎往前门推是错误的,因为前提中包含“已经开了三扇空门”)。所以可能性只有一个:老虎可预料。但若老虎可预料,那么显示国王说谎,如果国王可能说谎,那么老虎也真的有可能消失。

这时的正确结论是:国王一定说谎,但他的谎言可能是“老虎可预料”,却也可能是“根本没老虎”,囚犯只是偏心于一个可能性,结果帮国王圆谎罢了。

如果“不可预料”并不是一种保证,而只意味“高几率”,“有老虎”才是保证,那么情况又整个改观。可以列成以下状况:

如果囚犯连猜五次“老虎不在”,则不可预料率100%,当然是最糟的状况。

如果囚犯连猜五次“老虎在”,这时应将不可预料率一样视为100%。假设国王随便放,因为平均猜错次数是两次,亦即猜错一次要加不可预料率50%才公平。

假设国王随便放,这时囚犯采用的策略,以:

很明显了,这时国王的对应策略,如果把老虎放在失分最低的第五扇门,可能被囚犯豪赌赌中,所以把老虎放在失分次低的第二扇门会是最佳选择,只要把囚犯的猜中率压在20%以下,都可以毫无愧色说是有很高的不可预料率。

他应该从“老虎不存在”这个矛盾的结论,导出国王所谓的“不可预料”其实是指几率,再从几率上推测国王到底把老虎放在第几个门。

一位司法大臣宣布,将于礼拜一到礼拜天之间,出乎囚犯意料之外的一天,对某一位死囚处以绞刑,并会在前一天事先宣布。

该死囚开始逻辑推论:从礼拜一到礼拜天都可能处死我,而我是不知道究竟会是哪一天,所以哪一天都算是出乎我的意料之外。可是假设我顺利的活到了礼拜六,我不就可以确定要在礼拜天把我杀了?这样的话,就在我的意料之中了。礼拜天已经被排除了,如果我活到了礼拜五,我又可以确信不会在礼拜六处刑,如果礼拜六要杀我,也算是我的意料之中。如果继续往前推的话,他不能在任何一天把我绞死。”

可是到了礼拜三,他却得到了次日要把他送上绞刑架的消息。事实上,这是他没有预料到的。

死囚的推论几乎都是假设。事实上在礼拜天以外的任何一日处死他,对他来说都是意料之外的。

一名老师宣布:“下星期一至星期五之中,会有一天举行突击测验,所谓突击测验,就是在你们猜不到的日子考试。”学生们进行逻辑推理,若假设直到星期四还未考,那么星期五就会考,那就不算突击,因此星期五不可能考。若星期三没考,而星期五又不会考,大家就知道礼拜四会考……也算不了突击。以此类推,老师根本不可能进行突击测验。可实际上突击测验的决定权在老师身上,礼拜二老师就发了考卷。

相关

  • 鼻中隔Anterior ethmoidalnasopalatine nerves Medial posterosuperior nasal branches of pterygopalatine ganglionAnterior half to submandibular nodes Posterior half to
  • 偏利共生偏利共生(英语:Commensalism,又称为偏利共栖现象)是两种生物间共生关系的一种。是指在生物界中,某两物种间的生态关系,其中一种的生物会因这个关系而获得生存上的利益,但是,另一方的
  • 二院执政联盟(76)在野党(74)荷兰政府与政治 系列条目国会二院(荷兰语:Tweede Kamer der Staten-Generaal)是荷兰国会的下议院。它拥有150个席位,议员由采用政党名单比例代表制的选举产生
  • 枫属枫属(学名:Acer)又名槭属,是无患子目无患子科的一个属,通称为枫树、槭树,旧时归类于旧科名槭树科(Aceraceaedie),但是最近分子生物学研究结果表明,它应该归到无患子科中。本属大概有11
  • 正火正火(英语: Normalising)是金属热处理的一种方法。将钢加热到奥氏体(Austenite)并进行保温,然后在空气中冷却而得到的近乎于平衡组织的工艺。与完全退火较为类似,但是冷却速度较完
  • 枝鳃亚目对虾总科 Penaeoidea樱虾总科 SergestoideaPenaeidea Dana, 1852枝鳃亚目(Dendrobranchiata),是甲壳类动物十足目下属的一个亚目,具有五对足。它现存540个物种,其最早的化石纪录
  • 菲利普·B·麦格斯菲利普·B·麦格斯(英文:Philip B. Meggs,1942年5月30日 - 2002年11月24日),图形设计师、教授、设计史学家,《平面设计史》著作者。菲利普·麦格斯著于1983年的《平面设计史》是平
  • 理查德·莫里斯·亨特理查德·莫里斯·亨特(Richard Morris Hunt,1827年10月31日-1895年7月31日)是一位19世纪美国建筑师,是美国建筑学史上最著名的建筑师之一。他的著名作品包括大都会艺术博物馆和第
  • 皮埃尔·霍伊别尔皮埃尔-埃米尔·高特·霍伊别尔(丹麦语:Pierre-Emile Kordt Højbjerg,1995年8月5日-)是一位丹麦足球运动员,现效力于英超球队热刺,丹麦国家足球队成员。司职中场。霍伊别尔最早于
  • 会典会典之名始见于明代,意思是“典章会要”。会典是大多属当代官修断代式政书,会典与会要最大的差异是:会要以“职官”为纲,记录中央与地方官职制度沿革;会典着重记述法令典章,而不详