第840章 跟AI玩个游戏（第4页）

“不是我”

?s（张三）

李四

“是张三”

s（张三）

王二

“不是我”

?s（王二）

麻子

“是李四”

s（李四）

其中

s（x）

表示“x是小偷”

，?s（x）

表示“x不是小偷”

。

?

step

2：枚举可能的说真话的人

我们知道

只有一人说了真话，我们就枚举这四人谁说真话，其他三人说假话。

对每种情况，我们验证是否自洽。

?

case

1：张三说真话

?

张三：不是我

→

真话

→

张三不是小偷

?

?

李四：是张三

→

本章未完，点击下一页继续阅读