POJ 3295 Tautology (构造）

• 题目链接：http://poj.org/problem?id=3295
• 算法：构造
• 思路：每个symbol都是对其右边的一个或两个变量操作的，所以优先级永远是从右到左。一共有5个变量，每个变量都有两个值（0或者1），暴力复杂度为2^5==32。那么就从右往左遍历，遇到变量就把变量的值放入栈中，遇到操作符就从栈中提出被操作的个数。

---

---

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <cstring>
#include <vector>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <math.h>
#define pi acos(-1)
#define fastio ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
using namespace std;
typedef long long LL;
typedef pair<int, int> PII;
const int INF = 0x3f3f3f3f;       // ²»ÄܼӸººÅ£¡£¡£¡
const LL LL_INF = 0x3f3f3f3f3f3f3f3f;//4e18 ~= 2^62
const int maxn =100 + 10;
const LL mod = 1e9+7;


char w[maxn];
stack<int> sk;
map<char,int> mp;

void solve(char c, int p, int q, int r, int s, int t)
{
    if(c=='p') sk.push(p);
    else if(c == 'q') sk.push(q);
    else if(c == 'r') sk.push(r);
    else if(c == 's') sk.push(s);
    else if(c == 't') sk.push(t);
    else if(c == 'K'){
        int a = sk.top(); sk.pop();
        int b = sk.top(); sk.pop();
        sk.push(a&&b);
    }
    else if(c == 'A'){
        int a = sk.top(); sk.pop();
        int b = sk.top(); sk.pop();
        sk.push(a||b);
    }
    else if(c == 'N'){
        int a = sk.top(); sk.pop();
        sk.push(!a);
    }
    else if(c == 'C'){
        int a = sk.top(); sk.pop();
        int b = sk.top(); sk.pop();
        if(a == b) sk.push(1);
        else if(a==0 && b==1) sk.push(1);
        else sk.push(0);
    }
    else if(c == 'E'){
        int a = sk.top(); sk.pop();
        int b = sk.top(); sk.pop();
        sk.push(a == b);
    }
}


int main()
{
    while(~scanf("%s", w)){
        if(w[0]=='0') break;
        while(!sk.empty()) sk.pop();
        int len = strlen(w);
        int flag = 1;
        for(int p=0; p<=1 && flag; p++){
            for(int q=0; q<=1 && flag; q++){
                for(int r=0; r<=1 && flag; r++){
                    for(int s=0; s<=1 && flag; s++){
                        for(int t=0; t<=1 && flag; t++){
                            for(int i=len-1; i>=0; i--){
                                solve(w[i], p, q, r, s, t);
                            }
                            if(sk.top() == 0 ){
                                flag = 0;
                                printf("not\n");
                            }
                        }
                    }
                }
            }
        }
        if(flag==1) printf("tautology\n");
    }
}
这里写代码片