bzoj5153&uoj348 【WC2018】州区划分
五十分就是裸的O(3^n)子集dp。
$$f[S]*{w[S]^{p}}=\sum_{T \in S}{f[T]*{w[S-T]^{p}}}$$
然后我们考虑优化这个dp,我们发现这是子集卷积的形式,于是我们就可以用fwt来优化这个dp。
具体的,f[i][S]表示的是S的f值,当且仅当S中1的个数为i,别的f[i][S1]不正确也没有问题,因为我们转移时枚举的是1的个数,所以只有正确的转移会作出正确的贡献。然后就是一个裸的或or异或的fwt。
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <cmath>
#define N 2222222
#define mod 998244353
using namespace std;
int can[N],g[N],inv[N],cnt[N],f[][N],h[][N];
int n,m,p,to[],w[];
int e=,head[],fa[];
struct edge{
int v,next;
}ed[];
void add(int u,int v){
ed[e].v=v;ed[e].next=head[u];head[u]=e++;
}
int find(int x){
return x==fa[x]?x:fa[x]=find(fa[x]);
}
int qp(int a,int b){
int c=;
while(b){
if(b&)c=1ll*c*a%mod;
a=1ll*a*a%mod; b>>=;
}
return c;
}
void UPD(int &a,int b){
a=(a+b>=mod)?(a+b-mod):(a+b);
}
void IPD(int &a,int b){
a=(a-b<)?(a-b+mod):(a-b);
}
bool check(int s){
if(cnt[s]==)return ;
int a[],num=;
for(int i=;i<=n;i++)if(s&(<<i-)){
a[++num]=i;
int now=s&to[i];
if(!now)return ;
if(cnt[now]&)return ;
}
for(int i=;i<=num;i++)fa[a[i]]=a[i];
for(int i=;i<=num;i++){
for(int j=head[a[i]];j;j=ed[j].next)if(s&(<<ed[j].v-))
if(find(a[i])!=find(ed[j].v))
fa[find(a[i])]=find(ed[j].v);
}
for(int i=;i<=num;i++)
if(find(a[i])!=find(a[]))return ;
return ;
}
int calc(int s){
if(!p)return ;
int ans=;
for(int i=;i<=n;i++)if(s&(<<i-))
UPD(ans,w[i]);
if(p==)return ans;
return 1ll*ans*ans%mod;
}
void fwt(int *a){
for(int k=;k<=(<<n);k<<=)
for(int i=;i<(<<n);i+=k)
for(int j=;j<k>>;j++)
UPD(a[i+j+(k>>)],a[i+j]);
} void ifwt(int *a){
for(int k=;k<=(<<n);k<<=)
for(int i=;i<(<<n);i+=k)
for(int j=;j<k>>;j++)
IPD(a[i+j+(k>>)],a[i+j]);
}
int main(){
scanf("%d%d%d",&n,&m,&p);
for(int i=;i<(<<n);i++)cnt[i]=cnt[i>>]+(i&);
for(int i=,u,v;i<=m;i++){
scanf("%d%d",&u,&v);
to[u]|=(<<v-);
to[v]|=(<<u-);
add(u,v);add(v,u);
}
for(int i=;i<=n;i++)scanf("%d",&w[i]);
for(int i=;i<(<<n);i++){
can[i]=check(i);
g[i]=calc(i);
inv[i]=qp(g[i],mod-);
}
for(int i=;i<(<<n);i++)
h[cnt[i]][i]=can[i]*g[i];
for(int i=;i<=n;i++)fwt(h[i]);
f[][]=;fwt(f[]);
for(int i=;i<=n;i++){
for(int j=;j<i;j++)
for(int k=;k<(<<n);k++)
UPD(f[i][k],1ll*f[j][k]*h[i-j][k]%mod);
ifwt(f[i]);
for(int j=;j<(<<n);j++)
f[i][j]=1ll*f[i][j]*inv[j]%mod;
if(i^n)fwt(f[i]);
}
printf("%d\n",f[n][(<<n)-]);
return ;
}
bzoj5153&uoj348 【WC2018】州区划分的更多相关文章
- UOJ348 WC2018 州区划分 状压DP、欧拉回路、子集卷积
		传送门 应该都会判欧拉回路吧(雾 考虑状压DP:设\(W_i\)表示集合\(i\)的点的权值和,\(route_i\)表示点集\(i\)的导出子图中是否存在欧拉回路,\(f_i\)表示前若干个城市包含 ... 
- [WC2018]州区划分——FWT+DP+FST
		题目链接: [WC2018]州区划分 题目大意:给n个点的一个无向图,点有点权,要求将这n个点划分成若干个部分,每部分合法当且仅当这部分中所有点之间的边不能构成欧拉回路.对于一种划分方案,第i个部分的 ... 
- [WC2018]州区划分
		[WC2018]州区划分 注意审题: 1.有序选择 2.若干个州 3.贡献是州满意度的乘积 枚举最后一个州是哪一个,合法时候贡献sum[s]^p,否则贡献0 存在欧拉回路:每个点都是偶度数,且图连通( ... 
- [UOJ#348][WC2018]州区划分
		[UOJ#348][WC2018]州区划分 试题描述 小 \(S\) 现在拥有 \(n\) 座城市,第ii座城市的人口为 \(w_i\),城市与城市之间可能有双向道路相连. 现在小 \(S\) 要将这 ... 
- [WC2018]州区划分(FWT,FST)
		[WC2018]州区划分(FWT,FST) Luogu loj 题解时间 经典FST. 在此之前似乎用到FST的题并不多? 首先预处理一个子集是不是欧拉回路很简单,判断是否连通且度数均为偶数即可. 考 ... 
- P4221 [WC2018]州区划分 无向图欧拉回路 FST FWT
		LINK:州区划分 把题目中四个条件进行规约 容易想到不合法当前仅当当前状态是一个无向图欧拉回路. 充要条件有两个 联通 每个点度数为偶数. 预处理出所有状态. 然后设\(f_i\)表示组成情况为i的 ... 
- bzoj5153 [Wc2018]州区划分
		题目链接 正解:子集和变换. 考场上只会暴力和$p=0$的情况,还只会$O(2^{n}*n^{3})$的. 然而这题题面出锅,导致考场上一直在卡裸暴力,后面的部分分没写了..听$laofu$说$O(2 ... 
- [WC2018]州区划分(FWT)
		题目描述 题解 这道题的思路感觉很妙. 题目中有一个很奇怪的不合法条件,貌似和后面做题没有什么关系,所以我们先得搞掉它. 也就是判断一个点集是否合法,也就是判断这个点集是否存在欧拉回路. 如果存在欧拉 ... 
- Luogu4221 WC2018州区划分(状压dp+FWT)
		合法条件为所有划分出的子图均不存在欧拉回路或不连通,也即至少存在一个度数为奇数的点或不连通.显然可以对每个点集预处理是否合法,然后就不用管这个奇怪的条件了. 考虑状压dp.设f[S]为S集合所有划分方 ... 
- LOJ2340 [WC2018] 州区划分 【FMT】【欧拉回路】
		题目分析: 这题是WC的题??? 令 $g[S] = (\sum_{x \in S}w_x)^p$ $h[S] = g[S]$如果$S$不是欧拉回路 $d[S] = \frac{f[S]}{g[All ... 
随机推荐
- AMDP + XLSX Workbench 报表开发模式
			本文介绍了我和同事通过使用AMDP + XLSX Workbench缩短报表开发周期.分离数据查询处理逻辑和前端展示工作的经验.欢迎讨论. 前言 最近接到了一套人力资源报表的开发需求,需要以EXCEL ... 
- CALayer的属性和使用
			一.CALayer的常用属性 1.@propertyCGPoint position; 图层中心点的位置,类似与UIView的center:用来设置CALayer在父层中的位置:以父层的左上角为原点( ... 
- SQLServer中PRECISION和LENGTH,还有SCALE的区别
			总是搞不清楚,每次自己测试之后又忘记.故今天记录在案 CST_NAME输入大于5个字符或两个汉字加一个字符,报错String or binary data would be truncated.The ... 
- Centos 如何 发布Java项目
			在发布Java项目之前,我们先要安装如下软件 一.Windows 1.winscp(Windows到centos上传下载) 2.PuTTY(Windows访问centos服务器) 3.Navicat客 ... 
- C++std函数之transform
			/*//////////////////////////////// template < class InputIterator, class OutputIterator, class Un ... 
- Mybatis 系列10
			在前九篇中,介绍了mybatis的配置以及使用, 那么本篇将走进mybatis的源码,分析mybatis 的执行流程 1. SqlSessionFactory 与 SqlSession. 通过前面的章 ... 
- ambari安装集群下安装kafka manager
			简介: 不想通过kafka shell来管理kafka已创建的topic信息,想通过管理页面来统一管理和查看kafka集群.所以选择了大部分人使用的kafka manager,我一共有一台主机mast ... 
- Java数组的复制全解
			1.将一个基本数据类型数组的引用赋值给另一个数组 public class Array_copy { int[] array1=new int[]{1,2,3,4,5,6}; int[] array2 ... 
- Effective C++ 读书笔记(13-32)
			条款一十三:以对象管理资源 1.把资源放进对象内,我们便可依赖C++的“析构函数自动调用机制“确保资源被释放. 2.auto_ptr是个”类指针对象“,也就是所谓”智能指针“,其析构函数自动对其所指对 ... 
- Bagging与方差
			在集成学习中,通常认为Bagging的主要作用是降低方差,而Boosting的主要作用是降低偏差.Boosting能降低偏差很好理解,因为其原理就是将多个弱学习器组合成强学习器.但Bagging为什么 ... 
