vijos 1106 & NOIP2003 提高组 侦探推理 题解
【原题】
描述
明明同学最近迷上了侦探漫画《柯南》并沉醉于推理游戏之中，于是他召集了一群同学玩推理游戏。游戏的内容是这样的，明明的同学们先商量好由其中的一个人充当罪犯（在明明不知情的情况下），明明的任务就是找出这个罪犯。接着，明明逐个询问每一个同学，被询问者可能会说：
证词中出现的其他话，都不列入逻辑推理的内容。
明明所知道的是，他的同学中有N个人始终说假话，其余的人始终说真。
现在，明明需要你帮助他从他同学的话中推断出谁是真正的凶手，请记住，凶手只有一个！
格式
输入格式
输入由若干行组成，第一行有二个整数，M（1≤M≤20）、N（1≤N≤M）和P（1≤P≤100）；M是参加游戏的明明的同学数，N是其中始终说谎的人数，P是证言的总数。接下来M行，每行是明明的一个同学的名字（英文字母组成，没有主格，全部大写）。往后有P行，每行开始是某个同学的名宇，紧跟着一个冒号和一个空格，后面是一句证词，符合前表中所列格式。证词每行不会超过250个字符。
输入中不会出现连续的两个空格，而且每行开头和结尾也没有空格。
输出格式
如果你的程序能确定谁是罪犯，则输出他的名字；如果程序判断出不止一个人可能是罪犯，则输出 Cannot Determine；如果程序判断出没有人可能成为罪犯，则输出 Impossible。
样例1
样例输入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
限制
每个测试点1s
提示
有说一句话的末尾无空格的么？..
来源
NOIP2003第二题
【分析】神题刷的太多了，感觉怪怪的。如果再没有水题来调节，真的是浑身不爽！。然后就滚粗去VJ水了一道码农题。感觉思路还是比较简洁的，初步缩行后（这样更美观吧）才69行。人名可以用MAP来搞搞。
讲一下思路。开始很傻×的认为去C(20，10)枚举每个人是否讲假话。这个的时间效率。。。后来发现，只要枚举了罪犯和今天是星期几，很容易判断每个人是否讲假话，然后看看人数是否是给定的数目就行了。
读入要注意一下。开始我被样例坑了，以为冒号后面就没有空格，觉得超麻烦：我如果把每句话的每个单词都截取出来，第一个单词还要分冒号~~交了后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;
}