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