HDU 5305 Friends 剪枝 暴搜

点我看题

题意： 给出n个点 m条边 每条边可染色可不染色，定义一种方案为好方案 当 每个点相连的边染色和没染色的边数量相同 。 求方案数。

n最多为8 m最多为28。 所以往状压或者暴搜方面去想。
每条边可染色可不染色 所以最多有2^28种方案可选。
但是只有一半的边可以被染色 所以 方案数降低到2^14次方也就是4000万左右。
但是数据最多有100组 所以直接暴搜过不了。
感觉再加个剪枝就能过，于是对于每一次选择 就检测一下。。。
跑得飞快 只跑了46ms。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <queue>
using namespace std;
typedef long long LL;
const int MAX=100;
const int MOD=1e9+7;
class Edge{
public:
    int u,v;
};
Edge edge[MAX];
int rd[10];
int online[10];
int underline[10];
int ans=0;
int n,m;
bool check(){
    for(int i=1;i<=n;i++){
        if(online[i]!=underline[i]){
            return 0;
        }
    }
    return 1;
}
void dfs(int s,int h){
    if(m-h+s+1 < m/2){
        return ;
    }
    if(h>m){
        if(check()){
            ans++;
        }
        return ;
    }
    online[edge[h].u]++;
    online[edge[h].v]++;
    if(!(online[edge[h].u]>rd[edge[h].u]/2||online[edge[h].v]>rd[edge[h].v]/2))
        dfs(s+1,h+1);
    online[edge[h].u]--;
    online[edge[h].v]--;
    underline[edge[h].u]++;
    underline[edge[h].v]++;
    if(!(underline[edge[h].u]>rd[edge[h].u]/2||underline[edge[h].v]>rd[edge[h].v]/2))
        dfs(s+1,h+1);
    underline[edge[h].u]--;
    underline[edge[h].v]--;
}
int main(){
    int T;
    scanf("%d",&T);
    while(T--){
        ans=0;
        memset(rd,0,sizeof rd);
        memset(underline,0,sizeof underline);
        memset(online,0,sizeof online);
        scanf("%d %d",&n,&m);
        for(int i=1;i<=m;i++){
            scanf("%d %d",&edge[i].u,&edge[i].v);
            rd[edge[i].u]++;
            rd[edge[i].v]++;
        }
        dfs(0,1);
        cout<<ans<<endl;
    }
}