codevs 2218 [CTSC1999] 补丁vs错误 dfs+二进制

题目：

http://codevs.cn/problem/2218/

暴搜+剪枝;

x & ~ ( 1 << i ) : 将集合x中的元素i去除;
( x & i ) == i , 判断i是否为x的子集 ;

教训：

            x=x&~ss[i].s4;
            x=x|ss[i].s3;
            dfs(tot+ss[i].tim,x);
            x=x|ss[i].s4;//可能把没减的也加上了;
            x=x&~ss[i].s3;

考虑用中间变量来解决；
(感谢loi_wzhd大佬 orz)；

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
using namespace std;

const int MAXN=101;
int n,m,ans=2147483647;
bool vis[400001];
struct hh
{
    int tim,s1,s2,s3,s4;
}ma[MAXN];

void dfs(int tot,int x)
{
    if(tot>=ans || vis[x]) return;//不加T五组，加了跑44ms;
    if(!x) {ans=tot;return;}

    vis[x]=1;
    for(int i=1;i<=m;i++)
    {
        int v;
        if( (ma[i].s1 & x)==ma[i].s1  &&  !(ma[i].s2 & x))
        {
            v=x&~ma[i].s4,v|=ma[i].s3;//需要一个中间变量;
            dfs(tot+ma[i].tim,v);
        }
    }

    vis[x]=0;
    return;
}

void solve()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        string s1,s2;
        scanf("%d",&ma[i].tim);
        cin>>s1>>s2;
        for(int j=0;j<n;j++)
        {
            if(s1[j]=='+') ma[i].s1^=1<<j;
            else if(s1[j]=='-') ma[i].s2^=1<<j;
        }
        for(int j=0;j<n;j++)
        {
            if(s2[j]=='+') ma[i].s3^=1<<j;
            else if(s2[j]=='-') ma[i].s4^=1<<j;
        }
    }

    dfs(0,(1<<n)-1);
    cout<<(ans==2147483647?0:ans);
    return;
}

int main()
{
    solve();
    return 0;
}