递归下降 方法 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. using namespace std;
4. int j(0);
5. string temp;
7. int check();
8. int main()
9. {
10.  freopen("in.txt","r",stdin);
11.  int f;
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;
23.   
27.  }
32.  return 0;
33. }
34. int check()
35. {
36.  int ch=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':return 1;break;
40.  case 'I':case  'E':case 'D':case 'C':return check()&check();break;
41.  case 'N':return check();break;
43.  default:return 0;
44.  }
47. }

code 3295

1. #include<iostream>
2. using namespace std;
4. int check() ;
5. int j(0);
6. char temp[201];
7. short v[200]={0};
8. int main()
9. {
10.     freopen("in.txt","r",stdin);
11.      int p,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.                                 }
35.                         
37.                         }
38.                         if(f)
39.                             cout<<"tautology"<<endl;
40.     }
44.     return 0;
45. }
46. int check() { 
47.     int ch=temp[j++];
48.     switch(ch) { 
49.         case 'p':case 'q':case 'r':case 's': case 't':return v[ch-'0']; break;
50.         case 'K': return check() & check(); break;
51.         case 'A': return check() | check(); break;
52.         case 'N': return !check();break;
53.         case 'C': return !check()|check();break;
54.         case 'E':return  !check() ^ check(); break;
55.     } 
56. }