poj 3295 Tautology

最新推荐文章于 2023-12-26 16:02:35 发布

CN_swords

最新推荐文章于 2023-12-26 16:02:35 发布

阅读量300

点赞数

CC 4.0 BY-SA版权

分类专栏：杂题

本文链接：https://blog.youkuaiyun.com/qq_33199236/article/details/53313245

杂题专栏收录该内容

54 篇文章

订阅专栏

本文介绍了一道经典的枚举算法题目——POJ 3295 Tautology。该题要求判断给定的逻辑表达式是否为重言式。通过使用栈来处理前缀表达式，并对所有可能的变量取值进行枚举，最终确定表达式的真假值。文章详细解析了解题思路与实现代码。

poj 3295 Tautology（枚举）

题意：给你一串长度不超过一百的字符串，里面包含10个字母分别是“p,q,r,s,t”代表0或1的数字，“K,A,N,C,E”表示操作，具体见问题给出的表格。问你无论字符串里面的数是什么，答案都输出1？是输出“tautology”，不是输出“not”。
题解：此题就按前缀运算符那样，用栈处理下，暴力枚举下所有情况就好了。

#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <stack>
using namespace std;
const int N = 110;

char s[N];
bool slove(int p,int q,int r,int s1,int t)
{
    stack<int> Q;
    int len = strlen(s);
    for(int i = len-1; i >= 0; i--)
    {
        if(s[i] == 'p') Q.push(p);
        else if(s[i] == 'q') Q.push(q);
        else if(s[i] == 'r') Q.push(r);
        else if(s[i] == 's') Q.push(s1);
        else if(s[i] == 't') Q.push(t);
        else if(s[i] == 'N')
        {
            int x = Q.top();
            Q.pop();
            x = x==0?1:0;
            Q.push(x);
        }
        else
        {
            int x = Q.top();
            Q.pop();
            int y = Q.top();
            Q.pop();
            if(x && y)
                Q.push(1);
            else if(x && !y)
            {
                if(s[i] == 'A')
                    Q.push(1);
                else
                    Q.push(0);
            }
            else if(!x && y)
            {
                if(s[i] == 'K' || s[i] == 'E')
                    Q.push(0);
                else
                    Q.push(1);
            }
            else
            {
                if(s[i] == 'K' || s[i] == 'A')
                    Q.push(0);
                else
                    Q.push(1);
            }
        }
    }
    return Q.top();
}
int main()
{
    while(~scanf("%s",s))
    {
        if(strcmp(s,"0") == 0)
            break;
        int flag = 1;
        for(int p = 0; p < 2; p++)
            for(int q = 0; q < 2; q++)
                for(int r = 0; r < 2; r++)
                    for(int s1 = 0; s1 < 2; s1++)
                        for(int t = 0; t < 2; t++)
        {
            if(!slove(p,q,r,s1,t))
                flag = 0;
        }
        if(flag == 0)
            printf("not\n");
        else
            printf("tautology\n");
    }
    return 0;
}