Dead Ends

最新推荐文章于 2024-04-26 11:14:26 发布

C202044zxy

最新推荐文章于 2024-04-26 11:14:26 发布

阅读量319

点赞数

分类专栏：状压dp 计数dp

本文链接：https://blog.csdn.net/C202044zxy/article/details/103168089

版权

状压dp 同时被 2 个专栏收录

26 篇文章

订阅专栏

计数dp

4 篇文章

订阅专栏

本文探讨了 Dead Ends 题目，通过状压动态规划的方法来解决。作者指出，当n小于等于10时，可以尝试使用状压思路。然而，简单的状压会存在重复计算的问题，包括顺序不同但实质相同的方案以及不同根节点导致的方案重复。为避免这种情况，文章提出了一种策略，即规定状态s2的最高位只能是最新加入的节点。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

一、题目

点此看题

二、解法

看到 $n\leq 10$ ，自然而然第想到了状压。
定义 $d p [s 1] [s 2]$ 为联通情况为 $s 1$ ，叶子的情况为 $s 2$ ，初始化 $dp[2^{i-1}][2^{i-1}]$ 为 $1$ ，然后转移也不难。
但是这道题真的这么简单吗？当然不是，考虑下面一种情况。
在这里插入图片描述
所以状压会有副作用，顺序不同的同种方案会被多次计算，不仅如此，不同的根会导致相同的方案多次计算，所以我们要去规定一种计算法则，这里我们规定 $s 2$ 的最高位只能是最新加入的。

#include <cstdio>
#include <vector>
using namespace std;
#define LL long long
int read()
{
    int x=0,flag=1;char c;
    while((c=getchar())<'0' || c>'9') if(c=='-') flag=-1;
    while(c>='0' && c<='9') x=(x<<3)+(x<<1)+(c^'0'),c=getchar();
    return x*flag;
}
int n,m,k,p,tot,f[15],cnt[1<<10];
LL dp[1<<10][1<<10],ans;
struct edge
{
	int v,next;
}e[205];
void init()
{
	for(int s=1;s<=p;s++)
	{
		for(int i=1;i<=n;i++)
			if(s&(1<<i-1))
				cnt[s]++;
	}
	for(int i=1;i<=n;i++)//初始化 
		dp[(1<<i-1)][(1<<i-1)]=1;
}
int main()
{
	n=read();m=read();k=read();
	for(int i=1;i<=m;i++)
	{
		int u=read(),v=read();
		e[++tot]=edge{v,f[u]},f[u]=tot;
		e[++tot]=edge{u,f[v]},f[v]=tot; 
	}
	p=(1<<n)-1;
	init();
	for(int s1=1;s1<=p;s1++)
		for(int s2=s1;s2;--s2&=s1)//要保证s2是s1的子集 
		{
			if(dp[s1][s2])
			{
				for(int i=1;i<=n;i++)
					if(s1&(1<<i-1))
					{
						for(int j=f[i];j;j=e[j].next)
						{
							int v=e[j].v,now=0;
							if(s1&(1<<v-1)) continue;
                            if(cnt[s1]==1) now=s1|(1<<v-1);//特判只有根（度数为0） 
                            else now=s2&~(1<<i-1)|(1<<v-1);//取反后并，消掉该位 
							if(!(now>>v)) dp[s1|(1<<v-1)][now]+=dp[s1][s2];
						}
					}
			}
		}
	for(int s=1;s<=p;s++)
	{
		if(cnt[s]==k)
			ans+=dp[p][s];
	} 
	printf("%lld\n",ans);
}