或许……
跟过去的天数有关?
宋科似乎有了一点头绪,当即在沉下心来,努力去抓住这点思绪。
用假设法层层推进看看。
假设他的狗不是疯狗,那么那7位疯狗主人看到的疯狗数量就是6条。
疯狗主人看到的疯狗数量为6条,然后呢?
假设……
等等。
对,就是假设!
宋科眼睛猛的一亮,思路更加清晰了。
既然他会假设,那么其它七位狗主人未尝不会假设。
宋科闭上眼睛,抛开现在已知的疯狗数量,只将公告中,提到村中有疯狗的规则拿出来用。
村中有疯狗,可以理解为疯狗数量≥1。
那么现在,假设疯狗数量为1。
那么该疯狗主人,在看到其它17条正常狗时,立马就能判断出他的狗是疯狗,从而在第一天午夜将其杀掉。
然而,第一天午夜,没有疯狗被杀掉。
所以,以上假设不成立,所有人第二天都会明白,疯狗的数量至少≥2。
于是我们接着假设疯狗数量为2。
两条疯狗的主人,在17条狗中,互相只看到了1条疯狗。他们会反应过来,自己的狗是疯狗。
那么这两人就会在第二天午夜,将疯狗击杀。
但第二天午夜,也没有疯狗被击杀。
所以疯狗数量为2的假设也不成立。
于是在第三天时,这群人会得出疯狗数量≥3,并做出疯狗数量为3的假设。
以此类推……
“懂了”
宋科睁眼一笑,彻底理清楚了思绪。
他看到了7头狗,如果等到第七晚,七位疯狗主人还不动手杀掉疯狗的话,就说明村子里一共有8条疯狗。
而他的狗,就是那条疯狗。
彻底想明白后,宋科放轻松的往小木屋的走廊上一趟,看着天空的光影变换,静静等待起来。
第三天午夜过去,7条疯狗一条不少。
第四天午夜过去,7条疯狗一条不少。
第五天……
第六天……
第七天,宋科照旧在狗村逛了一圈,确认7头狗还活着后,便回到自己院落中。
天色一点点暗了下来,第七个午夜即将到来。
宋科明白,今夜过后,他的狗是疯狗,还是正常狗便有了答案。
午夜到来,村庄中悄然无声。
第七个午夜过去,那7条疯狗依旧还在。
所以……
当第八个午夜到来时,宋科牵着自己院落的狗,朝村庄中央走去。
在宋科抵达村庄中央的同时,另外七个方向,也一同走出来七位狗主人。
他们互相看着对方。
在他们对面的,正是他们所看到的,那七位疯狗的主人。