假设每户人看到的疯狗数是一个向量中的元素,那么可以定义一个观测向量a=(a1,a2,a3,……,a50)。这个a在第一天就已经确定下来,且唯一表示。疯狗数为m,这也是固定不变的。(疯狗不能传染其他正常的狗。)由于已经确定有疯狗存在,故m>0。 由于最多有50只疯狗,所以a的可能为50种,如下:
b1=(1,1,……,1,0) (49个1,1个0)
b2=(2,2,……,2,1,1) (48个2,2个1)
b3=(3,3,……,3,2,2,2) (47个3,3个2)
……
bk=(k,k,……,k,k-1,……,k-1) (50-k个k,k个k-1)
……
b49=(49,48,……,48) (1个49,49个48)
b50=(49,49,……,49) (50个49)
1。若第一天没有狗叫,则可以排除b1,且大家获得共同知识:疯狗数m>1。若是b1,则第一天观测到为0的村户确认自己家狗是疯狗,则打狗。
因此,a的可能为剩下的49种;
2。若第二天没有狗叫,则可以排除b2,且大家获得共同知识:疯狗数m>2。若是b2,由于疯狗数m>1,则第二天观测到为1的村户确认自己家狗是疯狗,则打狗。
因此,a的可能为剩下的48种;
3。若第三天没有狗叫,则可以排除b3,且大家获得共同知识:疯狗数m>3。若是b3,由于疯狗数m>2,则第三天观测到为2的村户确认自己家狗是疯狗,则打狗。
由于第三天有狗叫,因此,a=b3。故m=max{ b3i}=3。