NOIP2003 侦探推理

题二    侦探推理

【问题描述】

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

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

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

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

【输入格式】

输入由若干行组成，第一行有二个整数，M（1≤M≤20）、N（1≤N≤M）和P（1≤P≤100）；

M是参加游戏的明明的同学数，N是其中始终说谎的人数，P是证言的总数。接下来M行，

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

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

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

【输出格式】

如果你的程序能确定谁是罪犯，则输出他的名字；如果程序判断出不止一个人可能是

罪犯，则输出 Cannot Determine；如果程序判断出没有人可能成为罪犯，则输出 Impossible。

【输入样例】

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??

【输出样例】

MIKE

【思路】

字符串处理+枚举判断。

首先根据输入处理字符串，剔除不符合要求的证言并分清正确证言的主系表以便判断。

其次分别枚举罪犯、日期，这样就能够判断每句话的真实性，也就可以计算出说真话的人数a与说谎话的人数b，只要满足a<=N
&& b<=M-N(因为可能有人不说话)则说明枚举可行。

需要注意的是可能会有多个日期对于同一个罪犯都是可行的，这时候看作一种情况，不输出Cannot Determine，而当有多个罪犯同时满足情况的时候需要输出Cannot Determine，没有罪犯满足则输出Impossible。

详见代码。

【代码】

 #include<iostream>
 #include<cstdlib>
 #include<cstdio>
 #include<cstring>
 #include<vector>
 #include<map>
 using namespace std;

 const int maxn = +;
 const string days[]={"Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday"};

 struct Node{
     string person,zhu,xi,fou,biao;
 };
 vector<Node> nodes;

 string names[maxn],Sent[maxn];
 map<string,int> vis1,vis2,ID;
 int n,m,p,P,D;
 string S[maxn];
 int liers,unliers;
 int f_day;

 void  make_nodes() {
     for(int i=;i<p;i++) {
         string s=S[i];
         string person="",zhu="",xi="",fou="",biao="";
         int j=;
         while(s[j] != ':' && s[j]) {
             person+=s[j]; j++;
         }
         j+=;
         while(s[j]!=' ' && s[j]) {
             zhu+=s[j]; j++;
         }
         if(!ID.count(zhu)) { continue; }  //else
         j++;
         while(s[j]!=' ' && s[j]) {
             xi+=s[j]; j++;
         }
         if(xi!="am" && xi!="is") { continue; }  //else
         j++;
         while(s[j]!=' '&& s[j]!='.' && s[j]) {
             fou+=s[j]; j++;
         }
         if(fou!="not") { biao=fou; fou="";  }
         else {
             j++;
             while(s[j]!='.' && s[j]) {
                biao+=s[j]; j++;
             }
         }
         int f=false;
         for(int i=;i<;i++) if(days[i]==biao) {f=true; f_day=; break;}
         if(biao=="guilty") f=true;
         if(!f) continue;             //else

         if(j<s.size()- || s[j]!='.' ||(zhu==""||xi==""||biao=="")) {continue; }  //其他的话
         nodes.push_back((Node){person,zhu,xi,fou,biao});
     }
 }

 inline bool vis1_push(string per) {
     if(!vis1.count(per)) {
         vis1[per]=; liers++;
     }
     return true;
 }
 inline bool vis2_push(string per) {
     if(!vis2.count(per)) {
         vis2[per]=; unliers++;
     }
 }
 bool solve() {
     liers=unliers=;
     vis1.clear();  vis2.clear();

     int nc=nodes.size();
     for(int i=;i<nc;i++) {
         string guilty=names[P],day=days[D];
         string person=nodes[i].person,zhu=nodes[i].zhu,xi=nodes[i].xi,fou=nodes[i].fou,biao=nodes[i].biao;
         if(zhu=="Today" && xi=="is") {
             if(biao!=day){ vis1_push(person);} else { vis2_push(person);  }
             if(vis1.count(person) && vis2.count(person)) return false;
         }
         else
         if(biao=="guilty") {
             if(zhu=="I" && xi=="am") {
                 if((fou=="not" && guilty==person) || (fou=="" && guilty!=person)) { vis1_push(person); }
                 else { vis2_push(person);  }
                 if(vis1.count(person) && vis2.count(person)) return false;
             }
             else if(xi=="is") {
                   if((fou=="not" && guilty==zhu) || (fou=="" && guilty!=zhu))  { vis1_push(person);  }
                   else{ vis2_push(person);  }
                   if(vis1.count(person) && vis2.count(person)) return false;
             }
         }
     }
     return (liers<=n && unliers<=m-n);
 }

 int main() {
     ios::sync_with_stdio(false);

     cin>>m>>n>>p;
     for(int i=;i<m;i++) cin>>names[i] , ID[names[i]]=i;
     ID["Today"]=ID["I"]=;
     string ss ; getline(cin,ss);       //读空行
     for(int i=;i<p;i++)  getline(cin,S[i]);

     make_nodes();    //建立nodes 剔除冗杂信息 分清主系表 

     int sum=,ans;
     for( P= ; P<m ; P++)   //枚举罪犯
     {
           int sum2=;
           for( D=; D<; D++)   //枚举日期
            {
                  if(solve()) { sum2=; ans=P;}
            }
            sum += sum2;    //注意日期可以多种
            if(sum>=) { cout<<"Cannot Determine";return ; }
     }
     if(sum==) cout<<"Impossible";
     else cout<<names[ans];
     return ;
 }