提高组侦探推理（暴力枚举）

原创于 2024-07-19 12:38:58 发布 · 1.8k 阅读

CC 4.0 BY-SA版权

文章标签：

描述

明明同学最近迷上了侦探漫画《柯南》并沉醉于推理游戏之中，于是他召集了一群同学玩推理游戏。游戏的内容是这样的，明明的同学们先商量好由其中的一个人充当罪犯（在明明不知情的情况下），明明的任务就是找出这个罪犯。接着，明明逐个询问每一个同学，被询问者可能会说：

证词内容I am guilty.I am not guilty.XXX is guilty.XXX is not guilty.Today is XXX.证词含义我是罪犯。我不是罪犯。XXX 是罪犯。其中 XXX 表示某个同学的名字。XXX 不是罪犯。今天是 XXX。其中 XXX 表示某个星期的单词。星期只有可能是以下之一：Monday,Tuesday,Wednesday,Thursday,Friday,Saturday,Sunday。

证词中出现的其他话，都不列入逻辑推理的内容。

明明所知道的是，他的同学中有 N 个人始终说假话，其余的人始终说真。

现在，明明需要你帮助他从他同学的话中推断出谁是真正的凶手，请记住，凶手只有一个！

输入描述

输入由若干行组成。

第一行有三个整数，M,N 和 P。M 是参加游戏的明明的同学数，N 是其中始终说谎的人数，P 是证言的总数。

接下来 M 行，每行是明明的一个同学的名字（英文字母组成，没有空格，全部大写）。

往后有 P 行，每行开始是某个同学的名宇，紧跟着一个冒号和一个空格，后面是一句证词，符合前表中所列格式。证词每行不会超过 250 个字符。

输入中不会出现连续的两个空格，而且每行开头和结尾也没有空格。

输出描述

如果你的程序能确定谁是罪犯，则输出他的名字；如果程序判断出不止一个人可能是罪犯，则输出 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

提示

数据范围与提示

对于 100% 数据，满足 1≤M≤20，0≤N≤M，1≤P≤100。

#include<iostream>
#include<cstring>
#include<string>
using namespace std;
int n,m,p,fake[21],err,w[200],nx;
string name[100],say[200];
string day[10]={"233","Today is Sunday.","Today is Monday.","Today is Tuesday.","Today is Wednesday.","Today is Thursday.","Today is Friday.","Today is Saturday.",};
void set(int who,int yx){

   if(fake[who]&&fake[who]!=yx)err=1;
   else fake[who]=yx;
}
int main(){
   cin>>m>>n>>p;
   for(int i=1;i<=m;i++)
       cin>>name[i];
   for(int i=1;i<=p;i++){
       string nm;
       cin>>nm;
       nm.erase(nm.end()-1);

       for(int j=1;j<=m;j++)
       if(name[j]==nm)w[i]=j;

       getline(cin,say[i]);
       say[i].erase(say[i].begin());

   }
   for(int td=1;td<=7;td++)
   for(int px=1;px<=m;px++){


       err=0;
       memset(fake,0,sizeof(fake));

       for(int i=1;i<=p;i++){
           int who=w[i];

           if(say[i]=="I am guilty.")set(who,px==who?1:-1);


           if(say[i]=="I am not guilty.")set(who,px!=who?1:-1);


           for(int j=1;j<=7;j++)
           if(say[i]==day[j])set(who,j==td?1:-1);

           for(int j=1;j<=m;j++){
               if(say[i]==name[j]+" is guilty.")set(who,j==px?1:-1);
               if(say[i]==name[j]+" is not guilty.")set(who,j!=px?1:-1);

           }
       }
       int cnt=0,ppp=0;
       for(int i=1;i<=m;i++){
           if(fake[i]==-1)cnt++;
           if(fake[i]==0)ppp++;
       }
       if(!err&&cnt<=n&&cnt+ppp>=n)

           if(nx&&nx!=px){

               cout<<"Cannot Determine";
               return 0;
           }else nx=px;
   }
   if(!nx)cout<<"Impossible";
   else cout<<name[nx];
}