SCU 4439 Vertex Cover （dfs +剪枝 一般图的点覆盖）

思路：

这题的数据啊。。根本没有奇数环的吗？怎么那么多人用二分图做的。。
然后我听别人说一般图的点覆盖问题是npc的。。而且自己也构建出奇数环的情况怼烂了自己的二分图。。

正解是根据题目的 $min(a_i,b_i) \leq 30$ 的条件dfs判断。因为最多也就选30个点。。。
一开始每个点都不选，然后对每个点分选与不选的情况，如果选了这个点，那没什么好说的，直接dfs下一层就好，如果不选这个点那么与这个点相邻的点就都得选了。（注意消除vis状态）

#include <iostream>
#include <cstdio>
#include <queue>
#include <string.h>
#include <algorithm>
#define inf 0x3f3f3f3f
typedef long long int lli;
using namespace std;
const int mod = 1e9+7;
const int maxn = 550;
struct edge{
    int to,v,next;
}ed[6000000];
int head[maxn],cnte;
int vis[550];
void ae(int x,int y){
    ed[cnte].to = y;
    ed[cnte].next = head[x];
    head[x] = cnte++;
}
int ans,n,m,a,b,tt;
void dfs(int x,int tans){
    if(tans >= ans)return;
    if(vis[x]){
        dfs(x+1,tans);
        return;
    }
    if(x > tt){
        ans = min(ans,tans);
        return;
    }
    vis[x] = true;
    dfs(x+1,tans+1);
    vis[x] = false;
    for(int i = head[x];~i;i=ed[i].next){
        int v= ed[i].to;
        vis[v]++;
        if(vis[v] == 1){
            tans++;
        }
    }
    dfs(x+1,tans);
    for(int i = head[x];~i;i=ed[i].next){
        int v= ed[i].to;
        vis[v]--;
    }
}

int main(){
    while(~scanf("%d%d",&n,&m)){
        ans = 20000;
        memset(head,-1,sizeof(head));cnte = 0;
        memset(vis,0,sizeof(vis));
        for(int i = 1;i <= m;i++){
            scanf("%d%d",&a,&b);
            if(a>b) swap(a,b);
            ae(a,b);ae(b,a);
        }
        tt = min(30,n);
        dfs(1,0);
        printf("%d\n",ans);
    }
}