poj 3295 Tautology

最新推荐文章于 2024-11-18 18:38:00 发布

amoyp88606

最新推荐文章于 2024-11-18 18:38:00 发布

阅读量99

点赞数

文章标签：数据结构与算法

原文链接：http://www.cnblogs.com/liuaohan/p/5694741.html

版权

很久之前的一场比赛有一道判断前缀表达式是否永真式的题，虽然当时用40分钟1A了，但是下来看了一下别人的代码，感觉自己的好low啊。。

当时的代码有1.9k，而且是对每个前缀运算符，分别找其对应的运算式，再递归下去的，复杂度也捉鸡：

  1 #include<iostream>
  2 #include<cstdio>
  3 #include<string>
  4 #include<cstring>
  5 #include<algorithm>
  6 #include<cmath>
  7 using namespace std;
  8 
  9 char s[100];
 10 struct node {
 11     char type;
 12     node *ch[2];
 13     node() {
 14         ch[0] = ch[1] = NULL;
 15     }
 16 }pool[100000],*root;
 17 int tot,ans,kind[150];
 18 bool have[150],value[150];
 19 char nex[150];
 20 
 21 node *build(int l,int r)
 22 {
 23     if(s[l]=='N') {
 24         node *t = &pool[++tot];
 25         t->type = 'N';
 26         t->ch[0] = build(l+1,r);
 27         return t;
 28     }
 29     if(kind[s[l]]==2) {
 30         int req = 1,now = 0,i;
 31         for(i = l+1; i<=r; i++) {
 32             if(kind[s[i]]==2) req++;
 33             else if(kind[s[i]]==1) now++;
 34             if(now==req) {
 35                 node *t = &pool[++tot];
 36                 t->ch[0] = build(l+1,i);
 37                 t->ch[1] = build(i+1,r);
 38                 t->type = s[l];
 39                 return t;
 40             }
 41         }
 42     }
 43     if(l!=r) cout << "fuck";
 44     node *t = &pool[++tot];
 45     t->type = s[l];
 46     return t;
 47 }
 48 
 49 void preset()
 50 {
 51     kind['A'] = kind['K'] = kind['C'] = kind['E'] = 2;
 52     kind['s'] = kind['p'] = kind['q'] = kind['r'] = kind['t'] = 1;
 53     kind['N'] = 3;
 54     nex['p'] = 'q';
 55     nex['q'] = 'r';
 56     nex['r'] = 's';
 57     nex['s'] = 't';
 58     nex['t'] = 0;
 59 }
 60 
 61 bool cal(node *t)
 62 {
 63     if(kind[t->type]==1) return value[t->type];
 64     if(t->type=='N') return !cal(t->ch[0]);
 65     if(t->type=='K')
 66         return cal(t->ch[0]) & cal(t->ch[1]);
 67     if(t->type=='A')
 68         return cal(t->ch[0]) | cal(t->ch[1]);
 69     if(t->type=='C')
 70         return (!cal(t->ch[0])) | cal(t->ch[1]);
 71     if(t->type=='E')
 72         return cal(t->ch[0])==cal(t->ch[1]);
 73 }
 74 
 75 void dfs(char x)
 76 {
 77     if(!ans) return;
 78     if(!x) {
 79         if(!cal(root)) ans = 0;
 80         return;
 81     }
 82     if(have[x]) {
 83         value[x] = 0;
 84         dfs(nex[x]);
 85         value[x] = 1;
 86         dfs(nex[x]);
 87     }
 88     else dfs(nex[x]);
 89 }
 90 
 91 int main()
 92 {
 93     preset();
 94     while(1) {
 95         scanf("%s", s+1);
 96         if(s[1]=='0') break;
 97         int l = strlen(s+1);
 98         tot = 0;
 99         root = build(1,l);
100         memset(have, 0, sizeof(have));
101         for(int i = 1; i<=l; i++)
102             if(kind[s[i]]==1)
103                 have[s[i]] = 1;
104         
105         ans = 1, dfs('p');
106         if(ans) printf("tautology\n");
107         else printf("not\n");
108     }
109     return 0;
110 }

View Code

后来知道了前缀表达式的正确写法。

假设一个式子是KAB的形式，K是运算符，A，B是子运算式。

假设A和B能够从前到后依次处理每个字符，那么KAB也可以先处理K，再从前到后处理A，再从前到后处理B，那么KAB也可以从前到后处理每个字符了。

初始条件很显然，用数学归纳法就ok了。

所以用一个指针pos，每次O(n)就可以处理了。

很简洁，只有900b：

 1 #include <iostream>
 2 #include <cstdio>
 3 #include <string>
 4 #include <cstring>
 5 #include <algorithm>
 6 #include <cmath>
 7 using namespace std;
 8 
 9 char s[10010];
10 int pos,val,id[200];
11 const int var[5] = {'p','q','r','s','t'};
12 
13 int solve()
14 {
15     int a,b,mem;
16     mem = ++pos;
17     if(s[pos]=='K' || s[pos]=='A' || s[pos]=='C' || s[pos]=='E')
18     {
19         a = solve()&1; b = solve()&1;
20     }
21     else if(s[pos]=='N') a = solve()&1;
22     switch(s[mem]) {
23         case 'K': return a & b;
24         case 'A': return a | b;
25         case 'N': return ~a;
26         case 'C': return (~a) | b;
27         case 'E': return (a==b)? 1:0;
28         default : return (val>>id[s[mem]])&1;
29     }
30 }
31 
32 int main()
33 {
34     for(int i = 0; i<5; i++) id[var[i]] = i;
35     while(1) {
36         scanf("%s", s+1);
37         if(s[1]=='0') break;
38         int flag = 1;
39         for(val = (1<<5)-1; flag && val>=0; val--) {
40             pos = 0;
41             if(!(solve()&1)) flag = 0;
42         }
43         printf("%s\n", flag? "tautology" : "not");
44     }
45     return 0;
46 }