4966 - Normalized Form

http://livearchive.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=2967

要先找到最深的深度，然后用奇偶性来标识是做交运算还是补运算。奇数表示做叫运算，偶数表示补运算。

然后注意的一点就是要用全局变量i，这样就解决了重复算的问题。值得注意。

#include<iostream>

#include<string.h>

#include<stdio.h>

#include<algorithm>

using namespace std;

char s[40000];

char s2[3]="()";

int i;

int solve(int k,int id)

{

    int ans=id;

    for(i=++k;;i++)

    {



        if(s[i]==')')return ans;

        else

        if(s[i]=='T')

        {

        if(id)ans&=1;

        else

        ans|=1;

        }

        else

        if(s[i]=='F')

        {

        if(id)ans&=0;

        else

        ans|=0;

        }

        else

        if(s[i]=='(')

        {

        if(id)ans&=solve(i,id^1);

        else

        ans|=solve(i,id^1);

        }

    }

}





int main()

{

    int test=1;

    while(cin>>s)

    {

        int ans=0;

        int temp=0;

        if(!strcmp(s,s2))break;

        int len=strlen(s);

        for(int j=0;j<len;j++)

        {

            if(s[j]=='(')temp++;

            else

            if(s[j]==')')

                ans=max(ans,temp),temp--;

        }



        printf("%d. ",test++);

        i=0;

        temp=solve(0,ans%2);

        if(temp==0)

            cout<<"false"<<endl;

        else

            cout<<"true"<<endl;

    }

    //system("pause");

    return 0;

}