题解 CF53E 【Dead Ends】

题意：

　　给一个n(n<=10)个节点的无向图,图里面有m条边，以这m条边构建生成树，求所有生成树中只含有k个度数为1的点的方案数。

题解：

　　看见这个数量级就一定会想到状态压缩dp...

那让我们设计一下状态：

dp[i][j] 表示生成树的状态为i时，所含的度数为1的点的状态j的方案数。

　　那么就可以进行状态转移了，每次有两种更新方式：

1：加入一条边(也就是一个新点)到原来度数为1的点，相当于替换了。

2：把边加到一个度数不为1的节点上。

时间复杂度：

O（能过）

废话少说上代码：

#include<bits/stdc++.h>
using namespace std;
const int maxs=(<<)+;
vector<int> mapp[];
int dp[maxs][maxs],cnt1[maxs];
int n,m,k;
void init(){
    for(int i=;i<=maxs;i++)
        for(int k=;k<+;k++)
            if(i&(<<k))
               cnt1[i]++;
}
int main(){
    init();
    scanf("%d%d%d",&n,&m,&k);
    int x,y;
    for(int i=;i<=m;i++){
        scanf("%d%d",&x,&y); x--;y--;
        mapp[x].push_back(y);mapp[y].push_back(x);
    }
    for(int i=;i<=(<<n)-;i<<=) dp[i][i]=;
    for(int i=;i<=(<<n)-;i++)
        for(int j=i;j;--j&=i)
            if(dp[i][j])
                for(int e=;e<n;e++)
                    if(i&(<<e))
                        for(int r=;r<mapp[e].size();r++){
                            int to=mapp[e][r],now;
                            if(~i&(<<to)){
                                if(cnt1[i]==) now=i|(<<to);
                                else now=j&~(<<e)|(<<to);
                                if(!(now>>to+)) dp[i|(<<to)][now]+=dp[i][j];
                            }
                        }
    long long ans=;
    for(int i=;i<=(<<n)-;i++)
        if(cnt1[i]==k)
           ans+=dp[(<<n)-][i];
    printf("%lld",ans);
    return ;
}