L.CF53E Dead Ends
\(n\leq 10\),我还是第一次见到这么小的状压……
我们设\(f[S][s]\)表示:将集合\(S\)内的点连成一棵树,且集合\(s\)里的节点是叶子节点的方案数。
则有\(f[S\cup\{j\}][\{s\setminus i\}\cup\{j\}]+=f[S][s],i\in S,j\notin S,\exists(i,j).\)。
但是,一棵树可能会被不同的顺序构造出来。因此有\(f[S][s]\)应该除以\(|s|\)。
代码:
#include<bits/stdc++.h>
using namespace std;
#define int long long
int n,m,p,f[1<<11][1<<11],lim,res;
bool g[11][11];
signed main(){
scanf("%lld%lld%lld",&n,&m,&p),lim=(1<<n);
for(int i=1,x,y;i<=m;i++)scanf("%lld%lld",&x,&y),x--,y--,g[x][y]=g[y][x]=true,f[(1<<x)|(1<<y)][(1<<x)|(1<<y)]=2;
for(int S=1;S<lim;S++)for(int s=S;s;s=(s-1)&S){
f[S][s]/=__builtin_popcount(s);
for(int i=0;i<n;i++){
if(!(S&(1<<i)))continue;
int t=s&((lim-1)^(1<<i));
for(int j=0;j<n;j++){
if(S&(1<<j))continue;
if(!g[i][j])continue;
f[S|(1<<j)][t|(1<<j)]+=f[S][s];
}
}
}
for(int i=0;i<lim;i++)if(__builtin_popcount(i)==p)res+=f[lim-1][i];
printf("%lld\n",res);
return 0;
}