[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;}