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

天地一扁舟

于 2015-08-04 01:08:45 发布

阅读量5k

点赞数

分类专栏：算法设计与分析文章标签：算法设计与分析

本文链接：https://blog.csdn.net/qingyuanluofeng/article/details/47189061

版权

这篇博客通过一个警察抓小偷的例子介绍了如何将非数值化问题转化为计算机可解的逻辑推理问题。通过数字化嫌疑人编号，将每个人的陈述转换为逻辑表达式，找到满足条件的唯一解。代码实现中使用了C++的map数据结构进行处理。

摘要由CSDN通过智能技术生成

/*
警察抓小偷：
警察局抓了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>
#