UVA565 Pizza Anyone? （状态压缩，搜索）

UVA565 Pizza Anyone?

大致题意：现在你要做一份披萨，有A到P共16种食材。现在给你1~12个人对这个披萨加入不同食材的条件（只包含想要和不想要两种）（加号是想要，减号是不想要，不一定包含所有食材），问你是否能选一些食材做披萨使得每一个人都存在一个条件是被满足了的（如果它不想要你也没放，这也算满足！）输出要求字典序最小！

---

---

$ solution: $

看到这道题应该想到的一些东西：

1. 状态压缩，用1和0表示加入这种食材或不加
2. 暴力搜索然后check，这一题范围太小了，只有16种食材，我们可以枚举放哪些（这样可以保证字典序）
3. 然后每一个人对某些食材是否需要也可以状态压缩（这里的状压见后文）（之前写错了，不是爆搜）

但这道题还有一个神奇的优化，因为我们知道上述的第三点是不好做到的，因为有可能某一个人对一些食材并没有要求，这样我们如何来状压使的我们可以清晰的描述每一个人的要求呢？我们其实不难想到，我们可以对想要这种食材和不想要这种食材分开处理，用两个二进制数来表示！第一个二进制数某一位上为1表示想要，第二个二进制数某一位上为1表示不想要，这样我们就可以把我们爆搜得出来的数和第一个与运算（可以得到他们想要某些食材的要求是否得到满足），然后取反（1变0,0变1）再和第二个数与运算（可以得到他们不想要某些食材的要求是否得到满足），这样即使某一些人对某些食材没有要求也不会影响我们的答案了！

---

---

$ code: $

#include<iostream>
#include<cstdio>
#include<iomanip>
#include<algorithm>
#include<cstring>
#include<cstdlib>
#include<ctime>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<set>

#define ll long long
#define db double
#define inf 0x7fffffff
#define rg register int

using namespace std;

char s[33];
int n,f,tot=1<<16;
int a[2][15];

int main(){
    //freopen(".in","r",stdin);
    //freopen(".out","w",stdout);
    while(scanf("%s",s)!=EOF){
        if(s[0]=='.'){ rg i,j;
            for(i=0;i<tot;++i){
                for(j=0;j<n;++j)
                    if(!(i&a[1][j])&&!(~i&a[0][j]))break;
                if(j==n){
                    printf("Toppings: ");
                    for(rg k=0;k<16;++k)
                        if(i&(1<<k))putchar('A'+k);
                    puts(""); break;
                }
            }if(i==tot)puts("No pizza can satisfy these requests.");
            n=0; for(i=0;i<15;++i)a[0][i]=a[1][i]=0;  continue;
        }
        for(rg i=0;s[i]!=';';++i){
            if(s[i]=='+')f=1;
            if(s[i]=='-')f=0;
            if(s[i]>='A'&&s[i]<='P')
                a[f][n]|=1<<(s[i]-'A');
        }++n;
    }
    return 0;
}