[NOIP提高组2003]侦探推理

题目大意：

【问题描述】

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

证词内容	证词含义
I am guilty.	我是罪犯
I am not guilty.	我不是罪犯
XXX is guilty.	XXX 是罪犯（XXX 表示某个同学的名字）
XXX is not guilty.	XXX 不是罪犯
Today is XXX.	今天是 XXX （XXX表示星期几，是Monday Tuesday Wednesday Thursday Friday Saturday Sunday 其中之一）

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

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

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

【输入文件】

 

输入由若干行组成，第一行有二个整数，M（1≤M≤20）、N（1≤N≤M）和P（1≤P≤100）；M是参加游戏的明明的同学数，N是其中始终说谎的人数，P是证言的总数。接下来M行，每行是明明的一个同学的名字（英文字母组成，没有主格，全部大写）。往后有P行，每行开始是某个同学的名宇，紧跟着一个冒号和一个空格，后面是一句证词，符合前表中所列格式。证词每行不会超过250个字符。

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

如果你的程序能确定谁是罪犯，则输出他的名字；如果程序判断出不止一个人可能是罪犯，则输出 Cannot Determine；如果程序判断出没有人可能成为罪犯，则输出 Impossible。

垃圾码农题，noip出这种题也是丧心病狂啊。

一看就没有啥打的欲望。

真的是一点都没有，一大早就打这种题，简直了。

自己打的实在是不忍直视。。。。

不想贴出来，网上找了个感觉打的还不错的代码贴上。

/*By SilverN*/
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<vector>
#include<map>
using namespace std;
string pp[5]={"am guilty","am not guilty","is guilty.","is not guilty."};
string week[8]={" ","is Monday","is Tuesday","is Wednesday","is Thursday","is Friday","is Saturday","is Sunday"};
//
int n,m,p;
//
string name[30];
map<string,int>mp;
//人名
string s[30];
struct person{
    bool is;//是否确定是罪犯 
    int wk;//每个人对天气的判断
    int guil[30];//每个人对其他人身份的判断
    vector<int>g_list,nog_list;//每个人指认的罪犯 
}a[30];
//身份信息 
bool posi[30];
int work(int day,int uso){
    int cnt=0,tmp=0;//不确定的人，确定的凶手 
    
    for(int i=1;i<=n;i++){
        bool f_true=0,f_false=0;
        if(a[i].is || (a[i].wk && a[i].wk!=day)){//天气说错 
            f_false=1;
        }
        if(a[i].guil[uso]==-1){//说罪犯不是罪犯 
            f_false=1;
        }
        if(a[i].guil[uso]==1)f_true=1;//说罪犯是罪犯 
        if(i!=uso && a[i].guil[i]==1){//不是罪犯说自己是罪犯 
            f_false=1;
        }
        for(int j=0;j<a[i].g_list.size();j++)if(a[i].g_list[j]!=uso){//说不是罪犯的人是罪犯 
            f_false=1;
        }
        for(int j=0;j<a[i].nog_list.size();j++)if(a[i].nog_list[j]!=uso){//说不是罪犯的人不是罪犯 
            f_true=1;
        }
        if(a[i].wk==day)f_true=1;
        if(i==uso && a[i].guil[uso]==1) f_true=1;//凶手说自己是凶手 
        if(i!=uso && a[i].guil[i]==-1) f_true=1;//不是凶手说自己不是凶手 
        if(f_true && f_false)return 0;//不合法 
        if(f_false)tmp++; 
        if(!f_true && !f_false)cnt++;//不确定的人 
    }
    
    if(tmp>m)return 0;
    if(tmp+cnt<m)return 0;
    return 1;
}
int target=0;
void solve(){
    int tmp=0;
    int i,j;
    for(i=1;i<=7;i++)//枚举日期 
      for(j=1;j<=n;j++)//枚举凶手 
      { 
          if(posi[j])continue; 
        if(work(i,j)){
            ++tmp;
            posi[j]=1;
            if(tmp>=2){
                printf("Cannot Determine\n");
                return;
            }
            target=j;
        }
    } 
    if(!target)printf("Impossible\n");
    cout<<name[target]<<endl;
    return;
}
// 
int main(){
    scanf("%d%d%d",&n,&m,&p);//总人数 说谎人数 证言数 
    int i,j;
    for(i=1;i<=n;i++){
        cin>>name[i];
        mp[name[i]]=i;
    }
    for(i=1;i<=p;++i){
        cin>>s[i];

        s[i]=s[i].substr(0,s[i].find(':'));

        int id=mp[s[i]];
        getchar();
        getline(cin,s[i]);

        //判断 
        if(s[i][0]=='I'){
            if(s[i].find(pp[0])!=-1){//I am guilty
                a[id].guil[id]=1;    continue;
            }
            else if(s[i].find(pp[1])!=-1){//I am not guilty
                a[id].guil[id]=-1;    continue;
            }
        }
        else{
            int tmp=0;
            tmp=s[i].find(pp[2]);
            if(tmp!=-1){//is guilty
                s[i]=s[i].substr(0,tmp-1);
                a[id].guil[mp[s[i]]]=1;
                a[id].g_list.push_back(mp[s[i]]);
                continue;
            }
            tmp=s[i].find(pp[3]);
            if(tmp!=-1){//is not guilty
                s[i]=s[i].substr(0,tmp-1);
                a[id].guil[mp[s[i]]]=-1;
                a[id].nog_list.push_back(mp[s[i]]);
                continue;
            }
            for(j=1;j<=7;j++)//天气判定 
            {
                tmp=s[i].find(week[j]);
                if(tmp!=-1){
                    if(!a[id].wk)
                        a[id].wk=j;
                    else a[id].is=1;//天气前后矛盾，肯定是骗子 
                    break;
                }
            }
        }
        //
    }
  
    solve(); 
    
    return 0;
}