题目描述
明明同学最近迷上了侦探漫画《柯南》并沉醉于推理游戏之中，于是他召集了一群同学玩推理游戏。游戏的内容是这样的，明明的同学们先商量好由其中的一个人充当罪犯（在明明不知情的情况下），明明的任务就是找出这个罪犯。接着，明明逐个询问每一个同学，被询问者可能会说：
证词中出现的其他话，都不列入逻辑推理的内容。
明明所知道的是，他的同学中有NNN个人始终说假话，其余的人始终说真。
现在，明明需要你帮助他从他同学的话中推断出谁是真正的凶手，请记住，凶手只有一个！
输入输出格式
输入格式：
输入由若干行组成，第一行有三个整数，M(1≤M≤20)M(1≤M≤20)M(1≤M≤20)、N(1≤N≤M)N(1≤N≤M)N(1≤N≤M)和P(1≤P≤100)P(1≤P≤100)P(1≤P≤100)；MMM是参加游戏的明明的同学数，NNN是其中始终说谎的人数，PPP是证言的总数。
接下来MMM行，每行是明明的一个同学的名字（英文字母组成，没有空格，全部大写）。
往后有PPP行，每行开始是某个同学的名宇，紧跟着一个冒号和一个空格，后面是一句证词，符合前表中所列格式。证词每行不会超过250250250个字符。
输入中不会出现连续的两个空格，而且每行开头和结尾也没有空格。
输出格式：
如果你的程序能确定谁是罪犯，则输出他的名字；如果程序判断出不止一个人可能是罪犯，则输出 "Cannot Determine"；如果程序判断出没有人可能成为罪犯，则输出 "Impossible"。
输入输出样例
输入样例#1：
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??
输出样例#1：
MIKE
Solution：
本题枚举模拟，不过坑读入。
处理出每句话的主人，枚举当前天数和当前说谎的人，然后就是扫描话并标记每个人说话是否说谎就好了，若没有冲突，就统计当前确定的说假话的人$cnt1$和不确定状态的人个数$cnt2$，若$cnt1\leq n,cnt1+cnt2\geq n$就说明当前说谎的人可行，若多个人可行就多解。
代码：
/*Code by 520 -- 9.2*/
#include<bits/stdc++.h>
#define il inline
#define ll long long
#define RE register
#define For(i,a,b) for(RE int (i)=(a);(i)<=(b);(i)++)
#define Bor(i,a,b) for(RE int (i)=(b);(i)>=(a);(i)--)
using namespace std;
const int N=105;
int m,n,p,bl[N],f[N],ans;
string id[N],say[N];
string day[8]={
" ","Today is Sunday.","Today is Monday.","Today is Tuesday.","Today is Wednesday.","Today is Thursday.","Today is Friday.","Today is Saturday."
};
bool fail;
il void check(int x,int y){
if(!f[x]) f[x]=y;
else if(f[x]!=y) fail=1;
}
int main(){
ios::sync_with_stdio(false);
cin>>m>>n>>p;
For(i,1,m) cin>>id[i];
For(i,1,p) {
cin>>say[i];
say[i].erase(say[i].end()-1);
For(j,1,m) if(say[i]==id[j]) {bl[i]=j;break;}
getline(cin,say[i]);
say[i].erase(say[i].begin());
say[i].erase(say[i].end()-1);
}
For(d,1,7) For(la,1,m){
memset(f,0,sizeof(f));
fail=0;
For(i,1,p){
RE int op=bl[i];
if(say[i]=="I am guilty.") check(op,op==la?1:-1);
if(say[i]=="I am not guilty.") check(op,op==la?-1:1);
For(j,1,7) if(say[i]==day[j]) check(op,d==j?1:-1);
For(j,1,m)
if(say[i]==id[j]+" is guilty.") check(op,j==la?1:-1);
else if(say[i]==id[j]+" is not guilty.") check(op,j==la?-1:1);
}
if(fail)continue;
int tot=0,sum=0;
For(i,1,m) if(f[i]==-1) tot++;else if(!f[i]) sum++;
if(tot<=n&&tot+sum>=n) {
if(ans!=la&&ans)puts("Cannot Determine"),exit(0);
ans=la;
}
}
if(!ans) puts("Impossible");
else cout<<id[ans];
return 0;
}
原文地址：https://www.cnblogs.com/five20/p/9575452.html