POJ 3295 Tautology 构造方法

    题目：http://poj.org/problem?id=3295

    题目大意：

    有一种叫做WFF N' PROOF的逻辑游戏，WFF的公式构造由以下几种字母构成：K, A, N, C, E, p, q, r, s, t. WFF公式由以下规则构成：

    (1) p,q,r,s,t是WFF公式。

    (2)如果w是WFF公式，那么Nw也是逻辑公式。如：p是WFF公式，那么Np也是WFF公式。

    (3)如果w，x是WFF公式，那么Kwx, Awx, Cwx, Ewx也是WFF公式，如：p, q是WFF公式，那么Kpq是WFF公式。 Kpq，Np是WFF公式，那么AKpqNp也是逻辑公式。

     针对w,x的赋值，WFF公式的取值如下：

Definitions of K, A, N, C, and E

w  x	Kwx	Awx	Nw	Cwx	Ewx
1  1	1	1	0	1	1
1  0	0	1	0	0	0
0  1	0	1	1	1	0
0  0	0	0	1	1	1

     已知一个WFF公式，如果针对任意的赋值WFF都是永真的，则打印tautology ，否则打印  not 。

     分析：只要针对p,q,r,s,t的任意取值，求出WFF公式的所有取值情况，就可以知道WFF是否是永真的了。分析WFF公式的运算顺序，我们把K,A,N,C,E当成符号，p,q,r,s,t 当做数据项，可以发现WFF公式可以看成一个符号前缀的公式。因此我们可以声明一个数据栈，从后面往前面遍历公式，如果碰到的是数据（p,q,r,s,t），则压入数据栈，如果是符号K,A,N,C,E，则弹出数据，进行运算，然后将运算结果压入数据栈，直到整个公式结束。返回数据栈栈顶元素，即是公式的值。

    代码如下：

#include <stdio.h>
#include <string>

#define ONLINE

void online()
{
#ifdef ONLINE
#else
	freopen("3295.in","r", stdin);
	freopen("3295.out","w", stdout);
#endif
}

const int LEN = 101;
const int K = 0;
const int A =1;
const int N = 2;
const int C = 3;
const int E = 4;

char WFF[LEN];
int value[5][4] = {{0,0,0,1},
                   {0,1,1,1},
                   {1,0,0,0},
                   {1,1,0,1},
                   {1,0,0,1}};  
int dvalue[5] = {0}; //记录p,q,r,s,t的赋值情况
int data[LEN];//数据栈
//计算WFF公式值
int calWFFvalue()
{
	int l = strlen(WFF);
	int dl = 0;

	for(int i = l-1; i >= 0; i --)
	{
		if (WFF[i] == 'K' )
		{
			int index = (data[dl-2] << 1) ^ data[dl-1];
			data[dl-2] = value[K][index];
			dl --;
		}
		else if (WFF[i] == 'A')
		{
			int index = (data[dl-2] << 1) ^ data[dl-1];
			data[dl-2] = value[A][index];
			dl --;
		}
		else if (WFF[i] == 'N')
		{
			data[dl-1] = value[N][data[dl-1]];
		}
		else if (WFF[i] == 'C')
		{
			int index = (data[dl-2] << 1) ^ data[dl-1];
			data[dl-2] = value[C][index];
			dl --;
		}
		else if (WFF[i] == 'E')
		{
			int index = (data[dl-2] << 1) ^ data[dl-1];
			data[dl-2] = value[E][index];
			dl --;
		}
		else
		{
			data[dl] = dvalue[WFF[i]- 'p'];
			dl ++;
		}
	}
	return data[0];
}
//遍历p,q,r,s,t的所有数据值，然后进行公式运算
int calvalue(int step)
{
	if (step == 5)
	{
		return calWFFvalue();
	}
	dvalue[step] = 0;
	if(calvalue(step+1) == 0)
		return 0;
	dvalue[step] = 1;
	if(calvalue(step+1) == 0)
		return 0;

	return 1;
}

void read()
{
	bool flag = true;

	while (flag)
	{
		scanf("%s", WFF);
		if (WFF[0] == '0')
		{
			break;
		}//end if
		
		if (calvalue(0) == 1)
		{
			printf("tautology\n");
		}
		else
			printf("not\n");
	}
}

int main()
{
	online();
	read();
	return 0;
}

     程序运行结果如下：

3295

Accepted

164K

0MS

C++

1742B

2011-08-01 16:49:37