Luogu P1039 侦探推理(模拟+枚举)

P1039 侦探推理

题意

题目描述

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

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

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

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

输入输出格式

输入格式：

输入由若干行组成，第一行有三个整数，\(M(1\leq M\leq 20),N(1\leq Nleq M)\)和\(P(1\leq P\leq 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

思路

我没啥题做了，求推荐好题。 --WYL

P1039. --Uranus

其实根本不是好题，这题太屑了。

这道题的毒瘤从输入开始：输入证词是什么鬼啊，还要判断输入是否合法，这个被我大力模拟写过去了:

while(p--)
{
    string str;
    getline(cin,str);
    string now;
    int p;
    for(p=0;p<str.length();p++)
        if(str[p]==':') break;
        else now+=str[p];
    int id=0;
    for(int i=1;i<=m;i++)
        if(name[i]==now)//判断当前是谁
        {
            id=i;
            break;
        }
    p+=2;
    now="";
    while(isalpha(str[p])) now+=str[p++];//得到一个单词
    p++;
    if(now=="I")//说的是自己
    {
        now="";
        while(isalpha(str[p])) now+=str[p++];
        p++;
        if(now=="am")
        {
            now="";
            while(isalpha(str[p])) now+=str[p++];
            if(now=="guilty"&&str[p]=='.') think[id][id]=1;//记录某人认为的犯人的情况
            else if(now=="not")
            {
                p++;
                now="";
                while(isalpha(str[p])) now+=str[p++];
                if(now=="guilty"&&str[p]=='.') think[id][id]=2;
            }
        }
    }
    else if(now=="Today")//说的是星期
    {
        now="";
        while(isalpha(str[p])) now+=str[p++];
        p++;
        if(now=="is")
        {
            now="";
            while(isalpha(str[p])) now+=str[p++];
            p++;
            for(int i=1;i<=7;i++)
                if(now==week[i])
                {
                    day[id][i]=true;//记录某人认为今天是星期几
                    break;
                }
        }
    }
    else//说的是别人
    {
        int to=0;
        for(int i=1;i<=m;i++)
            if(name[i]==now)
            {
                to=i;
                break;
            }
        if(to)
        {
            now="";
            while(isalpha(str[p])) now+=str[p++];
            p++;
            if(now=="is")
            {
                now="";
                while(isalpha(str[p])) now+=str[p++];
                if(now=="guilty"&&str[p]=='.') think[id][to]=1;
                else if(now=="not")
                {
                    p++;
                        now="";
                        while(isalpha(str[p])) now+=str[p++];
                        if(now=="guilty"&&str[p]=='.') think[id][to]=2;
                }
            }
        }
    }
}

接下来大力枚举说谎的人和说真话的人其实也还好写，然后就是判断当前状况是否可行，特别的难写。在这里，我用ans1记录当前是否已经找到了解，用ans2记录当前找到的犯人：

void judge()
{
    memset(vis,false,sizeof vis);
    int cnt=0,_cnt=0,guilt=0,true_day=0;
    for(int i=1;i<=m;i++)//判断犯人
        if(lie[i])//这是个说谎的人
            for(int j=1;j<=m;j++)//改假话为真话
                if(think[i][j]==1) think[i][j]=2;
                else if(think[i][j]==2) think[i][j]=1;
    for(int i=1;i<=m;i++)//判断星期
    {
        if(lie[i]) continue;
        int hjj=0;
        for(int j=1;j<=7;j++)
            if(day[i][j])
            {
                if(hjj) goto NoSolution;
                else hjj=j;
            }
        if(!true_day) true_day=hjj;
        else if(hjj&&hjj!=true_day) goto NoSolution;//无解
    }
    if(true_day)
        for(int i=1;i<=m;i++)
            if(lie[i]&&day[i][true_day]) goto NoSolution;
    for(int i=1;i<=m;i++)
        for(int j=1;j<=m;j++)
            if(think[j][i])
            {
                int state=think[j][i];
                for(int k=j+1;k<=m;k++) if(think[k][i]&&think[k][i]!=state) goto NoSolution;//无解
                if(state==1) guilt=i,cnt++;//记录嫌疑犯
                else if(state==2) _cnt++,vis[i]=true;//记录不是嫌疑犯的人
                break;
            }
    if(cnt==1)
    {
        if(!ans1) ans1=1,ans2=guilt;
        else if(ans1==1&&ans2!=guilt)
        {
            cout<<"Cannot Determine";//有两个人都可能是犯人
            exit(0);
        }
    }
    else if(cnt==2)
    {
        cout<<"Cannot Determine";//有两个人都可能是犯人
        exit(0);
    }
    else if(_cnt==m-1)//这样也可以判断出犯人，因为n-1个人不可能是犯人
    {
        for(int i=1;i<=m;i++)//找到犯人
            if(!vis[i])
            {
                guilt=i;
                break;
            }
        if(!ans1) ans1=1,ans2=guilt;
        else if(ans1==1&&ans2!=guilt)//判断与上面相同
        {
            cout<<"Cannot Determine";
            exit(0);
        }
    }
    NoSolution:
    for(int i=1;i<=m;i++)//回退到判断之前
        if(lie[i])
            for(int j=1;j<=m;j++)
                if(think[i][j]==1) think[i][j]=2;
                else if(think[i][j]==2) think[i][j]=1;
}

然后 面向数据编程 就能\(AC\)了。

AC代码

#include<bits/stdc++.h>
using namespace std;
int m,n,p,ans1,ans2;
string name[25],week[8]={"","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday"};
int think[25][25];
bool day[25][7],lie[25],vis[25];
void judge()
{
    memset(vis,false,sizeof vis);
    int cnt=0,_cnt=0,guilt=0,true_day=0;
    for(int i=1;i<=m;i++)
        if(lie[i])
            for(int j=1;j<=m;j++)
                if(think[i][j]==1) think[i][j]=2;
                else if(think[i][j]==2) think[i][j]=1;
    for(int i=1;i<=m;i++)
    {
        if(lie[i]) continue;
        int hjj=0;
        for(int j=1;j<=7;j++)
            if(day[i][j])
            {
                if(hjj) goto NoSolution;
                else hjj=j;
            }
        if(!true_day) true_day=hjj;
        else if(hjj&&hjj!=true_day) goto NoSolution;
    }
    if(true_day)
        for(int i=1;i<=m;i++)
            if(lie[i]&&day[i][true_day]) goto NoSolution;
    for(int i=1;i<=m;i++)
        for(int j=1;j<=m;j++)
            if(think[j][i])
            {
                int state=think[j][i];
                for(int k=j+1;k<=m;k++) if(think[k][i]&&think[k][i]!=state) goto NoSolution;
                if(state==1) guilt=i,cnt++;
                else if(state==2) _cnt++,vis[i]=true;
                break;
            }
    if(cnt==1)
    {
        if(!ans1) ans1=1,ans2=guilt;
        else if(ans1==1&&ans2!=guilt)
        {
            cout<<"Cannot Determine";
            exit(0);
        }
    }
    else if(cnt==2)
    {
        cout<<"Cannot Determine";
        exit(0);
    }
    else if(_cnt==m-1)
    {
        for(int i=1;i<=m;i++)
            if(!vis[i])
            {
                guilt=i;
                break;
            }
        if(!ans1) ans1=1,ans2=guilt;
        else if(ans1==1&&ans2!=guilt)
        {
            cout<<"Cannot Determine";
            exit(0);
        }
    }
    NoSolution:
    for(int i=1;i<=m;i++)
        if(lie[i])
            for(int j=1;j<=m;j++)
                if(think[i][j]==1) think[i][j]=2;
                else if(think[i][j]==2) think[i][j]=1;
}
void dfs(int now,int tot)
{
    if(tot==n)
    {
        judge();
        return ;
    }
    if(now>m||m-now+1+tot<n) return ;
    lie[now]=true;
    dfs(now+1,tot+1);
    lie[now]=false;
    dfs(now+1,tot);
}
int main()
{
    cin>>m>>n>>p;
    for(int i=1;i<=m;i++) cin>>name[i];
    getchar();
    getchar();
    while(p--)
    {
        string str;
        getline(cin,str);
        string now;
        int p;
        for(p=0;p<str.length();p++)
            if(str[p]==':') break;
            else now+=str[p];
        int id=0;
        for(int i=1;i<=m;i++)
            if(name[i]==now)
            {
                id=i;
                break;
            }
        p+=2;
        now="";
        while(isalpha(str[p])) now+=str[p++];
        p++;
        if(now=="I")
        {
            now="";
            while(isalpha(str[p])) now+=str[p++];
            p++;
            if(now=="am")
            {
                now="";
                while(isalpha(str[p])) now+=str[p++];
                if(now=="guilty"&&str[p]=='.') think[id][id]=1;
                else if(now=="not")
                {
                    p++;
                    now="";
                    while(isalpha(str[p])) now+=str[p++];
                    if(now=="guilty"&&str[p]=='.') think[id][id]=2;
                }
            }
        }
        else if(now=="Today")
        {
            now="";
            while(isalpha(str[p])) now+=str[p++];
            p++;
            if(now=="is")
            {
                now="";
                while(isalpha(str[p])) now+=str[p++];
                p++;
                for(int i=1;i<=7;i++)
                    if(now==week[i])
                    {
                        day[id][i]=true;
                        break;
                    }
            }
        }
        else
        {
            int to=0;
            for(int i=1;i<=m;i++)
                if(name[i]==now)
                {
                    to=i;
                    break;
                }
            if(to)
            {
                now="";
                while(isalpha(str[p])) now+=str[p++];
                p++;
                if(now=="is")
                {
                    now="";
                    while(isalpha(str[p])) now+=str[p++];
                    if(now=="guilty"&&str[p]=='.') think[id][to]=1;
                    else if(now=="not")
                    {
                        p++;
                        now="";
                        while(isalpha(str[p])) now+=str[p++];
                        if(now=="guilty"&&str[p]=='.') think[id][to]=2;
                    }
                }
            }
        }
    }
    dfs(1,0);
    if(ans1) cout<<name[ans2];
    else
    {
        if(n==m) cout<<"Cannot Determine";
        else cout<<"Impossible";
    }
    return 0;
}