码迷,mamicode.com
首页 > 其他好文 > 详细

careercup-递归和动态规划 9.11

时间:2014-12-09 11:59:20      阅读:263      评论:0      收藏:0      [点我收藏+]

标签:style   blog   http   io   ar   color   os   sp   for   

9.11 给定一个布尔表达式,由0、1、&、|和^等符号组成,以及一个想要的布尔结果result,实现一个函数,算出有几种括号的放法可使该表达式得出result值。

解法:

跟其他递归问题一样,此题的关键在于找出问题与子问题之间的关系。

假设函数int f(expression,result)会返回所有值为return的有效表达式的数量。我们想要算出f(1^0|0|1,true)(也即,给表达式1^0|0|1加括号使其求值为true的所有方式)。每个加括号的表达式最外层肯定有一对括号。因此,我们可以这么做:

bubuko.com,布布扣

也就是说,我们可以迭代整个表达式,将每个运算符当作第一个要加括号的运算符。

现在,又该如何计算这些内层的表达式呢,比如f((1^0)|(0|1),true)?很简单,要让这个表达式的值为true,左半部分和右半部分必有一位true。因此,这个表达式分解如下:

f((1^0) | (0|1),true)= f(1^0,true)* f(0|1,true) +

            f(1^0,false)* f(0|1,true)+

            f(1^0,true) * f(0|1,false)

对每个布尔表达式,都可以进行类似的分解:

bubuko.com,布布扣

对false结果,我们也可以执行非常类似的操作:

bubuko.com,布布扣

至此,要解决这个问题,只需反复套用这些递归关系即可。

C++实现代码:

#include<iostream>
#include<string>
using namespace std;

int f(string exp,bool result,int s,int e)
{
    if(s==e)
    {
        if(exp[s]==1&&result)
            return 1;
        else if(exp[s]==0&&!result)
            return 1;
        else
            return 0;
    }
    int c=0;
    int i;
    if(result)
    {
        for(i=s+1; i<=e; i+=2)
        {
            if(exp[i-1]==&)
            {
                c+=f(exp,true,s,i-1)*f(exp,true,i+1,e);
            }
            else if(exp[i]==|)
            {
                c+=f(exp,true,s,i-1)*f(exp,false,i+1,e);
                c+=f(exp,false,s,i-1)*f(exp,true,i+1,e);
                c+=f(exp,true,s,i-1)*f(exp,true,i+1,e);
            }
            else if(exp[i]==^)
            {
                c+=f(exp,true,s,i-1)*f(exp,false,i+1,e);
                c+=f(exp,false,s,i-1)*f(exp,true,i+1,e);
            }
        }
    }
    else
    {
        for(i=s+1;i<=e;i+=2)
        {
            if(exp[i-1]==&)
            {
                c+=f(exp,true,s,i-1)*f(exp,false,i+1,e);
                c+=f(exp,false,s,i-1)*f(exp,true,i+1,e);
                c+=f(exp,false,s,i-1)*f(exp,false,i+1,e);
            }
            else if(exp[i]==|)
            {
                c+=f(exp,false,s,i-1)*f(exp,false,i+1,e);
            }
            else if(exp[i]==^)
            {
                c+=f(exp,true,s,i-1)*f(exp,true,i+1,e);
                c+=f(exp,false,s,i-1)*f(exp,false,i+1,e);
            }
        }
    }
    return c;
}

int main()
{
    string str="1^0|0&1&0|1^1^0|1|1&0&1^0|0&1&0|1^1^0|1|1&0^1^0|0&1&0|1^1^0|1|1&0^1^0|0&1&0|1^1^0|1|1&0|1|0|0";
    cout<<f(str,true,0,4)<<endl;
}

虽然这么做可行,但不是很有效,对于同一个exp的值,他会重复算f(exp)很多次。

要解决这个问题,我们可以运用动态规划,缓存不同表达式的结果。注意,我们需要根据expression和result进行缓存。

dp C++实现代码:

#include<iostream>
#include<string>
#include<map>
using namespace std;

int f(string exp,bool result,int s,int e,map<string,int> &mp)
{
    string key=""+result+s+e;
    if(mp.find(key)!=mp.end())
        return mp[key];
    if(s==e)
    {
        if(exp[s]==1&&result)
            return 1;
        else if(exp[s]==0&&!result)
            return 1;
        else
            return 0;
    }
    int c=0;
    int i;
    if(result)
    {
        for(i=s+1; i<=e; i+=2)
        {
            if(exp[i-1]==&)
            {
                c+=f(exp,true,s,i-1,mp)*f(exp,true,i+1,e,mp);
            }
            else if(exp[i]==|)
            {
                c+=f(exp,true,s,i-1,mp)*f(exp,false,i+1,e,mp);
                c+=f(exp,false,s,i-1,mp)*f(exp,true,i+1,e,mp);
                c+=f(exp,true,s,i-1,mp)*f(exp,true,i+1,e,mp);
            }
            else if(exp[i]==^)
            {
                c+=f(exp,true,s,i-1,mp)*f(exp,false,i+1,e,mp);
                c+=f(exp,false,s,i-1,mp)*f(exp,true,i+1,e,mp);
            }
        }
    }
    else
    {
        for(i=s+1;i<=e;i+=2)
        {
            if(exp[i-1]==&)
            {
                c+=f(exp,true,s,i-1,mp)*f(exp,false,i+1,e,mp);
                c+=f(exp,false,s,i-1,mp)*f(exp,true,i+1,e,mp);
                c+=f(exp,false,s,i-1,mp)*f(exp,false,i+1,e,mp);
            }
            else if(exp[i]==|)
            {
                c+=f(exp,false,s,i-1,mp)*f(exp,false,i+1,e,mp);
            }
            else if(exp[i]==^)
            {
                c+=f(exp,true,s,i-1,mp)*f(exp,true,i+1,e,mp);
                c+=f(exp,false,s,i-1,mp)*f(exp,false,i+1,e,mp);
            }
        }
    }
    mp[key]=c;
    return c;
}

int fDP(string exp,bool result,int s,int e)
{
    map<string,int> dp;
    return f(exp,result,s,e,dp);
}
int main()
{
    string str="1^0|0&1&0|1^1^0|1|1&0&1^0|0&1&0|1^1^0|1|1&0^1^0|0&1&0|1^1^0|1|1&0^1^0|0&1&0|1^1^0|1|1&0|1|0|0";
    cout<<fDP(str,true,0,4)<<endl;
}

 

careercup-递归和动态规划 9.11

标签:style   blog   http   io   ar   color   os   sp   for   

原文地址:http://www.cnblogs.com/wuchanming/p/4152783.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!