五十分就是裸的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】州区划分的更多相关文章

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

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

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

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

  3. [WC2018]州区划分

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

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

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

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

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

  6. P4221 [WC2018]州区划分 无向图欧拉回路 FST FWT

    LINK:州区划分 把题目中四个条件进行规约 容易想到不合法当前仅当当前状态是一个无向图欧拉回路. 充要条件有两个 联通 每个点度数为偶数. 预处理出所有状态. 然后设\(f_i\)表示组成情况为i的 ...

  7. bzoj5153 [Wc2018]州区划分

    题目链接 正解:子集和变换. 考场上只会暴力和$p=0$的情况,还只会$O(2^{n}*n^{3})$的. 然而这题题面出锅,导致考场上一直在卡裸暴力,后面的部分分没写了..听$laofu$说$O(2 ...

  8. [WC2018]州区划分(FWT)

    题目描述 题解 这道题的思路感觉很妙. 题目中有一个很奇怪的不合法条件,貌似和后面做题没有什么关系,所以我们先得搞掉它. 也就是判断一个点集是否合法,也就是判断这个点集是否存在欧拉回路. 如果存在欧拉 ...

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

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

  10. 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 ...

随机推荐

  1. IT轮子系列(一)——DropDownList 的绑定(二)

    补记: 今天在阅读公司项目代码的时候,发现MVC中的dropdownlist已经封装了数据绑定方式.相对于第一篇文章,这样的方式更简便.简洁.现记录如下: 首先,创建我们的数据模型 如下图: 模型代码 ...

  2. 什么才是java的基础知识?

    近日里,很多人邀请我回答各种j2ee开发的初级问题,我无一都强调java初学者要先扎实自己的基础知识,那什么才是java的基础知识?又怎么样才算掌握了java的基础知识呢?这个问题还真值得仔细思考. ...

  3. OOP的基本原则

    OOP的基本原则 点击打开链接

  4. 到底创建了几个String对象?

    到底创建了几个String对象? 标签: 堆栈使用 对象创建 分类: 开发技术 关键字: java 面试题 string 创建几个对象 作者:臧圩人(zangweiren) 网址:http://zan ...

  5. 初识java——运算符和表达式以及注释

    java中有不同的运算符,并且在运算中有着优先级的排序计算,其中++和——的优先级最高,最先计算 运算符注意:1,增量和减量运算符++,——. int a=1++; int b=++1; 其中1++表 ...

  6. access窗体主体居中

    Private Sub Form_Load()DoCmd.Echo False Dim x, y As IntegerDoCmd.Maximizex = Me.WindowWidthy = Me.Wi ...

  7. Spring Cloud入门教程 - Zuul实现API网关和请求过滤

    简介 Zuul是Spring Cloud提供的api网关和过滤组件,它提供如下功能: 认证 过滤 压力测试 Canary测试 动态路由 服务迁移 负载均衡 安全 静态请求处理 动态流量管理 在本教程中 ...

  8. rsync的详细配置

    服务器配置: yum install rsync   安装rsync vi /etc/rsyncd.conf   创建主配置文件 pid file = /var/run/rsyncd.pid port ...

  9. Windows下的OpenCVSharp配置

    OPenCvSharp是OpenCV的Net Warpper,应用最新的OpenCV库开发,目前放在github.. 本人认为OpenCvSharp比EmguCV使用起来更为方便,因为函数更接近于原生 ...

  10. RSAC 2018:人工智能成为驱动网络安全的新 “引擎”

    作为全球顶级的权威安全会议,RSA已成为快速了解世界安全趋势的风向标,更是影响安全产业转型与持续发展的重要平台.不同于往年人工智能(AI)在安全领域更多的是一种理论探讨,今年看到的是大量人工智能在安全 ...