poj3295——水题（stack、位运算）

该题目是一个简单题目，可以采用双堆栈以及位运算来进行实现。

我的算法思想是：

首先我们考虑，如何整体判定一个字符串是否为Tautology：

1.对于每一个字符串判断是否Tautology，只需要对p,q,r,s,t依次取0/1值进行判断（共2的5次方），如果结果始终为1则是Tautology。

2.对于0/1值的判定，可以采用位运算进行优化。即采用1个int的0-4位来进行信息存储。

 

 

对于字符串每一个状态的判定，比如当p、q、r、s、t分别对应00000时，该字符串的判定是否为true。我采用双堆栈的处理方式。其流程为：

1.将字符串照着字符顺序依次压入堆栈A，然后开始弹出字符，如果字符为小写（即变量），则将该字符压入堆栈B。

2.如果弹出的字符为大写，则从堆栈B中弹出对应的操作数进行判定（如果为N弹出一个，其他则弹出两个）。并将判定结果重新压入堆栈B。

3.直到堆栈A中为空，说明字符串已经判定结束。如果此时的判定结果为false，则不再对其他状态进行判断，直接跳出，输出'NOT'

 

 

最后，如果判定完所有的状态都为true，则说明该字符为Tautology。

 

 

 

 

代码如下：

#include <iostream> using namespace std; class stack { private: char container[101]; public: int p; stack() { p = 0; memset(container,'/0',sizeof(container)); } void push(char c) { container[p] = c; p++; } char pop() { p--; return container[p]; } }; int cal(char x,int i) { int bit; switch(x) { case 'p': bit = (i&16)>>4; break; case 'q': bit = (i&8)>>3; break; case 'r': bit = (i&4)>>2; break; case 's': bit = (i&2)>>1; break; case 't': bit = (i&1); break; default: bit = x-'0'; break; } return bit; } int main() { char temp[101]; while(scanf("%s",&temp) != EOF) { if(temp[0] == '0') return 0; int len = strlen(temp); if(len == 1) { cout<<"not"<<endl; continue; } stack s; stack obj; bool flag = true; for(int i=0;i<32;i++) { for(int j=0;j<len;j++) { s.push(temp[j]); } int result = 3; char str; while(s.p>0) { str = s.pop(); if(str-'a' > 0) obj.push(str); else { if(str == 'N') { char x = obj.pop(); result = (1+cal(x,i))%2; obj.push(result+'0'); } else { char x,y; x = obj.pop(); y = obj.pop(); if(str == 'K') { result = cal(x,i)&cal(y,i); } else if(str == 'A') { result = cal(x,i)|cal(y,i); } else if(str == 'C') { if(cal(x,i)==1 && cal(y,i)==0) result = 0; else result = 1; } else if(str == 'E') { if(cal(x,i) == cal(y,i)) result = 1; else result = 0; } obj.push(result+'0'); } continue; } } if(result==0) { flag = false; cout<<"not"<<endl; break; } } if(flag) cout<<"tautology"<<endl; } return 0; }