【原题】
描写叙述
明明同学近期迷上了侦探漫画《柯南》并沉醉于推理游戏之中，于是他召集了一群同学玩推理游戏。游戏的内容是这种，明明的同学们先商议好由当中的一个人充当罪犯（在明明不知情的情况下）。明明的任务就是找出这个罪犯。接着。明明逐个询问每个同学。被询问者可能会说：
证词中出现的其它话。都不列入逻辑推理的内容。
明明所知道的是，他的同学中有N个人始终说假话。其余的人始终说真。
如今，明明须要你帮助他从他同学的话中判断出谁是真正的凶手，请记住。凶手仅仅有一个！
格式
输入格式
输入由若干行组成，第一行有二个整数，M（1≤M≤20）、N（1≤N≤M）和P（1≤P≤100）。M是參加游戏的明明的同学数，N是当中始终说谎的人数，P是证言的总数。
接下来M行。每行是明明的一个同学的名字（英文字母组成，没有主格，所有大写）。往后有P行。每行開始是某个同学的名宇，紧跟着一个冒号和一个空格。后面是一句证词，符合前表中所列格式。证词每行不会超过250个字符。
输入中不会出现连续的两个空格，并且每行开头和结尾也没有空格。
输出格式
假设你的程序能确定谁是罪犯。则输出他的名字；假设程序推断出不止一个人可能是罪犯。则输出 Cannot Determine；假设程序推断出没有人可能成为罪犯，则输出 Impossible。
例子1
限制
每一个測试点1s
提示
有说一句话的末尾无空格的么？..
来源
NOIP2003第二题
【分析】神题刷的太多了，感觉怪怪的。假设再没有水题来调节，真的是浑身不爽！
。然后就滚粗去VJ水了一道码农题。感觉思路还是比較简洁的，初步缩行后（这样更美观吧）才69行。人名能够用MAP来搞搞。
讲一下思路。開始非常傻×的觉得去C(20，10)枚举每一个人是否讲假话。这个的时间效率。。。后来发现。仅仅要枚举了罪犯和今天是星期几。非常easy推断每一个人是否讲假话。然后看看人数是否是给定的数目即可了。
读入要注意一下。
開始我被例子坑了，以为冒号后面就没有空格。认为超麻烦：我假设把每句话的每一个单词都截取出来。第一个单词还要分冒号~~交了后WA了，才在输入格式里发现有空格。。
。不是更水吗？
然后推断5句话的话，我把1,2两句和3,4两句结合在了一起推断。更省代码和思维。
另一个值得注意的地方就是：有些人可能不说真话也不说假话（就是说的是那种无关紧要的话），我们能够算作真话，也能够算作假话。主要是为了更靠近答案。
对了，对于名字的字符串要开的大一点。我记得最后一个点的名字有非常长的一串，然后我就直接爆了。
【代码】
#include<cstdio>
#include<cstring>
#include<map>
#include<string>
using namespace std;
map<string,int>Map;
char s[105][25][525],name[105][525],ans[105][525],a[25][525];
int num[105],f[25],n,m,i,j,k,P,Today,flag,now,lie,Len,cnt,T;
char day[8][25]={"","Monday.","Tuesday.","Wednesday.","Thursday.","Friday.","Saturday.","Sunday."};
inline int equal(char *s1,char *s2)
{
int l1=strlen(s1),l2=strlen(s2);if (l1!=l2) return 0;
for (int i=0;i<l1;i++) if (s1[i]!=s2[i]) return 0;return 1;
}
inline int check_1(int k)
{
if (!equal(s[k][num[k]],"guilty.")||num[k]<3||num[k]>4) return 2;
if (s[k][1][0]!='I'||s[k][1][1]!='\0'||!equal(s[k][2],"am")) return 2;
if (num[k]==4) if (!equal(s[k][3],"not")) return 2;
if (Map[name[k]]==now) {if (num[k]==3) return 0;return 1;}
if (num[k]==3) return 1;return 0;
}
inline int check_2(int k)
{
if (!equal(s[k][num[k]],"guilty.")||num[k]<3||num[k]>4) return 2;
if (!equal(s[k][2],"is")) return 2;
if (num[k]==4) if (!equal(s[k][3],"not")) return 2;
if (Map[s[k][1]]==now) {if (num[k]==3) return 0;return 1;}
if (num[k]==3) return 1;return 0;
}
inline int check_3(int k)
{
if (num[k]!=3||!equal(s[k][1],"Today")||!equal(s[k][2],"is")) return 2;
return equal(day[Today],s[k][3])^1;
}
inline int work()
{
now=Map[a[P]];int res=0,another=0;memset(f,0,sizeof(f));
for (int i=1;i<=m;i++)
{
int T1=check_1(i),T2=check_2(i),T3=check_3(i),pre=Map[name[i]];
if (!T1||!T2||!T3) {if (f[pre]==2) return 0;f[pre]=1;}
if (T1&1||T2&1||T3&1) {if (f[pre]==1) return 0;f[pre]=2;}
}
for (int i=1;i<=n;i++)
if (f[i]==2) res++;else if (!f[i]) another++;
return (res<=lie&&res+another>=lie);
}
inline int OK(char ch){return (ch>='A'&&ch<='Z'||ch>='a'&&ch<='z');}
int main()
{
scanf("%d%d%d",&n,&lie,&m);
for (i=1;i<=n;i++) scanf("%s",a[i]),Map[a[i]]=i;
for (i=1;i<=m;i++)
{
scanf("%s",name[i]);name[i][strlen(name[i])-1]='\0';
scanf("%s",s[i][num[i]=1]);
while (OK(s[i][num[i]][strlen(s[i][num[i]])-1])) scanf("%s",s[i][++num[i]]);
}
for (P=1;P<=n;P++)
{
flag=0;for (Today=1;Today<=7&&!flag;Today++) flag=work();
if (flag) memcpy(ans[++cnt],a[P],sizeof(a[P]));
}
if (!cnt) printf("Impossible");
else if (cnt==1) printf("%s",ans[cnt]);
else printf("Cannot Determine");
return 0;
}
