首页 > 代码库 > vijos 1106 & NOIP2003 提高组 侦探推理 题解

vijos 1106 & NOIP2003 提高组 侦探推理 题解

【原题】

P1106侦探推理
Accepted
标签:[显示标签]

描述

明明同学最近迷上了侦探漫画《柯南》并沉醉于推理游戏之中,于是他召集了一群同学玩推理游戏。游戏的内容是这样的,明明的同学们先商量好由其中的一个人充当罪犯(在明明不知情的情况下),明明的任务就是找出这个罪犯。接着,明明逐个询问每一个同学,被询问者可能会说:
图片
证词中出现的其他话,都不列入逻辑推理的内容。

明明所知道的是,他的同学中有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;
}