题目：村子里有５０个人，每人有一条狗，在这５０条狗中有病狗（这种病不传染），于是人们要找出病狗。
每个人可以观察其他４９条狗，以判断他们是否生病，（如果有病一定能看出来），只有自己的狗不能看，观察后得到的结果不得交流，也不能通知病狗的主人。主人一旦推算出自己家的狗是病狗就是枪毙自己的狗（发现后必须在一天内枪毙），而且每个人只有权利枪毙自己的狗，没有权利打死其他人的狗。
第一天大家全看完了，但枪没有响，到了第三天传来一阵枪声，问村里共有几条病狗，如何推算出来的？
分析：1).假设只有一只病狗。此时，只有一个人没看到有病狗，其他49看到有一条病狗。看不到病狗的人马上可以推断自己的狗是病狗，所以假设不成立。因此病狗不止一只。
2)假设有两只病狗。此时，有两个人看到只有一只病狗，其余48人看到有两只病狗。第一天看完之后没有人杀狗。因此第二天看到只有一只病狗的人就可以结合假设一的结论知道狗其实不止一只，因此自己只看到一只，因此自己的狗也是病狗，然后将狗杀掉。所以假设二也不成立。因此病狗不止两只。
3)假设有三只病狗。有三个人看到有两只狗，其余47人看到有三只狗。前面两天自然没有人杀狗。到了第三天，看到只有两只狗的这三个人（根据前面推断）知道病狗不止两只，而自己已经看到两只，所以自己的狗也是病狗，然后三人一起举枪杀之。此假设与题目相符。
至于这个程序怎么编呢？用试探法么？