ADV-101 断案 蓝桥杯

公安人员审问甲、乙、丙、丁四个嫌疑犯，已确知，这四个人当中仅有一人是偷窃者，还知道这四个人的答话，要么完全诚实，要么完全说谎。在回答公安人员的问话中：
　　甲说：“乙没有偷，是丁偷的。”
　　乙说：“我没有偷，是丙偷的。”
　　丙说：“甲没有偷，是乙偷的。”
　　丁说：“我没有偷，我用的那东西是我家里的。”
　　请根据上述四人答话，判断谁是偷窃者。

【输入形式】
无输入。
【输出形式】
输出一个字符，表示偷窃者是谁，A表示甲，B表示乙，C表示丙，D表示丁。

解题思路 ：首先依次假设甲乙丙丁是小偷，然后判断当前假设在甲乙丙丁分别说的是真话或假话的情况下是否成立，如果成立就递归判断下一个人的话，累计4次判断成功，假设成立

代码附上：

#include
using namespace std;
int arr[4] = { 0 };//arr第0，1，2，3个数对应着甲乙丙丁的偷窃情况。如果arr[i] == 1
//如果arr[i] == 1，表明是i偷的
char ans[4] = { 'A','B','C','D' };
bool judge(int word,int tof) {//word表示判断的是哪个人的话，tof(true of false)表示真或假
	if (word == 0 && tof == 1 && arr[1] == 0 && arr[3] == 1)
		return 1;
	else if (word == 0 && tof == 0 && arr[1] == 1 && arr[3] == 0)
		return 1;
	
	if (word == 1 && tof == 1 && arr[1] == 0 && arr[2] == 1)
		return 1;
	else if (word == 1 && tof == 0 && arr[1] == 1 && arr[2] == 0)
		return 1;
	
	if (word == 2 && tof == 1 && arr[0] == 0 && arr[1] == 1)
		return 1;
	else if (word == 2 && tof == 0 && arr[0] == 1 && arr[1] == 0)
		return 1;
	
	if (word == 3 && tof == 1 && arr[3] == 0)
		return 1;
	else if (word == 3 && tof == 0 && arr[3] == 1)
		return 1;

	return 0;
}

void print() {
	for (int i = 0;i < 4;++i) {
		if (arr[i] == 1) {
			cout << ans[i];
			return;
		}
	}
}
int dfs(int sum,int word) {
	if (sum == 4) {
		print();
		return 1;
	}
	for (int i = 0;i <= 1;++i) {
		if (judge(word, i))//判断当前假设在甲乙丙丁分别说的是真话或假话的情况下是否成立，如果成立就递归判断下一个人的话，累计4次判断成功，假设成立
			if(dfs(sum + 1, word + 1))return 1;
	}
	return 0;
}

int main() {
	for (int i = 0;i < 4;++i) {
		arr[i] = 1;//表示i是小偷
		if(dfs(0,0)) break;
		arr[i] = 0;//回溯
	}
	return 0;
}