HDU 4413 Logical Expression（BFS）

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=4413

题意：一个表达式（表达式含有变量、或、非、与）含有n个变量，给出这n个变量的所有组合(2^n)以及每个组合对应的表达式的结果。

求出表达式，要求表达式第一长度最短，第二字典序最小。

思路：（1）由于最后的式子由多个乘积组成，所有首先求出所有满足题意乘积项。使用非和与，n个变量的所有乘积项有3^n-1种组合。这些组合中第一要删掉不满足真值表的，第二要删掉这个乘积项去掉一些后仍然是满足的；

（2）在（1）中求得得一些中DFS得到答案。

 

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <vector>
#define int64 __int64
using namespace std;

struct node
{
    string s;
    int64 k;

    node(){}
    node(string _s,int64 _k)
    {
        s=_s;
        k=_k;
    }
};

int64 ans;
int n,a[5],b[5],used[5];
vector<node> V;

void update(int cnt)
{
    string s="";
    int i,j,x=0,y=0;
    for(i=0;i<cnt;i++) if(b[i]==0)
    {
        s+='-';
        s+=('A'+a[i]);
    }
    for(i=0;i<cnt;i++) if(b[i]==1)
        s+=('A'+a[i]);
    for(i=0;i<cnt;i++) if(b[i]==1) x|=1<<a[i];
    memset(used,0,sizeof(used));
    for(i=0;i<cnt;i++) used[a[i]]=1;
    for(i=0;i<n;i++) if(!used[i]) y|=1<<i;
    int64 p=1;
    int64 temp=p<<x;
    for(j=y;j;j=(j-1)&y) temp|=p<<(x|j);
    if((temp&ans)==temp) V.push_back(node(s,temp));
}

void DFS(int cnt,int dep)
{
    if(dep==n)
    {
        if(cnt) update(cnt);
        return;
    }
    DFS(cnt,dep+1);
    a[cnt]=dep;
    b[cnt]=0;
    DFS(cnt+1,dep+1);
    a[cnt]=dep;
    b[cnt]=1;
    DFS(cnt+1,dep+1);
}

int cmp(node a,node b)
{
    return a.s<b.s;
}

int len[500],sumLen[500],id[500],maxlen,cnt;
int64 q[500];

void init()
{
    int i,j=1;
    string s1,s2;
    for(i=1;i<V.size();i++)
    {
        s1=V[i].s;
        s2=V[j-1].s;
        if(s1.substr(0,s2.length())==s2) continue;
        V[j++]=V[i];
    }
    V.resize(j);
    sumLen[V.size()]=0;
    q[V.size()]=0;
    for(i=V.size()-1;i>=0;i--)
    {
        len[i]=V[i].s.length();
        sumLen[i]=sumLen[i+1]+len[i];
        q[i]=q[i+1]|V[i].k;
    }
}

int DFS1(int tot,int cur,int curLen,int64 curAns)
{
    if(curAns==ans)
    {
        cnt=tot;
        return 1;
    }
    if(cur==V.size()) return 0;
    if((curAns|q[cur])<ans) return 0;
    if(len[cur]+curLen+1<=maxlen&&(curAns&V[cur].k)!=V[cur].k)
    {
        id[tot]=cur;
        if(DFS1(tot+1,cur+1,len[cur]+curLen+1,curAns|V[cur].k))
             return 1;
    }
    return DFS1(tot,cur+1,curLen,curAns);
}

void print()
{
    int i;
    cout<<V[id[0]].s;
    for(i=1;i<cnt;i++) cout<<"+"<<V[id[i]].s;
    puts("");
}

void deal()
{
    V.clear();
    DFS(0,0);
    sort(V.begin(),V.end(),cmp);
    init();
    for(maxlen=1;;maxlen++) if(DFS1(0,0,-1,0))
    {
        print();
        return;
    }
}

int main()
{
    while(scanf("%d",&n),n)
    {
        int i,j,k,t;
        int64 p=1;
        ans=0;
        for(i=0;i<(1<<n);i++)
        {
            k=0;
            for(j=0;j<n;j++)
            {
                scanf("%d",&t);
                if(t)  k|=(1<<j);
            }
            scanf("%d",&t);
            if(t) ans|=(p<<k);
        }
        if(!ans)
        {
            puts("-AA");
            continue;
        }
        deal();
    }
    return 0;
}