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;
}