poj3295 构造法

说是构造法，其实我觉得是活用了prefix与postfix表达式的处理方法，即stack的熟练运用。

之前学过的是运算符号的postfix转换，现在是逻辑符号。

没想到能一次ac啊好开心，感觉是新手的好运气啊。

#include <iostream>
#include <stack>
#include <vector>
using namespace std;
vector<char> V;
bool isOperator(char o){
return ((o=='N')||(o=='E')||(o=='C')||(o=='A')||(o=='K'));
}
bool make_expression(bool p, bool q,bool r,bool s,bool t){
bool expression,ex;
vector<char> v=V;
vector<bool> m;
while(!v.empty()){
if(!isOperator(v.back())){
if(v.back()=='p')
m.push_back(p);
else if(v.back()=='q')
m.push_back(q);

else if(v.back()=='r')
m.push_back(r);
else if(v.back()=='s')
m.push_back(s);
else if(v.back()=='t')
m.push_back(t);
v.pop_back();

}
else{
char ch=v.back();
v.pop_back();
switch (ch) {
case 'N':
expression=m.back();
m.pop_back();
m.push_back(!expression);
break;

case 'E':
expression=m.back();
m.pop_back();
ex=m.back();
m.pop_back();
m.push_back(expression==ex);
break;
case 'A':
expression=m.back();
m.pop_back();
ex=m.back();
m.pop_back();
m.push_back(expression||ex);
break;
case 'K':
expression=m.back();
m.pop_back();
ex=m.back();
m.pop_back();
m.push_back(expression&&ex);
break;
case 'C':
expression=m.back();
m.pop_back();
ex=m.back();

m.pop_back();
if(ex==false)
m.push_back(true);
else{
if(expression==true)
m.push_back(true);
else
m.push_back(false);
}
break;
default:
break;
}
}

}

return m[0];
}
void show(){
for(int p=0;p<2;p++){
for(int q=0;q<2;q++){

for(int r=0;r<2;r++){
for(int s=0;s<2;s++){
for(int t=0;t<2;t++)
if(!make_expression(p, q,r,s,t)){
cout<<"not"<<endl;
return;

}

}
}

}
}
cout<<"tautology"<<endl;

}
int main(int argc, const char * argv[]) {
// insert code here...

char c[100];
while(cin.getline(c, 100)){
if(c[0]=='0')
break;
else{
if(!V.empty())
V.clear();
for(int i=0;c[i]!='\0';i++){
char ch=c[i];
V.push_back(ch);
}
show();

}

}
return 0;
}其实运用的也是暴力的遍历法，因为考虑到总情况只有32中，所以还是可以的。
如果没有思路的话，可以去看一下Polish Reverse Notification的实现方法，基本就是这道题的思路了！