[洛谷题面]https://www.luogu.org/problemnew/show/P4221

首先考虑判定一个子图是否合法:

(1)连通:并查集判断即可。

(2)没有欧拉回路:存在欧拉回路的条件是度数均为偶数,计算度数判断即可。

容易想到进行状压DP,设 \(F[S]\) 表示选取点集 \(S\) 的答案。

\[F[S]=\frac{1}{SumW(S)} \sum_{T\subseteq S} F[S-T]*SumW(T)
\]

直接按上式暴力,复杂度为 \(O(3^n)\),可以通过 \(15pts\)。

然而注意到这是一个类似子集卷积的形式,显然是可以FWT优化的,而由于卷积式中有本身,故可以按照集合大小从小到大计算即可。

时间复杂度 \(O(n^22^n)\),实现时要注意寻址的连续否则容易被卡常。一个子集卷积85分

#include<cstdio>

typedef long long ll;
const int N=22,M=1<<21,P=998244353; int fpow(int a,int b)
{
ll w(1),o(a);
while(b) {
if(b&1) w=w*o%P;
o=o*o%P;
b>>=1;
}
return w;
} int Inv(int x)
{
return fpow(x,P-2);
} int n,m,k,len,w[N],sum[M],sk[M],ski[M],mark[M],f[N],deg[N],dp[N][M],g[N][M]; struct edge {
int u,v;
}e[N*N]; inline int fp(int i,int j)
{
return (i>>(j-1))&1;
} inline void upd(int&x, int y)
{
x=(x+y)%P;
} int find(int x)
{
return f[x]==x?x:f[x]=find(f[x]);
} int ck(int D)
{
int y=0;
for(int i=1; i<=n; i++)
if(fp(D,i))
{
int x=find(i);
if(!y) y=x;
if(x^y) return 1;
}
for(int i=1; i<=n; i++)
if(fp(D,i))
{
if(deg[i]&1)
return 1;
}
return 0;
} inline void re(int &x) { x+=x>>31&P; } void fwt(int *s,int o)
{
for(int l=1; l<len; l<<=1)
for(int i=0; i<len; i+=l<<1)
for(int j=i; j<i+l; j++)
if(!o) re(s[j+l]+=s[j]-P);
else re(s[j+l]-=s[j]);
} int main()
{
scanf("%d%d%d",&n,&m,&k);
len=1<<n;
for(int i=1; i<=m; i++)
scanf("%d %d",&e[i].u,&e[i].v);
for(int i=1; i<=n; i++)
scanf("%d",&w[i]);
for(int i=1; i<len; i++)
{
for(int j=1; j<=n; j++)
if(fp(i,j))
upd(sum[i],w[j]);
sk[i]=fpow(sum[i],k);
ski[i]=Inv(sk[i]);
}
for(int i=1; i<len; i++)
{
for(int j=1; j<=n; j++)
if(fp(i,j)) f[j]=j,deg[j]=0;
for(int j=1; j<=m; j++)
if(fp(i,e[j].u) && fp(i,e[j].v))
{
deg[e[j].u]++;
deg[e[j].v]++;
int fu=find(e[j].u),fv=find(e[j].v);
if(fu^fv) f[fu]=fv;
}
mark[i]=ck(i);
}
for(int i=1; i<len; i++)
if(mark[i])
g[__builtin_popcount(i)][i]=sk[i];
for(int i=0; i<=n; i++) fwt(g[i],0);
dp[0][0]=1;
fwt(dp[0],0);
for(int i=1; i<=n; i++)
{
for(int k=0; k<i; k++)
for(int j=1; j<len; j++)
re(dp[i][j]+=(ll)dp[k][j]*g[i-k][j]%P-P);
fwt(dp[i],1);
for(int j=1; j<len; j++)
if(dp[i][j]) dp[i][j]=(ll)dp[i][j]*ski[j]%P;
if(i==n)
{
printf("%d",dp[n][len-1]);
break;
}
fwt(dp[i],0);
}
return 0;
}

[WC2018]州区划分(状压,子集卷积)的更多相关文章

  1. UOJ348 WC2018 州区划分 状压DP、欧拉回路、子集卷积

    传送门 应该都会判欧拉回路吧(雾 考虑状压DP:设\(W_i\)表示集合\(i\)的点的权值和,\(route_i\)表示点集\(i\)的导出子图中是否存在欧拉回路,\(f_i\)表示前若干个城市包含 ...

  2. [WC2018]州区划分(状压DP+FWT/FMT)

    很裸的子集反演模板题,套上一些莫名其妙的外衣. 先预处理每个集合是否合法,再作显然的状压DP.然后发现可以写成子集反演的形式,直接套模板即可. 子集反演可以看这里. 子集反演的过程就是多设一维代表集合 ...

  3. UOJ #348 州区划分 —— 状压DP+子集卷积

    题目:http://uoj.ac/problem/348 一开始可以 3^n 子集DP,枚举一种状态的最后一个集合是什么来转移: 设 \( f[s] \) 表示 \( s \) 集合内的点都划分好了, ...

  4. 【UOJ348】【WC2018】州区划分 状压DP FWT

    题目大意 给定一个\(n\)个点的无向图,对于每种 \(n\) 个点的划分\(\{S_1,S_2,\ldots,S_k\}\),定义它是合法的,当且仅当每个点都在其中的一个集合中且对于任何的\(i\i ...

  5. [WC2018]州区划分(FWT,FST)

    [WC2018]州区划分(FWT,FST) Luogu loj 题解时间 经典FST. 在此之前似乎用到FST的题并不多? 首先预处理一个子集是不是欧拉回路很简单,判断是否连通且度数均为偶数即可. 考 ...

  6. [WC2018]州区划分

    [WC2018]州区划分 注意审题: 1.有序选择 2.若干个州 3.贡献是州满意度的乘积 枚举最后一个州是哪一个,合法时候贡献sum[s]^p,否则贡献0 存在欧拉回路:每个点都是偶度数,且图连通( ...

  7. [WC2018]州区划分——FWT+DP+FST

    题目链接: [WC2018]州区划分 题目大意:给n个点的一个无向图,点有点权,要求将这n个点划分成若干个部分,每部分合法当且仅当这部分中所有点之间的边不能构成欧拉回路.对于一种划分方案,第i个部分的 ...

  8. [UOJ#348][WC2018]州区划分

    [UOJ#348][WC2018]州区划分 试题描述 小 \(S\) 现在拥有 \(n\) 座城市,第ii座城市的人口为 \(w_i\),城市与城市之间可能有双向道路相连. 现在小 \(S\) 要将这 ...

  9. Luogu4221 WC2018州区划分(状压dp+FWT)

    合法条件为所有划分出的子图均不存在欧拉回路或不连通,也即至少存在一个度数为奇数的点或不连通.显然可以对每个点集预处理是否合法,然后就不用管这个奇怪的条件了. 考虑状压dp.设f[S]为S集合所有划分方 ...

随机推荐

  1. 编程道拓扑bcd.top 0x01/ 开局第一篇: 随便聊聊/ 随笔

    0x01 开局 编程道拓扑(bcd.top)是一个前端从业者的思考和总结, 如果你喜欢, 欢迎关注! 作者是一个前端从业者, 本系列会总结作者在工作和学习中的一些思考, 会有具体的技术点, 也会有关于 ...

  2. 8.14-T1村通网(pupil)

    题目大意 要建设一个村庄的网络 有两种操作可选 1.给中国移动交宽带费,直接连网,花费为 A. 2.向另外一座有网的建筑,安装共享网线,花费为 B×两者曼哈顿距离.   题解 显然的最小生成树的题 见 ...

  3. svn还原与本地版本回退

    今天遇到了一个情况,由于没及时更新,对整个项目进行了Ctrl+shift+O,提交代码时冲突:然后就先还原项目,导致之前没有冲突的代码也回退了.然后就在eclipse中获取本地的版本记录,并回退 具体 ...

  4. 题解【SP1043】 GSS1 - Can you answer these queries I

    题目描述 You are given a sequence \(A_1, A_2, ..., A_n(|A_i|≤15007,1≤N≤50000)\). A query is defined as f ...

  5. Codeforces Round #610 (Div. 2)C(贪心,思维)

    沿时间轴枚举,发现关键时间点在于新题目被锁定的前一时间,那是新的题目还没有被锁定并且距离旧的题目已经被锁定的最晚时间,对这些时间点进行操作 #define HAVE_STRUCT_TIMESPEC # ...

  6. 线上BUG定位神器(阿尔萨斯)-Arthas2019-0801

    1.下载这个jar 2.运行这个jar 3.选取你需要定位的问题应用进程 然后各种trace -j xx.xxx.xx.className methodName top -n 3 这个后面要补充去看, ...

  7. Springmvc-crud-02错误(添加出现中文乱码)

    错误: 在进行添加页面时使用post请求,输入中文时会出现乱码 原因: post请求不支持gbk格式,使用字符编码过滤器,设置为UTF-8编码即可 注意配置请求的字符集和响应字符集 解决方案:需要放在 ...

  8. C#面向对象三大特性:多态

    什么是多态 公司最近为了陶冶情操,养了几种动物(Animal),有猫(Cat).狗(Dog).羊(Sheep),这些动物都有共同的特性,会吃(Eat).会叫(Shout),但是它们吃的不同,叫的也不同 ...

  9. opencv python:边缘保留滤波(EPF)

    EPF:E边缘,P保留,F滤波 import cv2 as cv import numpy as np def bi_demo(image): # bilateralFilter(src, d, si ...

  10. ReLU 函数

    线性整流函数(Rectified Linear Unit, ReLU),又称修正线性单元,是一种人工神经网络中常用的激活函数(activation function),通常指代以斜坡函数及其变种 为代 ...