五十分就是裸的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. Resin文档阅读笔记

    阅读文档对应的版本为Resin4.0,且基本只关注Standard版本的功能. 1.Resin可以注册为服务: To install the service, use C:/> resin-3. ...

  2. Microsoft Visual C++ Compiler for Python 2.7真正下载地址

    真正下载地址: http://origin.www.ms.akadns.NET/en-us/download/details.aspx?id=44266 那个微软地址好像不可用.

  3. Django1.10 release notes摘编

    一.重点新特性: 1.面向PostgreSQL的全文搜索支持 2.新式风格的middleware 3.用户名Unicode编码的官方支持 二.一些可以提的改变: 1.用户名最大长度增加到150 2.不 ...

  4. Django单元测试简明实践

    1.准备数据模式,Django空库测试需要所有相关数据模式必须在Django中定义,说白了,model不能有managed=Fasle,为了解决这个问题,你必须得有一个managed全部为True的S ...

  5. 正确截取List指定位置的内容

    正确截取List指定位置的内容 import java.util.ArrayList; import java.util.List; public class ListUtils { public s ...

  6. 自定义用户认证(继承django的)

    1.在app下创建一个自己用户认证文件,文件名随意,记得为.py文件 2.编辑该userauth.py文件 #!/usr/bin/env python #coding:utf-8 from djang ...

  7. 拾人牙慧篇之——linux文件挂载,基于nfs的文件共享系统安装配置

    一.写在前面 最近需要把阿里云上的四台服务器的项目迁移到客户提供的新的项目中,阿里云的项目平时开发启动的时候知道有个nfs文件系统,表现就是后台管理系统通过freemarker生成的HTML文件,自动 ...

  8. python爬虫入门(八)Scrapy框架之CrawlSpider类

    CrawlSpider类 通过下面的命令可以快速创建 CrawlSpider模板 的代码: scrapy genspider -t crawl tencent tencent.com CrawSpid ...

  9. python_方法说明

    方法用来描述对象所具有的行为,例如,列表对象的追加元素.插入元素.删除原宿.排序,字符串对象的分隔.连接.排版.替换.烤箱的温度设置.烘烤,等等 在类中定义的方法可以粗略分为四大类:公有方法.私有方法 ...

  10. 用CSS画小猪佩奇,你就是下一个社会人!

    欢迎大家前往腾讯云+社区,获取更多腾讯海量技术实践干货哦~ 作者:江志耿 | 腾讯TEG网络工程师 我是佩奇,哼,这是我的弟弟乔治,呱呱,这是我的妈妈,嚯,这是我的爸爸,嚯~ 背景 小猪佩奇已经火了好 ...