• 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;
    }
    
  • 相关阅读:
    MyEclipse 2016CI破解版for Mac
    关于Mac系统中my sql 和navicat for mysql 的连接问题。
    二分总结
    递推总结
    区间DP学习笔记 6/20
    搜索考试
    模板整理
    防线 2020/3/31
    JS 循环遍历JSON数据
    pm am 12小时格式化
  • 原文地址:https://www.cnblogs.com/Troverld/p/14597391.html
Copyright © 2020-2023  润新知