算法设计与分析：第一张 算法分析介绍 1.2逻辑推理之警察抓小偷

/*
警察抓小偷：
警察局抓了a,b,c,d四名嫌疑犯，其中只有一人是小偷。审问中：
a说:"我不是小偷"
b说:"c肯定是小偷"
c说:"小偷肯定是d"
d说:"c在冤枉人"

分析：
看似非数值化的问题，经过数字化之后，可以用计算机求解。
假设a,b,c,d分别用1,2,3,4编号。然后用x=i表示第i个编号的人是小偷
a说的话等价于: x != 1
b            : x = 3
c			 : x = 4
d			 : x != 4
转化为:4条语句的逻辑值之和为3
即((x != 1) + (x == 3) + (x == 4) + (x != 4)) == 3
枚举1,2,3,4分别进行测试即可

输入:

输出:
c
*/
/*

关键:
1 看似非数值化的问题，经过数字化之后，可以用计算机求解。
假设a,b,c,d分别用1,2,3,4编号。然后用x=i表示第i个编号的人是小偷
a说的话等价于: x != 1
b            : x = 3
c			 : x = 4
d			 : x != 4
转化为:4条语句的逻辑值之和为3
即((x != 1) + (x == 3) + (x == 4) + (x != 4)) == 3
枚举1,2,3,4分别进行测试即可

2printf("%c\n",(*numToName.find(x)).second);//注意map返回的是first和second
*/

#include <stdio.h>
#include <map>
#include <iostream>
#