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