写在前面

这就是一道坑人的模拟而已。。。。

$Idea$

其实思路很简单，就是枚举罪犯是谁，枚举今天是星期几，然后每句话是真是假一目了然。

每次枚举时，标记每个人说的是什么话，如果一个人既说真话又说假话，那就说明你的假设不对，或者$Impossible$，如果是$Impossible$的情况，你的任何假设都不正确

比如有这么两句话：
A: I am guilty.
A: I am not guilty.
无论假设A是罪犯或不是，都不合法

注意可能会有光说闲话的人，也就是无法确定说真话或说假话的人，应该一起标记下来。

如果有多个假设合法（指的是罪犯，不包括星期几！！！），那自然是$Cannot\ Determine$喽

坑点

最后统一描述

具体做法

怎么认定一句话说的是什么呢？

其实有意义的话的种类是极其有限的，一共就题目里说的5种情况。

那么，使用string是不是就方便地搞定了.

说明：

$fake[i]$ 第$i$句话是真是假，真为1，假为-1，不知道为0

$w[i]$ : 第$i$句话是谁说的

$nx$ : 当前可能的罪犯是谁，如果又找到了一个罪犯$px \not= nx$，那就是$Cannot\ Determine$

void set(int who,int yx){
    if(fake[who]&&fake[who]!=yx)err=1;
    else fake[who]=yx;
}

将谁认定为说真话或说假话的人，如果发现冲突及时标记下来。

$Code$

int n,m,p,fake[21],err,w[200],nx;
string name[100],say[200];
string day[10]={"youdu","Today is Sunday.","Today is Monday.","Today is Tuesday.","Today is Wednesday.","Today is Thursday.","Today is Friday.","Today is Saturday.",};
inline void set(int who,int yx){
    //err是错误标记，如果一个人既说真话又说假话显然这个人脑子有病 
    if(fake[who]&&fake[who]!=yx) err=1;
    else fake[who]=yx;
}
int main(){
    cin>>m>>n>>p;
    for(int i=1;i<=m;i++)
        cin>>name[i];
    for(int i=1;i<=p;i++){
        string nm;//name
        cin>>nm;//输入名字 
        nm.erase(nm.end()-1);//吞冒号
        for(int j=1;j<=m;j++)
        if(name[j]==nm)w[i]=j; //判断这句话是谁说的
        getline(cin,say[i]);
        say[i].erase(say[i].begin());//吞空格 
    }
    for(int td=1;td<=7;td++)//枚举今天是星期几 
    for(int px=1;px<=m;px++){//枚举罪犯是谁 
        //初始化
        err=0; memset(fake,0,sizeof fake); 
        for(int i=1;i<=p;i++){//依次判断每句话 
            int who=w[i];
            if(say[i]=="I am guilty.") set(who,px==who?1:-1);
            //如果一个人是罪犯，而且说自己是罪犯，那他说的就是真话，否则就是假话 
            if(say[i]=="I am not guilty.") set(who,px!=who?1:-1);
            //如果一个人不是罪犯，而且说自己不是罪犯，那他说的就是真话，否则就是假话 
            for(int j=1;j<=7;j++)
            if(say[i]==day[j]) set(who,j==td?1:-1);
            //如果一个人说今天是星期几，说对了就是真话，说错了就是假话 
            for(int j=1;j<=m;j++){
                if(say[i]==name[j]+" is guilty.")set(who,j==px?1:-1);
                if(say[i]==name[j]+" is not guilty.")set(who,j!=px?1:-1);
                //显然说对了就是真话，否则就是假话 
            }
        }
        int cnt=0,unknown=0;//cnt:说假话的人数，unknown:不确定的人数 
        for(int i=1;i<=m;i++){
            if(fake[i]==-1) cnt++;
            if(fake[i]==0) unknown++;
        }
        if(!err&&cnt<=n&&cnt+unknown>=n)
        // 如果cnt<=n<=cnt+ppp，就说明这个假设合理 
        //如果出现Impossible的情况，怎么枚举都会err，跳过
            if(nx&&nx!=px){
                //出现了两个合理的罪犯 
                cout<<"Cannot Determine";
                return 0;
            }else nx=px;
    }
    if(!nx)cout<<"Impossible"; 
    else cout<<name[nx];
    return 0;
}

坑点

测试数据只是用来发现错误的，不是用来改正错误的。（敲黑板

我们来体会下什么叫 非明文禁止者，皆无不可能

1. 有一位同志名字叫做$GUILTY$，如果你把证词事先变化，你就完了。

2. 有一位同志，既承认自己有罪，又说自己无罪。

3. 有七位同志，名字分别是$MONDAY,\dots,SUNDAY$

4. 有位同志叫$I$

5. 有个人的名字长达204个字符，翻译过来就是： 曾经有一份真挚的爱情摆在我的面前我没有好好珍惜,直到失去后才后悔莫及 ，人世间最痛苦的事情莫过于此。如果上天能再给我一个再来一次的机会，我会对那个女孩说三个字:$\cdots$

然后。。。他说了三句话：$”I\ love\ you!”,”If\ there\ must\ be\ a\ deadline\ ,”,”I\ hope\ it\ is\ 10000\ years!!!”$

事实上，这三句话都不算。相当于，他没有说话

$$ The \quad End $$

$$ \text{课桌上刻的我爱你还在,多少澎湃如海如今成了感慨;谁的青春不迷茫,其实我们都一样。-《不说再见》好妹妹} $$