poj3295Tautology

背景:一直wrong在while()语句上最开始的时候没有把字符串为0考虑进去,所以导致输出一直是not。

思路:本题我构造了一个堆栈和一个映射关系,p,q,r,s,t每个只有0和1两种情况,所以可以直接用for循环枚举即可,枚举的时候用map产生映射,这样比较简单,然后就是定义一个字符串数组,从字符串最后一个元素开始处理,然后就是简单的堆栈操作,在元素处理中,按照题意,遇到p,q,r,s,t直接压栈,遇到其他字符按照题中的要求处理堆栈即可,当处理完字符串后,堆栈中应该只剩下一个元素,判断这个元素的值,然后做相应的处理,判断完之后,不要忘记弹出堆栈中的最后一个元素,否则会影响到下一次的操作。

学习:堆栈的简单运用。

#include <iostream>
#include <cstring>
#include <stack>
#include <map>
#include <cctype>
using namespace std;
stack<int> zhan;
map<char,int> logic;
void judge(char op[])
{
    int ok=1,n;
        for(int p=0;p<=1;p++)
            for(int q=0;q<=1;q++)
                for(int r=0;r<=1;r++)
                    for(int s=0;s<=1;s++)
                        for(int t=0;t<=1;t++)
                        {
                            logic['t']=t;
                            logic['p']=p;
                            logic['q']=q;
                            logic['r']=r;
                            logic['s']=s;
                            n=strlen(op)-1;
                            while(n>=0)
                            {
                                if(islower(op[n])) zhan.push(logic[op[n]]);
                                else
                                {
                                    if(op[n]=='N')
                                    {
                                        int a=zhan.top();zhan.pop();
                                        zhan.push(!a);
                                    }
                                    else
                                    {
                                        int a=zhan.top();zhan.pop();
                                        int b=zhan.top();zhan.pop();
                                        if(op[n]=='K') zhan.push(a&&b);
                                        else if(op[n]=='A') zhan.push(a||b);
                                        else if(op[n]=='C') zhan.push((!a)||b);
                                        else zhan.push(a==b);
                                    }
                                }
                                n--;
                            }
                            if(zhan.top()==0) {ok=0;cout<<"not"<<endl;return;}
                            zhan.pop();
                        }
    if(ok) cout<<"tautology"<<endl;
}
int main(void)
{
    char op[110];
    while(cin>>op&&op[0]!='0')
        judge(op);
    return 0;
}
时间: 2024-10-29 10:45:50

poj3295Tautology的相关文章