[清华集训2012]串珠子

CXVII.[清华集训2012]串珠子

如果直接暴力上状压进行计数是会重复计算的;那么怎样不重不漏地计数呢?

我们发现,要求出连通图的数量是比较难的;但是要求出非联通图的数量是比较简单的,因为我们可以祭出套路。

我们设 fi 表示 i 集合中所有图的数量(不管联通与否)。再设 gi 表示非联通图的数量,hi 表示连通图的数量。

则显然,必有 hi=figi

首先,fi显然是很好求出的;在gi中,我们可以考虑枚举ilowbit所在的连通块,然后就把它拆成一个 hj×fij了。

则时间复杂度O(3n)

代码:

#include<bits/stdc++.h>
using namespace std;
const int mod=1e9+7;
int n,m,a[20][20],f[1<<20],g[1<<20],h[1<<20];
//f:all possible situations
//g:all invalid situations
//h:all valid situations
int main(){
	scanf("%d",&n),m=1<<n;
	for(int i=0;i<n;i++)for(int j=0;j<n;j++)scanf("%d",&a[i][j]);
	f[0]=1;
	for(int i=1;i<m;i++){
		f[i]=f[i^(i&-i)];
		for(int j=__builtin_ctz(i)+1;j<n;j++)if(i&(1<<j))f[i]=1ll*f[i]*(a[j][__builtin_ctz(i)]+1)%mod;
	}
	for(int i=1;i<m;i++){
		for(int U=i^(i&-i),V=U;V;V=(V-1)&U)(g[i]+=1ll*h[i^V]*f[V]%mod)%=mod;
		h[i]=(f[i]-g[i]+mod)%mod;
	}
	printf("%d\n",h[m-1]);
	return 0;
}

posted @   Troverld  阅读(43)  评论(0编辑  收藏  举报
编辑推荐:
· go语言实现终端里的倒计时
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
阅读排行:
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列1:轻松3步本地部署deepseek,普通电脑可用
· 按钮权限的设计及实现
· 【杂谈】分布式事务——高大上的无用知识?
点击右上角即可分享
微信分享提示