洛谷P1039

洛谷1039 侦探推理

本题地址

http://www.luogu.org/problem/show?pid=1039

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

　　明明所知道的是，他的同学中有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

题解：

码农题 没有任何技术含量！！！！我只是觉得比较好玩罢了= =基本思路 枚举凶手和星期几（虽然枚举说谎的人好像也可以，但是通过说谎的人说的“I am not guilty”反推出他是凶手，这种事计算机表示无奈）虽然我debug了很久。。我保证这是我写过的最长的debug函数没有之一

代码

#include<map>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int maxn=200+10;
struct person{
    string name;
    int is_[maxn],not_[maxn],id,today,is_self,not_self,is,no;
    person()
    {
        name.resize(0);is_self=not_self=today=is=no=0;
        memset(is_,0,sizeof(is_));
        memset(not_,0,sizeof(not_));
    }
}p[maxn];

map<string,int>id;
int n,m,Q;
string name[40];

char input(char &ch){ch=getchar();return ch;}

int check(string s)
{
    if(s=="Monday.")   return 1;
    if(s=="Tuesday.")  return 2;
    if(s=="Wednesday.")return 3;
    if(s=="Thursday.") return 4;
    if(s=="Friday.")   return 5;
    if(s=="Saturday.") return 6;
    if(s=="Sunday.")   return 7;
    return 0;
}

int init_data()
{
    cin>>n>>m>>Q;
    string s[5];int tot=0;
    for(int i=1;i<=n;i++)
    {
        cin>>name[i];
        id[name[i]]=++tot;
        p[tot].name=name[i];
        p[tot].id=tot;
//      printf("%d:%s  %d\n",i,s[0].c_str(),id[s[0]]);
    }

    while(Q--)
    {
        char ch;cin>>s[0];
        int l=s[0].length();
        s[0].resize(l-1);
        int iid=id[s[0]],cnt=1,flag=0;
//      printf("\n\n%dth person: %s\n",Q,s[0].c_str());
        for(;;cnt++)
        {
            if(input(ch)=='\n'||ch==EOF) break;
            if(cnt==5) {flag=1;break;}
            cin>>s[cnt];
        }
        cnt--;
        if(!flag) // useful
        {
            if(cnt==3)
            {
              if(s[1]=="Today"&&s[2]=="is")
              {
                int day=check(s[3]);
                if(day) p[iid].today=day;
              }
              else if(s[2]=="is"&&s[3]=="guilty.")
              {
                int xid=id[s[1]];
                if(xid) p[iid].is_[++p[iid].is]=xid;
              }
              else if(s[1]=="I"&&s[2]=="am"&&s[3]=="guilty.")
              {
                p[iid].is_self=1;
              }
            }
            else if(cnt==4)
            {
              if(s[1]=="I"&&s[2]=="am"&&s[3]=="not"&&s[4]=="guilty.")
              {
                p[iid].not_self=1;
              }
              else if(s[2]=="is"&&s[3]=="not"&&s[4]=="guilty.")
              {
                int xid=id[s[1]];
                if(xid) p[iid].not_[++p[iid].no]=xid;
              }
            }
        }
        else //don't need
            for(;input(ch)!='\n'&&ch!=EOF;scanf("%*s")) ;
    }
    return tot;
}

void debug(int n)
{
    for(int i=1;i<=n;i++)
    {
        printf("%dth:\n",i);
        printf("  name:%s\n",p[i].name.c_str());
        printf("  id:%d\n",p[i].id);
        printf("  today:%d\n",p[i].today);
        printf("  is_self:%d\n",p[i].is_self);
        printf("  not_self:%d\n",p[i].not_self);
        printf("  other_is:%d\n",p[i].is);
        if(p[i].is)
        {
            for(int j=1;j<=p[i].is;j++)
              printf("    guilty %d: %s\n",j,name[p[i].is_[j]].c_str());
        }
        printf("  other_not:%d\n",p[i].no);
        if(p[i].no)
        {
            for(int j=1;j<=p[i].no;j++)
              printf("    not guilty %d: %s\n",j,name[p[i].not_[j]].c_str());
        }
    }
}

int check(int g,int d)
{
    int lie=0,cnt=0;
    for(int i=1;i<=n;i++)
    {
        int t=0,f=0;
        if(p[i].today)
        {
            if(p[i].today!=d) f=1;
            else t=1;
        }  
        if(p[i].not_self==1)
        {
            if(i==g) f=1;
            else t=1;
        }
        if(p[i].is_self==1)
        {
            if(i!=g) f=1;
            else t=1;
        }
        if(p[i].is)
        {
            for(int j=1;j<=p[i].is;j++)
              if(f&&t) break;
              else if(p[i].is_[j]!=g) f=1;
              else t=1;
        }
        if(p[i].no)
        {
            for(int j=1;j<=p[i].no;j++)
              if(t&&f) break;
              else if(p[i].not_[j]==g) f=1;
              else t=1;
        }
        if(t&&f) return false;
        if(f) lie++;
        if(!t&&!f) cnt++;
    }
    if(lie>m) return false;
    if(lie+cnt<m) return false;
    else return true;
}

int main()
{
    init_data();
//  debug(init_data());
    int guilty,cnt=0;
    for(int i=1;i<=n;i++)
      for(int j=1;j<=7;j++)
      {
        if(check(i,j))
        {
            if(++cnt==2)  
            {
                printf("Cannot Determine");
                return 0;
            }
            guilty=i;
            break;
        }
      }
    if(cnt==1) cout<<name[guilty];
    else printf("Impossible");
    return 0;
}