CF53E Dead Ends

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;
}
原文地址:https://www.cnblogs.com/Troverld/p/14597391.html