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