[SCU4439] Vertex Cover [2015 Sichuan Province Contest Final D]

题意

给出300个点，求最小点覆盖，对每一条边存在限制：至少一个端点是前30个点。

题解

对前30个点的状态进行搜索，加上可行性剪枝和最优性剪枝。
当前状态要求得已用点个数和还需要多少点才能得到一个覆盖，这两个点数的和大于已有答案则不继续搜索，这是最优性剪枝。
如果一个点周围的点有没有被选的，那么这个点必选，不去搜索这个点不选的状态，这是可行性剪枝。
另外，用结构体写的边表T了。。被水淹没、不知所措。。

代码

/****************************************\* Author : ztx* Title  : D - Vertex Cover* ALG    : 连二分图匹配都不用，直接搜索+剪枝* CMT    :* Time   :\****************************************/#include <cstdio>#define Rep(i,l,r) for(i=(l);i<=(r);i++)#define rep(i,l,r) for(i=(l);i< (r);i++)#define Rev(i,r,l) for(i=(r);i>=(l);i--)#define rev(i,r,l) for(i=(r);i> (l);i--)typedef long long ll ;typedef double lf ;int CH , NEG ;template <typename TP>inline void read(TP& ret) {    ret = NEG = 0 ; while (CH=getchar() , CH<'!') ;    if (CH == '-') NEG = true , CH = getchar() ;    while (ret = ret*10+CH-'0' , CH=getchar() , CH>'!') ;    if (NEG) ret = -ret ;}template <typename TP>inline void readc(TP& ret) {    while (ret=getchar() , ret<'!') ;    while (CH=getchar() , CH>'!') ;}template <typename TP>inline void reads(TP *ret) {    ret[0]=0;while (CH=getchar() , CH<'!') ;    while (ret[++ret[0]]=CH,CH=getchar(),CH>'!') ;    ret[ret[0]+1]=0;}#include <cstring>#include <vector>#define  maxn  510LL#define  maxm  124760LL/*struct FST { int to, next ; } e[maxm<<1] ;int star[maxn] , tote ;inline void AddEdge(int u,int v) {    e[++tote].to=v;e[tote].next=star[u];star[u]=tote;    e[++tote].to=u;e[tote].next=star[v];star[v]=tote;}*/std::vector<int> e[maxn] ;int n , m , ans , tot ;int needed[maxn] ;int p , v ;void dfs(int now,int used) {    if (used > ans) return ;    if (now > tot) {        ans = used ;        return ;    }    if (needed[now]) dfs(now+1,used) ;    else {        needed[now] ++ ;        dfs(now+1,used+1) ;        needed[now] -- ;        rep (p,0,e[now].size()) {            v = e[now][p] ;            if (!needed[v]) used ++ ;            needed[v] ++ ;        }        dfs(now+1,used) ;        rep (p,0,e[now].size()) {            v = e[now][p] ;            needed[v] -- ;            if (!needed[v]) used -- ;        }/*        for (int p=star[now],v=e[p].to;p;p=e[p].next) {            if (!needed[v]) used ++ ;            needed[v] ++ ;        }        dfs(now+1,used) ;        for (int p=star[now],v=e[p].to;p;p=e[p].next) {            needed[v] -- ;            if (!needed[v]) used -- ;        }*/    }}int main() {int i , u , v ;//  #define READ    #ifdef  READ        freopen(".in" ,"r",stdin ) ;        freopen(".out","w",stdout) ;    #endif    while (scanf("%d%d", &n, &m) != EOF) {        Rep (i,1,n) needed[i] = 0 ,//star[i]            e[i].clear() ;        //tote = 1 ;        ans = m , tot = n ;        if (n < ans) ans = n ;        if (tot > 30) tot = 30 ;        Rep (i,1,m) {            read(u), read(v) ;// AddEdge(u, v) ;            e[u].push_back(v) ;            e[v].push_back(u) ;        }        dfs(1,0) ;        printf("%d\n", ans) ;    }    #ifdef  READ        fclose(stdin) ; fclose(stdout) ;    #else        getchar() ; getchar() ;    #endif    return 0 ;}