逻辑推理题-用C++实现（1）--谁是窃贼

1、题目：谁是窃贼

*人员审问四名窃贼嫌疑犯。已知，这四人当中仅有一名是窃贼，还知道这四人中每人要么是诚实的，要么总是说谎的。在回答*人员的问题中：

甲说："乙没有偷，是丁偷的。"

乙说："我没有偷，是丙便的。"

丙说："甲没有偷，是乙偷的。"

丁说："我没有偷。"

请根据这四人的答话判断谁是盗窃者。

2.问题分析与算法设计
假设A、B、C、D分别代表四个人，变量的值为1代表该人是窃贼。因为只有一个盗贼，一个为1其余三个为0，则A+B+C+D=1
由题目已知：四人中仅有一名是窃贼，且这四个人中的每个人要么说真话，要么说假话，而由于甲、乙、丙三人都说了两句话："X没偷，X偷了"，故不论该人是否说谎，他提到的两人中必有一人是小偷。故在列条件表达式时，可以不关心谁说谎，谁说实话。这样，可以列出下列条件表达式：
甲说："乙没有偷，是丁偷的。" B+D=1
乙说："我没有偷，是丙偷有。" B+C=1
丙说："甲没有偷，是乙偷的。" A+B=1
丁说："我没有偷。" A+B+C+D=1   或者说丁说假话则表示丁偷了即D=1且A=0 B=0 C=0   或者说丁说真话丁没有偷，其他三人偷的即D=0且A+B+C=1
或者可理解为，其中丁只说了一句话，无法判定其真假，表达式反映了四人中仅有一名是窃贼的条件A+B+C+D=1。

方法（1）

#include<iostream>
using namespace std;
int main()
{
  int A,B,C,D;
  for(A=0;A<=1;A++)
	   for(B=0;B<=1;B++)
		   for(C=0;C<=1;C++)
			   for(D=0;D<=1;D++)
				   if((B+D==1)&&(B+C==1)&&(A+B==1)&&(A+B+C+D==1))
				   {cout<<"A="<<A<<endl;
				    cout<<"B="<<B<<endl;
                    cout<<"C="<<C<<endl;
					cout<<"D="<<D<<endl;
					cout<<"谁的值为1,表示谁是窃贼。"<<endl;
				   }


  return 0;
}

方法（2）--转

#include<iostream>
using namespace std;

int main()
{
int i,j,a[4];
for(i=0;i<4;i++)
{
   for(j=0;j<4;j++)
       if(j==i)a[j]=1;
       else a[j]=0;
   if(a[3]+a[1]==1&&a[1]+a[2]==1&&a[0]+a[1]==1)
   {
      cout<<"The thief is ";
      for(j=0;j<=3;j++)
         if(a[j])cout<<char(j+'A');
      cout<<endl;
   }
}
return 0;
}