P1039 侦探推理

题目描述

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

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

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

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

输入输出格式

输入格式：

输入由若干行组成，第一行有三个整数，M(1≤M≤20)M(1≤M≤20)M(1≤M≤20)、N(1≤N≤M)N(1≤N≤M)N(1≤N≤M)和P(1≤P≤100)P(1≤P≤100)P(1≤P≤100)；MMM是参加游戏的明明的同学数，NNN是其中始终说谎的人数，PPP是证言的总数。

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

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

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

输出格式：

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

Solution：

　　本题枚举模拟，不过坑读入。

　　处理出每句话的主人，枚举当前天数和当前说谎的人，然后就是扫描话并标记每个人说话是否说谎就好了，若没有冲突，就统计当前确定的说假话的人$cnt1$和不确定状态的人个数$cnt2$，若$cnt1\leq n,cnt1+cnt2\geq n$就说明当前说谎的人可行，若多个人可行就多解。

代码：

/*Code by 520 -- 9.2*/

#include<bits/stdc++.h>

#define il inline

#define ll long long

#define RE register

#define For(i,a,b) for(RE int (i)=(a);(i)<=(b);(i)++)

#define Bor(i,a,b) for(RE int (i)=(b);(i)>=(a);(i)--)

using namespace std;

const int N=;

int m,n,p,bl[N],f[N],ans;

string id[N],say[N];

string day[]={

    " ","Today is Sunday.","Today is Monday.","Today is Tuesday.","Today is Wednesday.","Today is Thursday.","Today is Friday.","Today is Saturday."

};

bool fail;

il void check(int x,int y){

    if(!f[x]) f[x]=y;

    else if(f[x]!=y) fail=;

}

int main(){

    ios::sync_with_stdio(false);

    cin>>m>>n>>p;

    For(i,,m) cin>>id[i];

    For(i,,p) {

        cin>>say[i];

        say[i].erase(say[i].end()-);

        For(j,,m) if(say[i]==id[j]) {bl[i]=j;break;}

        getline(cin,say[i]);

        say[i].erase(say[i].begin());

        say[i].erase(say[i].end()-);

    }

    For(d,,) For(la,,m){

        memset(f,,sizeof(f));

        fail=;

        For(i,,p){

            RE int op=bl[i];

            if(say[i]=="I am guilty.") check(op,op==la?:-);

            if(say[i]=="I am not guilty.") check(op,op==la?-:);

            For(j,,) if(say[i]==day[j]) check(op,d==j?:-);

            For(j,,m)

                if(say[i]==id[j]+" is guilty.") check(op,j==la?:-);

                else if(say[i]==id[j]+" is not guilty.") check(op,j==la?-:);

        }

        if(fail)continue;

        int tot=,sum=;

        For(i,,m) if(f[i]==-) tot++;else if(!f[i]) sum++;

        if(tot<=n&&tot+sum>=n) {

            if(ans!=la&&ans)puts("Cannot Determine"),exit();

            ans=la;

        }

    }

    if(!ans) puts("Impossible");

    else cout<<id[ans];

    return ;

}