3値理論を計算する練習問題が解けずに困っています (ID:72465)

名前

ホームページ(ブログ、Twitterなど)のURL (省略可)

本文 http://rose.u-aizu.ac.jp/onlinejudge/ProblemSet/description.jsp?id=1155&lang=jp リンク先問題が解けずに困っております。 コードはmystackに計算中の式を代入して問題を解いています。 myprint関数にmystackを渡すことで、計算中の式を見ることができます。 コードに何か問題があるらしくテストデータで不正解をくらってしまいます。 自分で何度もチェックしたのですがわかりませんでした。 どなたかアドバイスをお願いします。 #include <stdio.h> #include <stack> #include <map> #include <string.h> void myprint(std::stack<char> my); void solve(int n,char data[81]); char myNot(char c); int myVer(char c); char myAnd(char c1,char c2); char myOr(char c1,char c2); std::stack<char> mystack; std::map<char,int> rank; int r,q,p; int main() { char data[81]; int n; scanf("%s",data); n=strlen(data); rank['P']=rank['Q']=rank['R']=0; rank['0']=rank['1']=rank['2']=0; rank['+']=1; rank['*']=2; rank['-']=3; rank['(']=4; rank[')']=-1; while(!(data[0]=='.' && n==1)){ solve(n,data); scanf("%s",data); n=strlen(data); } } void solve(int n,char data[81]){ int point=0; int nowRank=0; char ts[3]; int count=0; bool kakkoFlag=false; for(r=0;r<3;r++){ for(p=0;p<3;p++){ for(q=0;q<3;q++){ while(mystack.empty()==false) mystack.pop(); point=1; mystack.push(data[0]); nowRank=rank[data[0]]; while(point<=n) { if(n==point || nowRank>rank[data[point]]) { if(point<n) { if(data[point]!=')') mystack.push(data[point]); nowRank=rank[data[point]]; if(data[point]==')') kakkoFlag=true; else kakkoFlag=false; } while(mystack.size()>1) { ts[0]=mystack.top(); mystack.pop(); ts[1]=mystack.top(); mystack.pop(); nowRank=rank[ts[1]]; if(ts[1]=='('){ if(ts[0]=='('){ mystack.push(ts[1]); if(kakkoFlag==false){ mystack.push(ts[0]); } break; }else if(ts[0]=='-'){ mystack.push(ts[1]); mystack.push(ts[0]); break; }else{ if(kakkoFlag==true){ mystack.push(ts[0]); break; }else{ mystack.push(ts[1]); mystack.push(ts[0]); break; } } }else if(ts[1]=='-'){ if(ts[0]=='-'){ mystack.push('-'); mystack.push('-'); break; }else if(ts[0]=='('){ mystack.push('-'); mystack.push('('); break; }else{ mystack.push(myNot(ts[0])); } }else if(ts[1]=='+' || ts[1]=='*'){ if(ts[0]=='-' || ts[0]=='('){ mystack.push(ts[1]); mystack.push(ts[0]); break; }else{ ts[2]=mystack.top(); mystack.pop(); if(ts[1]=='+'){ ts[0]=myOr(ts[2],ts[0]); }else if(ts[1]=='*'){ ts[0]=myAnd(ts[2],ts[0]); } mystack.push(ts[0]); } }else{ mystack.push(ts[1]); mystack.push(ts[0]); break; } } point++; }else{ if(n>point){ mystack.push(data[point]); nowRank=rank[mystack.top()]; point++; } } } if(myVer(mystack.top())==2) count++; } } } printf("%d\n",count); } void myprint(std::stack<char> my){ std::stack<char> nt; while(my.empty()==false){ nt.push(my.top()); my.pop(); } while(nt.empty()==false){ my.push(nt.top()); printf("%c",nt.top()); nt.pop(); } printf("\n"); } char myNot(char c){ int t=myVer(c); if(t==2){ return '0'; }else if(t==1){ return '1'; }else if(t==0){ return '2'; } return c; } int myVer(char c){ int t=c; if(c=='R'){ t=r; }else if(c=='P'){ t=p; }else if(c=='Q'){ t=q; }else if('3'>c && c>='0'){ t=c-'0'; } return t; } char myAnd(char c1,char c2){ char t[3][4]={"000","011","012"}; return t[myVer(c1)][myVer(c2)]; } char myOr(char c1,char c2){ char t[3][4]={"012","112","222"}; return t[myVer(c1)][myVer(c2)]; }