Is Your Husband a Cheat? 死理性派问题_丈夫不忠逻辑推理-CSDN博客

本文链接：https://blog.csdn.net/ojshilu/article/details/17371653

这是一个具有递推性质的死理性派问题。

问题：A certain town comprises of 100 married couples. Everyone in the town lives by the following rule: If a husband cheats on his wife, the husband is executed as soon as his wife finds out about him. All the women in the town only gossip about the husbands of other women. No woman ever tells another woman if her husband is cheating on her. So every woman in the town knows about all the cheating husbands in the town except her own. It can also be assumed that a husband remains silent about his infidelity. One day, the mayor of the town announces to the whole town that there is at least 1 cheating husband in the town. What do you think happens?

到底会发生什么事情呢？会不会到最后仍然有不忠诚的丈夫永远不被自己妻子发现呢？会不会有丈夫被冤枉而死呢？

问题分析：

问题的条件是：妻子知道所有其他人的丈夫，却不知道自己丈夫的情况。也不允许互相通知。还有一个条件问题中没有明说，就是妻子把自己丈夫杀掉这件事也会被所有其他妻子知道。

该问题需要注意三点，第一点是当妻子判断出自己丈夫不忠时，会马上杀了他；第二点是镇长公布的至少有1个丈夫不忠，那么可能的情况就是1~100了；第三点是每个妻子都是死理性派，可以进行分析和推理。

问题递推：

我们设定，这件事是按轮次发生的，当妻子看到别人的丈夫被干掉之后，会再继续思考判断到底怎么回事。如果判断出自己丈夫有问题，就会干掉他；如果判断不出自己丈夫是否忠诚，当然不会轻举妄动，而是处于观望态度。假定这个轮次按天算吧，一轮思考和做出响应的行为（杀or不杀）作为一天。

1、假设有1个丈夫不忠（妻子A的丈夫）：

第一天，A看不到任何丈夫不忠，镇长却公布有人不忠，那A知道肯定是自己丈夫了，果断干掉之。其他妻子知道A的丈夫不忠，但判断不了自己丈夫是否忠诚。

第二天，其他妻子知道A干掉了自己的丈夫，推理出A看不到任何丈夫不忠，所以判断出自己的丈夫是好样的。

整个事件结束。理性派总结，假如1个人不忠的时候，第一天那个丈夫就会死掉。

2、假设有2个丈夫不忠（A、B的丈夫）：

第一天，A知道B的丈夫不忠，无法判断自己丈夫；B也是这样。其他妻子知道AB丈夫不忠，也无法判断自己丈夫，所以相安无事。