Hello 2018 E. Logical Expression（dp）

题目链接：http://codeforces.com/contest/913/problem/E

神奇的dp啊？按照优先级依次更新，每一次迭代用F数组更新T数组，再用T数组更新E数组，然后下一轮对E加括号之后更新F，一直迭代到不能继续更新

这个dalao的博客中有更好的解释图：https://www.cnblogs.com/lzhAFO/p/8253180.html

代码：

#include<bits/stdc++.h>
using namespace std;
const int MAXN=300;
string E[MAXN],T[MAXN],F[MAXN];
bool cmp(string& a,string& b)
{
return a.size()!=b.size()?a.size()<b.size():a<b;
}
bool update(string &a,string b)
{
return a==""||cmp(b,a)?a=b,1:0;
}
void init()
{
F[240]="x";F[204]="y";F[170]="z";
while(1)
{
bool ok=false;
for(int i=0;i<256;i++)
{
if(E[i]!="")
ok|=update(F[i],"("+E[i]+")");
}
for(int i=0;i<256;i++)
{
if(F[i]!="")
ok|=update(F[i^255],"!"+F[i]);
}
for(int i=0;i<256;i++)
{
if(F[i]!="")
ok|=update(T[i],F[i]);
}
for(int i=0;i<256;i++)
{
if(T[i]!="")
{
for(int j=0;j<256;j++)
{
if(T[j]!="")
{
ok|=update(T[i&j],T[i]+"&"+T[j]);
}
}
}
}
for(int i=0;i<256;i++)
{
if(T[i]!="")
{
ok|=update(E[i],T[i]);
}
}
for(int i=0;i<256;i++)
{
if(E[i]!="")
{
for(int j=0;j<256;j++)
{
if(E[j]!="")
{
ok|=update(E[i|j],E[i]+"|"+E[j]);
}
}
}
}
if(!ok)
break;
}
}
char s[10];
int main()
{
//freopen("in.txt","r",stdin);
//freopen("out.txt","w",stdout);
int T;
init();
scanf("%d",&T);
while(T--)
{
int x=0;
scanf("%s",s);
for(int i=0;i<8;i++)
{
x|=(s[i]-'0')<<i;
}
cout<<E[x]<<endl;
}
return 0;
}