Time Limit: 1 second
Memory Limit: 50 MB
【问题描述】
明明同学最近迷上了侦探漫画《柯南》并沉醉于推理游戏之中，于是他召集了一群同学玩推理游戏。游戏的内容是这样的，明明的同学们先商量好由其中的一个人充当罪犯（在明明不知情的情况下），明明的任务就是找出这个罪犯。接着，明明逐个询问每一个同学，被询问者可能会说：
证词中出现的其他话，都不列入逻辑推理的内容。 明明所知道的是，他的同学中有N个人始终说假话，其余的人始终说真。 现在，明明需要你帮助他从他同学的话中推断出谁是真正的凶手，请记住，凶手只有一个！
【输入】
共m+p+1行；
第一行是有二个整数，M（1≤M≤20）、N（1≤N≤M）和P（1≤P≤100）； M是参加游戏的明明的同学数，N是其中始终说谎的人数，P是证言的总数。
接下来M行，每行是明明的一个同学的名字（英文字母组成，没有主格，全部大写）。 往后有P行，每行开始是某个同学的名宇，紧跟着一个冒号和一个空格，后面是一句证词，符合前表中所列格式。证词每行不会超过250个字符。 输入中不会出现连续的两个空格，而且每行开头和结尾也没有空格。
【输出】
如果你的程序能确定谁是罪犯，则输出他的名字；如果程序判断出不止一个人可能是 罪犯，则输出 Cannot Determine；如果程序判断出没有人可能成为罪犯，则输出 Impossible。
【输入样例】
3 1 5
MIKE
CHARLES
KATE
MIKE:I am guilty.
MIKE:Today is Sunday.
CHARLES:MIKE is guilty．
KATE:I am guilty.
KATE:How are you??
【输出样例】
MIKE
【题目链接】:http://noi.qz5z.com/viewtask.asp?id=b302
【题意】
【题解】
题目描述不清啊
可以确定凶手的有两种情况
一种是确定m-1个人不是凶手。
另外一种是确定了一个人是凶手。
这里impossible的情况有两种
一种是全都不是凶手,另外一种就是无法达到满足的要求,即N个人说谎然后P条话都不冲突;
然后无法确定的就是剩余的;
有点迷。
不用理这种题。
(冒号后面还有一个空格。。。)
O(2^m)*p爆搜就好
【完整代码】
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <string>
#include <iostream>
#include <map>
#include <cstring>
using namespace std;
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define LL long long
#define rep1(i,a,b) for (int i = a;i <= b;i++)
#define rep2(i,a,b) for (int i = a;i >= b;i--)
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define rei(x) scanf("%d",&x)
#define rel(x) scanf("%lld",&x)
typedef pair<int, int> pii;
typedef pair<LL, LL> pll;
const int dx[9] = { 0,1,-1,0,0,-1,-1,1,1 };
const int dy[9] = { 0,0,0,-1,1,-1,1,-1,1 };
const double pi = acos(-1.0);
const int N = 20+10;
const int P = 100 + 50;
struct abc
{
int id, who,author;
int xingqi;
};
int m, n, p,tot,ma = 0;
bool bo[N],is[N],notis[N],xingqi[N];
string name[N];
string t;
char ts[300];
abc xinxi[P];
map <string, int> dic;
map <string, int> dic2;
void sear_ch()
{
int today = -1;
memset(xingqi, true, sizeof xingqi);
memset(is, false, sizeof is), memset(notis, false, sizeof notis);
rep1(i, 1, tot)
if (bo[xinxi[i].author])
{
if (xinxi[i].id == 2)
{
if (today == -1)
{
if (!xingqi[xinxi[i].xingqi]) return;
today = xinxi[i].xingqi;
}
else
{
if (today != xinxi[i].xingqi)
return;
}
}
else
{
int y = xinxi[i].who;
if (xinxi[i].id == 0)
{
if (is[y])
return;
notis[y] = true;
}
else
{
if (notis[y])
return;
is[y] = true;
}
}
}
else
if (!bo[xinxi[i].author])
{
if (xinxi[i].id == 2)
{
if (today == xinxi[i].xingqi)
return;
xingqi[xinxi[i].xingqi] = false;
}
else
{
int y = xinxi[i].who;
if (xinxi[i].id == 0)
{
if (notis[y])
return;
is[y] = true;
}
else//说y是凶手
{
if (is[y])
return;
notis[y] = true;
}
}
}
int cnt = 0,j = -1,cntnot = 0;
rep1(i, 1, m)
{
if (is[i])
cnt++, j = i;
if (notis[i])
cntnot++;
}
if (cnt == 1)
{
cout << name[j] << endl;
exit(0);
}
if (cntnot == m - 1)
{
rep1(i, 1, m)
if (!notis[i])
cout << name[i] << endl;
exit(0);
}
if (cntnot == m)
puts("Impossible");
else
puts("Cannot Determine");
exit(0);
}
void dfs(int x, int now)
{
if (x > m)
{
if (now == n)
{
sear_ch();
}
return;
}
bo[x] = false;
dfs(x + 1, now + 1);
bo[x] = true;
dfs(x + 1, now);
}
int main()
{
//freopen("F:\rush.txt", "r", stdin);
memset(bo, true, sizeof bo);
dic2["Monday"] = 1, dic2["Tuesday"] = 2, dic2["Wednesday"] = 3, dic2["Thursday"] = 4;
dic2["Friday"] = 5, dic2["Saturday"] = 6, dic2["Sunday"] = 7;//处理出星期对应的数字
rei(m), rei(n), rei(p);
rep1(i, 1, m)
{
cin >> name[i];
dic[name[i]] = i;//为每个名字搞hash对应到它的标号
}
char tt = getchar();
rep1(i, 1, p)
{
cin.getline(ts, 300);
t = string(ts);
t += ' ';//在末尾加上一个空格,方便获取信息
int po = t.find(':', 0);
string who = t.substr(0, po);//把说话的人提取出来
t.erase(0, po + 2);//把说话人和冒号去掉
string s[5];
rep1(j, 1, 4)//只找前4个单词
{
s[j] = "";
if (t == "")
{
rep1(k, j + 1, 4) s[k] = "";
break;//空掉了就结束
}
po = t.find(' ', 0);
s[j] = t.substr(0, po);//否则把那个单词搞出来
t.erase(0, po + 1);//连同空格删掉
}
if (s[3] == "") continue;//如果没有3个单词肯定不是信息
if (s[1] == "I" && s[2] == "am" && s[3] == "guilty.")
xinxi[++tot].who = dic[who],xinxi[tot].id = 1,xinxi[tot].author = dic[who];
if (s[1] == "I" && s[2] == "am" && s[3] == "not" && s[4]== "guilty.")
xinxi[++tot].who = dic[who], xinxi[tot].id = 0, xinxi[tot].author = dic[who];
if (s[2] == "is" && s[3] == "guilty.")
xinxi[++tot].who = dic[s[1]], xinxi[tot].id = 1, xinxi[tot].author = dic[who];
if (s[2] == "is" && s[3] == "not" && s[4] == "guilty.")
xinxi[++tot].who = dic[s[1]], xinxi[tot].id = 0, xinxi[tot].author = dic[who];
if (s[4] != "") continue;
s[3].erase(int(s[3].size()) - 1, 1);
if (s[1] == "Today" && s[2] == "is" && dic2[s[3]])
xinxi[++tot].id = 2, xinxi[tot].xingqi = dic2[s[3]],xinxi[tot].author = dic[who];
}
dfs(1, 0);
puts("Impossible");
return 0;
}