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 ...
随机推荐
- html5中新增的非主体结构的元素
html5中出了新增了article.section.nav.aside.time主要结构元素外,还增加了一些表示逻辑结构或附加信息的非主体结构元素. 一.header元素 header元素是一种具有 ...
- for循环嵌套讲解:
1.for循环嵌套讲解: class ForForDemo { public static void main(String[] args) { //大圈套小圈思想: ...
- 新知识:JQuery语法基础与操作
jQuery是一个快速.简洁的JavaScript框架,是继Prototype之后又一个优秀的JavaScript代码库(或JavaScript框架).jQuery设计的宗旨是"write ...
- 视频客观质量评价工具:MSU Video Quality Measurement Tool【ssim,psnr】
MSU Video Quality Measurement Tool(msu vqmt)是莫斯科国立大学(Moscow State University)的Graphics and Media Lab ...
- go redigo的简单操作
golang操作redis主要有两个库,go-redis和redigo.两者操作都比较简单,区别上redigo更像一个client执行各种操作都是通过Do函数去做的,redis-go对函数的封装更好, ...
- JDK10都发布了,nio你了解多少?
前言 只有光头才能变强 回顾前面: 给女朋友讲解什么是代理模式 包装模式就是这么简单啦 本来我预想是先来回顾一下传统的IO模式的,将传统的IO模式的相关类理清楚(因为IO的类很多). 但是,发现在整理 ...
- 【转】搭建自己的 sentry 服务
1. 安装 docker 首先要确认你的 Ubuntu 版本是否符合安装 Docker 的前提条件.如果没有问题,你可以通过下边的方式来安装 Docker : 使用具有 sudo 权限的用户来登录你的 ...
- cmd登录远程Oracle数据库
在cmd中输入 user/password@Ip:port/sid 例如: laoda/123@192.168.4.161:1521/orcl laoda是用户名,123是密码.
- map和set的原理
1)map:经过排序了的二元组的集合,map中的每个元素都是由两个值组成,其中的key(键值,一个map中的键值必须是唯一的) 是在排序或搜索时使用,它的值可以在容器中重新获取:而另一个值是该元素关联 ...
- spring中bean的scope属性理解
bean的scope属性有prototype,singleton,request, session几个属性 spring和struts2整合的时候,struts2的action要配置成scope=&q ...