博客
关于我
BZOJ 3812 主旋律
阅读量:283 次
发布时间:2019-03-01

本文共 1822 字,大约阅读时间需要 6 分钟。

题目链接

题解

考虑求非强连通子图的数量,假设为 g g g,那么答案就是 2 m − g 2^m-g 2mg。现在考虑求 g g g

假设 f s f_s fs表示用 s s s这些点能构成的强连通图的个数, g s g_s gs表示用 s s s这些点能构成的非强连通图的方案数,其中构成 i i i个强连通分量则对 g s g_s gs的贡献为 ( − 1 ) i (-1)^i (1)i。容易发现

g s = f s − ∑ t ⊂ s , u ∈ t g t f s − t g_s=f_s-\sum_{t\subset s,u\in t} g_tf_{s-t} gs=fsts,utgtfst
那么
f s = 2 e s − ∑ t ⊆ s , t ̸ = ∅ 2 e s − t + e s − t , t g s f_s=2^{e_s}-\sum_{t\subseteq s,t\not= \varnothing}2^{e_{s-t}+e_{s-t,t}}g_s fs=2ests,t̸=2est+est,tgs
容易发现, f s f_s fs此时需要的是不包含 f s f_s fs g s g_s gs,因此 g s g_s gs在求出 f s f_s fs之前是不能 + f s +f_s +fs的。

代码

#include 
int read(){ int x=0,f=1; char ch=getchar(); while((ch<'0')||(ch>'9')) { if(ch=='-') { f=-f; } ch=getchar(); } while((ch>='0')&&(ch<='9')) { x=x*10+ch-'0'; ch=getchar(); } return x*f;} const int maxn=15;const int maxm=1<
=mod) { pow[i]-=mod; } } f[0]=g[0]=1; for(int s=1; s<=full; ++s) { int sk=s^lowbit(s); for(int t=sk; t; t=sk&(t-1)) { g[s]-=1ll*f[s^t]*g[t]%mod; if(g[s]<0) { g[s]+=mod; } } for(int i=1; i<=n; ++i) { if((1<<(i-1))&s) { in[s]+=ecnt[s][i]; } } f[s]+=pow[in[s]]; for(int t=s; t; t=s&(t-1)) { int e=0; for(int i=1; i<=n; ++i) { if((1<<(i-1))&t) { e+=ecnt[s^t][i]; } } f[s]-=1ll*pow[e+in[s^t]]*g[t]%mod; if(f[s]<0) { f[s]+=mod; } } g[s]+=f[s]; if(g[s]>=mod) { g[s]-=mod; } } printf("%d\n",f[full]); return 0;}

转载地址:http://scwo.baihongyu.com/

你可能感兴趣的文章
Luogu2973:[USACO10HOL]赶小猪
查看>>
mabatis 中出现&lt; 以及&gt; 代表什么意思?
查看>>
Mac book pro打开docker出现The data couldn’t be read because it is missing
查看>>
MAC M1大数据0-1成神篇-25 hadoop高可用搭建
查看>>
mac mysql 进程_Mac平台下启动MySQL到完全终止MySQL----终端八步走
查看>>
Mac OS 12.0.1 如何安装柯美287打印机驱动,刷卡打印
查看>>
MangoDB4.0版本的安装与配置
查看>>
Manjaro 24.1 “Xahea” 发布!具有 KDE Plasma 6.1.5、GNOME 46 和最新的内核增强功能
查看>>
mapping文件目录生成修改
查看>>
MapReduce程序依赖的jar包
查看>>
mariadb multi-source replication(mariadb多主复制)
查看>>
MariaDB的简单使用
查看>>
MaterialForm对tab页进行隐藏
查看>>
Member var and Static var.
查看>>
memcached高速缓存学习笔记001---memcached介绍和安装以及基本使用
查看>>
memcached高速缓存学习笔记003---利用JAVA程序操作memcached crud操作
查看>>
Memcached:Node.js 高性能缓存解决方案
查看>>
memcache、redis原理对比
查看>>
memset初始化高维数组为-1/0
查看>>
Metasploit CGI网关接口渗透测试实战
查看>>