$NOIP2003$偵探推理

\(NOIP2003\)偵探推理

不行我沒忍住，這道噁心的模擬寫出來了，必定要發文祭奠一下

話說我這麼清晰的命名方式應該是我的都看得懂吧

#include<bits/stdc++.h>
using namespace std;
inline int read()
{
    int f=1,w=0;char x=0;
    while(x<'0'||x>'9') {if(x=='-') f=-1; x=getchar();}
    while(x!=EOF&&x>='0'&&x<='9') {w=(w<<3)+(w<<1)+(x^48);x=getchar();}
    return w*f;
}
const int N=25;
const int P=110;
int n,m,K,Sum;
struct Students
{
    string Name;
    int Hon,Crm,Sum;
    vector<string> Word;
} p[N];
map<string,int> Name_MAP,Day,ANS;
map<string,string> Gul,NGul;
inline void get(string &x)
{
    char c=getchar();
    while(c=='\n'||c=='\r') c=getchar();
    while(c!='\n'&&c!='\r') x+=c,c=getchar();
}
int main(){
#ifndef ONLINE_JUDGE
    freopen("A.in","r",stdin);
#endif
    scanf("%d%d%d",&m,&n,&K);
    for(int i=1;i<=m;i++)
    {
        char X=getchar();while(X=='\n'||X=='\r') X=getchar();
        while(X!='\n'&&X!='\r') p[i].Name+=X,X=getchar();
        Name_MAP[p[i].Name]=i;
    }
    for(int i=1;i<=K;i++)
    {
        string S,NAME;char X=getchar();
        while(X=='\n'||X=='\r') X=getchar();
        while(X!=':') NAME+=X,X=getchar();
        while(X=='\n'||X=='\r'||X==' '||X==':') X=getchar();
        while(X!='\n'&&X!='\r') S+=X,X=getchar();
        p[Name_MAP[NAME]].Word.push_back(S);
    }
    Day["Today is Monday."]=1;Day["Today is Tuesday."]=2;
    Day["Today is Wednesday."]=3;Day["Today is Thursday."]=4;
    Day["Today is Friday."]=5;Day["Today is Saturday."]=6;
    Day["Today is Sunday."]=7;
    for(int i=1;i<=m;i++) Gul[p[i].Name+" is guilty."]=p[i].Name;
    for(int i=1;i<=m;i++) NGul[p[i].Name+" is not guilty."]=p[i].Name;
    for(int Ts=0;Ts<(1<<m);Ts++)
    {
        int Cnt_UNKOWN=0,Cnt_GUL=0,Cnt_NGUL=0,Cnt=0,Today=0;
        for(int i=0;i<m;i++) if(!(Ts&(1<<i))) Cnt++;
        if(Cnt!=n) continue;
        for(int i=0;i<m;i++) p[i+1].Hon=0;
        for(int i=0;i<m;i++) p[i+1].Hon=(bool)(Ts&(1<<i));
        for(int i=1;i<=m;i++) p[i].Crm=-1,p[i].Crm=-1;
        for(int i=1;i<=m;i++)
        {
            if(p[i].Hon)
            {
                for(int j=0;j<(int)p[i].Word.size();j++)
                {
                    if(p[i].Word[j]=="I am guilty.")
                    {
                        if(p[i].Crm==-1||p[i].Crm==1) p[i].Crm=1;
                        else goto This_is_False; continue;
                    }
                    if(p[i].Word[j]=="I am not guilty.")
                    {
                        if(p[i].Crm==-1||p[i].Crm==0) p[i].Crm=0;
                        else goto This_is_False; continue;
                    }
                    if(Gul[p[i].Word[j]].size())
                    {
                        if(p[Name_MAP[Gul[p[i].Word[j]]]].Crm==-1)
                            p[Name_MAP[Gul[p[i].Word[j]]]].Crm=1;
                        else if(p[Name_MAP[Gul[p[i].Word[j]]]].Crm==1)
                            p[Name_MAP[Gul[p[i].Word[j]]]].Crm=1;
                        else goto This_is_False; continue;
                    }
                    if(NGul[p[i].Word[j]].size())
                    {
                        if(p[Name_MAP[NGul[p[i].Word[j]]]].Crm==-1)
                            p[Name_MAP[NGul[p[i].Word[j]]]].Crm=0;
                        else if(p[Name_MAP[NGul[p[i].Word[j]]]].Crm==0)
                            p[Name_MAP[NGul[p[i].Word[j]]]].Crm=0;
                        else goto This_is_False; continue;
                    }
                    if(Day[p[i].Word[j]])
                    {
                        if(Today==Day[p[i].Word[j]]) Today=Day[p[i].Word[j]];
                        else if(Today==0) Today=Day[p[i].Word[j]];
                        else goto This_is_False; continue;
                    }
                }
            }
            else
            {
                for(int j=0;j<(int)p[i].Word.size();j++)
                {
                    if(p[i].Word[j]=="I am guilty.")
                    {
                        if(p[i].Crm==-1||p[i].Crm==0) p[i].Crm=0;
                        else goto This_is_False; continue;
                    }
                    if(p[i].Word[j]=="I am not guilty.")
                    {
                        if(p[i].Crm==-1||p[i].Crm==1) p[i].Crm=1;
                        else goto This_is_False; continue;
                    }
                    if(Gul[p[i].Word[j]].size())
                    {
                        if(p[Name_MAP[Gul[p[i].Word[j]]]].Crm==-1)
                            p[Name_MAP[Gul[p[i].Word[j]]]].Crm=0;
                        else if(p[Name_MAP[Gul[p[i].Word[j]]]].Crm==0)
                            p[Name_MAP[Gul[p[i].Word[j]]]].Crm=0;
                        else goto This_is_False; continue;
                    }
                    if(NGul[p[i].Word[j]].size())
                    {
                        if(p[Name_MAP[NGul[p[i].Word[j]]]].Crm==-1)
                            p[Name_MAP[NGul[p[i].Word[j]]]].Crm=1;
                        else if(p[Name_MAP[NGul[p[i].Word[j]]]].Crm==1)
                            p[Name_MAP[NGul[p[i].Word[j]]]].Crm=1;
                        else goto This_is_False; continue;
                    }
                    if(Day[p[i].Word[j]])
                        if(Today==Day[p[i].Word[j]]&&Today)
                            goto This_is_False;
                }
            }
        }
        for(int i=1;i<=m;i++)
            if(p[i].Crm==-1) Cnt_UNKOWN++;
            else if(p[i].Crm==1) Cnt_GUL++;
            else if(p[i].Crm==0) Cnt_NGUL++;
        if(Cnt_GUL>1) goto This_is_False;
        if(Cnt_UNKOWN+Cnt_NGUL==m&&Cnt_UNKOWN>1)
        {
            puts("Cannot Determine");return 0;
        }
        if(Cnt_UNKOWN+Cnt_NGUL==m&&Cnt_UNKOWN==1)
        {
            Cnt_GUL=Cnt_UNKOWN;
            for(int i=1;i<=m;i++)
                if(p[i].Crm==-1) p[i].Crm=1;
        }
        if(Cnt_GUL==1)
            for(int i=1;i<=m;i++)
                if(p[i].Crm==1) p[i].Sum++;
      This_is_False:;
    }
    for(int i=1;i<=m;i++) if(p[i].Sum) Sum++;
    if(Sum==1)
    {
        for(int i=1;i<=m;i++)
            if(p[i].Sum) cout<<p[i].Name<<endl;
    }
    else if(Sum!=0) puts("Cannot Determine");
    else puts("Impossible");
}