翟晓鹰提示您:看后求收藏(春雷小说clqcjtz.com),接着再看更方便。
s(x)
表示“x是小偷”,s(x)
表示“x不是小偷”。
step
2:枚举可能的说真话的人
我们知道
只有一人说了真话,我们就枚举这四人谁说真话,其他三人说假话。
对每种情况,我们验证是否自洽。
case
1:张三说真话
翟晓鹰提示您:看后求收藏(春雷小说clqcjtz.com),接着再看更方便。
s(x)
表示“x是小偷”,s(x)
表示“x不是小偷”。
step
2:枚举可能的说真话的人
我们知道
只有一人说了真话,我们就枚举这四人谁说真话,其他三人说假话。
对每种情况,我们验证是否自洽。
case
1:张三说真话