Tautology（poj3295）（DFS）

 

本题中最多5个命题变项：p,q,r,s,t

每个有0,1两种取值，所以总共32种情况，分别枚举即可。

对于每种情况，计算表达式的值，如果有结果为0的则输出not

难点在于如何计算表达式的值，我们采用递归的方法，把表达式分为一或两个子表达式，并把参数end（本表达式的结束位置）传给上一层，一遍上一层获取第二个子表达式的起始位置。最后通过两个子表达式的结束位置，得到整个表达式的结束位置。

end是本表达式的最后一位的下标，即本表达式的长度减一。

所以 end = 2 + end1 + end2;

#include <iostream>
#include <cstdio>
#include <string>
#include <cstdlib>
using namespace std;
 
string p;
bool v[5];
 
bool getValue(string p, int &end)
{
    bool a, b;
    int end1, end2;
 
    if (p[0] >= 'p')
    {
        end = 0;
        return v[p[0] - 'p'];
    }
    if (p[0] == 'N')
    {
        a = getValue(p.substr(1, p.length() - 1), end1);
        end = end1 + 1;
        return !a;
    }
    a = getValue(p.substr(1, p.length() - 1), end1);
    b = getValue(p.substr(end1 + 2, p.length() - 1), end2);
    end = 2 + end1 + end2;
    switch (p[0])
    {
    case 'K':
        return a && b;
    case 'A':
        return a || b;
    case 'C':
        return !a || b;
    case 'E':
        return !(a ^ b);
    }
    return 0;
}
 
int main()
{
    bool ok;
 
    while (getline(cin, p) && p[0] != '0')
    {
        ok = true;
        for (int i = 0; i < 32; i++)
        {
            for (int j = 0; j < 5; j++)
                v[j] = (i >> j) % 2;
            int x;
            if (!getValue(p, x))
            {
                ok = false;
                break;
            }
        }
        if (ok)
            cout << "tautology" << endl;
        else
            cout << "not" << endl;
    }
    return 0;
}

 转自http://www.cnblogs.com/rainydays/archive/2011/02/01/1948678.html