递归下降 方法 1126 3295

http://acm.pku.edu.cn/JudgeOnline/problem?id=1126

http://acm.pku.edu.cn/JudgeOnline/problem?id=3295

两道题目很相似，都是对一个字符串进行分析，并得出结果，核心思想使用递归下降的方法

code 1126

1. #include<iostream>
2. #include<string>
3. usingnamespacestd;
4. intj(0);
5. stringtemp;
7. intcheck();
8. intmain()
9. {
10. freopen("in.txt","r",stdin);
11. intf;
12. while(cin>>temp)
13. {
14. f=check();
15. if(j<temp.size())//如果调用完后，j<temp.size()那么就为错
16. f=0;
18. j=0;
19. if(f)
20. cout<<"YES"<<endl;
21. else
22. cout<<"NO"<<endl;
27. }
32. return0;
33. }
34. intcheck()
35. {
36. intch=temp[j++];
37. switch(ch)
38. {
39. case'p':case'q':case'r':case's':case't':case'u':case'v':case'w':case'x':case'y':case'z':return1;break;
40. case'I':case'E':case'D':case'C':returncheck()&check();break;
41. case'N':returncheck();break;
43. default:return0;
44. }
47. }

code 3295

1. #include<iostream>
2. usingnamespacestd;
4. intcheck();
5. intj(0);
6. chartemp[201];
7. shortv[200]={0};
8. intmain()
9. {
10. freopen("in.txt","r",stdin);
11. intp,q,r,s,t,f(1);
12. while(cin>>temp&&temp[0]!='0')
13. {
14. f=1;
15. j=0;
16. //对32 种情况的枚举
17. for(p=0;p<=1&&f;p++)
18. for(q=0;q<=1&&f;q++)
19. for(r=0;r<=1&&f;r++)
20. for(s=0;s<=1&&f;s++)
21. for(t=0;t<=1&&f;t++)
22. {
23. v['p'-'0']=p;
24. v['q'-'0']=q;
25. v['r'-'0']=r;
26. v['s'-'0']=s;
27. v['t'-'0']=t;
28. j=0;
29. f=check();
30. if(f==0)
31. {
32. cout<<"not"<<endl;
33. break;
34. }
37. }
38. if(f)
39. cout<<"tautology"<<endl;
40. }
44. return0;
45. }
46. intcheck(){
47. intch=temp[j++];
48. switch(ch){
49. case'p':case'q':case'r':case's':case't':returnv[ch-'0'];break;
50. case'K':returncheck()&check();break;
51. case'A':returncheck()|check();break;
52. case'N':return!check();break;
53. case'C':return!check()|check();break;
54. case'E':return!check()^check();break;
55. }
56. }