poj 3295 Tautology 构造法

1.第二次做了还是没有思路

2.我是从字符串的长度考虑，如果长度=1 ，就会怎样 长度=3 就有多少种可能，并且打算用递归的算法，把一个字符串分解成几小部分来解，但是问题来了，我应该怎么分解对于一个字符串，第一个肯定是运算符，但是后面应该怎么拆分，拆分后又怎么能够利用子式。这些都无法解决

3. 看别人的解题思路，既然这和运算符有关的，那就考虑栈操作，这不就是我们学栈这个数据结构时的例题吗

3.同时我没有考虑枚举，我只考虑了肯定状态 即PP PNP，这些相同的的肯定能出现结果，不同的肯定不能出结果（对于一个小的式子来说）

转自https://www.cnblogs.com/kuangbin/archive/2012/08/13/2636855.html

#include<stdio.h>
#include<iostream>
#include<string.h>
using namespace std;
const int MAXN=120;
int sta[MAXN];//数组实现堆栈
char str[MAXN];
int p,q,r,s,t;
void  DoIt()
{
    int top=0;
    int len=strlen(str);
    for(int i=len-1;i>=0;i--)
    {
        if(str[i]=='p') sta[top++]=p;
        else if(str[i]=='q') sta[top++]=q;
        else if(str[i]=='r') sta[top++]=r;
        else if(str[i]=='s') sta[top++]=s;
        else if(str[i]=='t') sta[top++]=t;
        else if(str[i]=='K')
        {
            int t1=sta[--top];
            int t2=sta[--top];
            sta[top++]=(t1&&t2);
        }
        else if(str[i]=='A')
        {
            int t1=sta[--top];
            int t2=sta[--top];
            sta[top++]=(t1||t2);
        }
        else if(str[i]=='N')
        {
            int t1=sta[--top];
            sta[top++]=(!t1);
        }
        else if(str[i]=='C')
        {
            int t1=sta[--top];
            int t2=sta[--top];
            if(t1==1&&t2==0)sta[top++]=0;
            else sta[top++]=1;
        }
        else if(str[i]=='E')
        {
            int t1=sta[--top];
            int t2=sta[--top];
            if((t1==1&&t2==1)||(t1==0&&t2==0)) sta[top++]=1;
            else sta[top++]=0;
        }
    }
}
bool solve()
{
    for(p=0;p<2;p++)
      for(q=0;q<2;q++)
        for(r=0;r<2;r++)
           for(s=0;s<2;s++)
              for(t=0;t<2;t++)
              {
                  DoIt();
                  if(sta[0]==0)return false;
              }
    return true;
}

int main()
{
    //freopen("in.txt","r",stdin);
    //freopen("out.txt","w",stdout);
    while(scanf("%s",&str))
    {
        if(strcmp(str,"0")==0)break;
        if(solve())printf("tautology\n");
        else printf("not\n");
    }
    return 0;
}

同样用栈poj1068 Parencodings

也是模拟运算符类似的

其中最妙的是相减可以得到两个右括号之间的左括号数目

#include <iostream>
#include <cstring>
#include<stdio.h>
#include <stack>
using namespace std;

int main()
{
    int t,kk[100];
    cin>>t;
    while(t--)
    {
        stack<int> b;
        int len,a,t=0,k;
        cin>>len;

        for(int i=1; i<=len; i++)
        {
            cin>>a;
            kk[i]=a-t;
            t=a;
            for(int j=0; j<kk[i]; j++)
            {
                b.push(0);
            }

            if(b.top()==0)
            {
                b.pop();
                b.push(1);
                cout<<1;
                if(i==len) cout<<endl;
                else cout<<" ";
            }
            else
            {
                int ans=0;
                while(b.top()!=0)
                {
                    ans+=b.top();
                    b.pop();
                }
                b.pop();
                b.push(ans+1);
                cout<<ans+1;
                if(i==len) cout<<endl;
                else cout<<" ";
            }
        }




    }
    return 0;
}