POJ3295 Tautology(模拟栈)

来源：互联网发布：c语言表达式的级别编辑：程序博客网时间：2024/05/22 10:38

传送门：http://poj.org/problem?id=3295

题意：用5种字母表示不同运算符，并可能会出现5个变量，如果计算结果永远为真，输出Tautology，否则输出not；

运算规则如下，
K    a && b; //与
A    a || b;     //或
N    !a;         //取反
C    (!a)||b;
E    !(a^b);   //同或

模拟栈来进行计算，并且用递归写计算过程，还是比较好的练手模拟题。

代码：

//Accepted680K0MSG++1752B#include<cstdio>#include<cstring>#include<cstdlib>#include<cmath>#include<ctime>#include<string>#include<queue>#include<stack>#include<set>#include<map>#include<cctype>#include<iostream>#include<algorithm>using namespace std;#define ff(x) (x=='1')?'0':'1'char input[110];map<char, int> id;int cnt;char st[200];//用数组模拟栈而不用stl的原因是要操作栈顶之后的几个元素，封装了之后就不好操作了，还是自己模拟方便int top;inline int ID(char x)//标记变量{if (id.count(x)) return id[x];return id[x] = cnt++;}inline bool val(int n,char x){return n&(1 << ID(x));//计算当前变量的值}void cal(){if (!isdigit(st[top])) return;if (top == 0) return;if (st[top - 1] == 'N') {//N计算st[top - 1] = ff(st[top]);//ff用define定义成取反了top--;}else if (top >= 2 && isdigit(st[top - 1]) && isupper(st[top - 2])) {//其余计算int v1 = st[top] - '0', v2 = st[top - 1] - '0';//记录下方两个变量的值top -= 2;switch (st[top]){case 'K':st[top] = (v1&&v2) + '0'; break;case 'A':st[top] = (v1 || v2) + '0'; break;case 'C':st[top] = ((!v2) || v1) + '0'; break;case 'E':st[top] = !(v1^v2) + '0'; break;//同或，看成异或了wa了半天才发现}}else return;cal();//递归计算栈顶的值}int main(){//freopen("D://input.txt","r",stdin);//freopen("D://output.txt","w",stdout);while (scanf("%s", input) != EOF&&input[0] != '0'){id.clear();cnt = 0;//变量个数int i, j;for (i = 0; input[i]; i++){if (islower(input[i]))//给变量做标记ID(input[i]);}bool ok = true;//记录是否一直是真for (i = 0; ok&&i < (1 << cnt); i++)//枚举所有情况，因为变量最多5个，所以最多是1<<5=32种情况{memset(st, 0, sizeof(st));//清空栈top = -1;//初始化头指针for (j = 0; input[j]; j++){if (islower(input[j]))st[++top] = val(i, input[j]) + '0';else st[++top] = input[j];cal();}if (top != 0)cal();if (st[0] == '0')ok = false;}if (!ok)printf("not\n");else printf("tautology\n");}//printf("%.6f\n", (double)clock() / CLOCKS_PER_SEC);return 0;}

0 0