[NOIP2003] 提高组 洛谷P1039 侦探推理

 

题目描述

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

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

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

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

输入输出格式

输入格式：

 

输入由若干行组成，第一行有二个整数，M（1≤M≤20）、N（1≤N≤M）和P（1≤P≤100）；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

 

惊天大模拟

惊天码农题

 

首先需要花式截取出每个人的信息，然后需要记录以下信息：

　　每个人说的日期

　　每个人说自己是不是罪犯

　　每个人说谁是罪犯

　　每个人说谁不是罪犯

 

枚举日期和嫌疑犯，进行判断：

　　记说谎人数为tmp，可疑人数为cnt（可疑人数指没有说过真话，也没有说过假话的人数），题目限制说谎人数为m

　　若tmp>m，说明当前枚举的情况不成立。

　　若tmp+cnt<m，说明已知说谎的人和可能说谎的人加起来都不够目标值，不成立。

　　除此之外的情况下，当前枚举到的嫌疑犯可能是罪犯。

若可能是罪犯的人数大于1人，cannot determine

 

 

/*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++;//不确定的人 
    }
//    printf("day:%d  uso:%d cnt:%d tmp:%d\n",day,uso,cnt,tmp);
    
    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];
//        cout<<"test"<<s[i]<<endl;
        s[i]=s[i].substr(0,s[i].find(':'));
//        cout<<"finn"<<endl;
        int id=mp[s[i]];
        getchar();
        getline(cin,s[i]);
//        cout<<"now-"<<s[i]<<endl;
        //判断 
        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
//                printf("is guilty: %d\n",tmp);
                s[i]=s[i].substr(0,tmp-1);
//                printf("mp:%d\n",mp[s[i]]);
//                cout<<"test: "<<s[i]<<"eld"<<endl;
                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);
//                printf("mp:%d\n",mp[s[i]]);
//                cout<<"test: "<<s[i]<<"eld"<<endl;
                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;
                }
            }
        }
        //
    }
    //结束读入
    /*
    for(i=1;i<=n;i++){
        printf("info of %d:\n",i);
        cout<<name[i]<<endl;

        printf("wk: %d\n",a[i].wk);
        printf("self: %d\n",a[i].guil[i]);
        for(j=0;j<a[i].g_list.size();j++)printf("%d ",a[i].g_list[j]);
        printf("\n");
        for(j=0;j<a[i].nog_list.size();j++)printf("%d ",a[i].nog_list[j]);
        printf("\n");
    }*/
    //
    solve(); 
    
    return 0;
}