「PKUWC2018」随机算法
思博状压写不出是不是没救了呀
首先我们直接状压当前最大独立集的大小显然是不对的,因为我们的答案还和我们考虑的顺序有关
我们发现最大独立集的个数好像不是很多,可能是\(O(n)\)级别的,于是我们考虑从这个方面入手
我们求出所有的最大独立集,考虑求出有多少种考虑顺序能够恰好得到这个最大独立集
设当前已经考虑的点的状态为\(S\)时的方案数为\(dp_S\)
我们考虑枚举出一个不在状态\(S\)的点\(x\)
分两种情况
\(x\)是最大独立集的点,所以我们可以把这个点加入\(S\)
\(x\)不是最大独立集的点,我们发现只有当和这个点相邻的且属于最大独立集的点加入\(S\),我们才能加入\(x\),这样\(x\)才能不被加入独立集
于是我们这样做就好啦,复杂度是\(O(2^nn^2)\),卡卡常数就过去啦
代码
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define re register
#define LL long long
#define lb(x) ((x)&(-x))
#define max(a,b) ((a)>(b)?(a):(b))
#define min(a,b) ((a)<(b)?(a):(b))
const int maxn=(1<<20)+5;
const int mod=998244353;
inline int read() {
char c=getchar();int x=0;while(c<'0'||c>'9') c=getchar();
while(c>='0'&&c<='9') x=(x<<3)+(x<<1)+c-48,c=getchar();return x;
}
int st[maxn][21],top[maxn];
int cnt[maxn],f[maxn],vis[22],tot,ans,inv[22];
int n,m,N,d[22],g[maxn],dp[maxn],lg[maxn];
inline int chk(int S) {
int t=S;
while(t) {
int x=lg[lb(t)];
t-=lb(t);
if(d[x]&S) return 0;
}
return 1;
}
inline void get(int S,int p) {
int t=S;
while(t) {
int x=lg[lb(t)];
t-=lb(t);st[p][++top[p]]=x;
}
}
inline int qm(int a) {return a>=mod?a-mod:a;}
inline int calc(int S) {
int t=S;memset(vis,0,sizeof(vis));
while(t) {
int x=lg[lb(t)];
t-=lb(t);vis[x]=1;
}
memset(dp,0,sizeof(dp));
dp[0]=1;
for(re int i=0;i<N;i++) {
for(re int j=1;j<=top[i];j++) {
int x=st[i][j];
if(vis[x]||(d[x]&S&i))
dp[i|(1<<(x-1))]=qm(dp[i|(1<<(x-1))]+dp[i]);
}
}
return dp[N];
}
int main() {
n=read(),m=read();N=(1<<n)-1;
for(re int i=1;i<=N;i++) cnt[i]=cnt[i>>1]+(i&1);
for(re int x,y,i=1;i<=m;i++) {
x=read(),y=read();
d[x]|=(1<<(y-1));d[y]|=(1<<(x-1));
}
for(re int i=1;i<=n;i++) lg[1<<(i-1)]=i;
for(re int i=0;i<=N;i++) get(N^i,i);
for(re int i=1;i<=N;i++) f[i]=chk(i);
for(re int i=1;i<=N;i++) if(f[i]&&cnt[i]>cnt[ans]) ans=i;
for(re int i=1;i<=N;i++)
if(f[i]&&cnt[i]==cnt[ans])
tot=qm(tot+calc(i));
inv[1]=1;
for(re int i=2;i<=n;i++) inv[i]=1ll*(mod-mod/i)*inv[mod%i]%mod;
for(re int i=2;i<=n;i++) tot=(1ll*tot*inv[i])%mod;
printf("%d\n",tot);
return 0;
}
至于\(O(2^nn)\)的正解好像很神仙的样子,大概是加入一个点的时候把和它相连的点都加入进来,转移的过程中还要乘上排列数,一看我就不会,于是就不写啦
「PKUWC2018」随机算法的更多相关文章
- 【LOJ2540】「PKUWC2018」随机算法
题意 题面 给一个 \(n\) 个点 \(m\) 条边的无向图.考虑如下求独立集的随机算法:随机一个排列并按顺序加点.如果当前点能加入独立集就加入,否则不加入.求该算法能求出最大独立集的概率. \(n ...
- LOJ2540. 「PKUWC2018」随机算法【概率期望DP+状压DP】
LINK 思路 首先在加入几个点之后所有的点都只有三种状态 一个是在独立集中,一个是和独立集联通,还有一个是没有被访问过 然后前两个状态是可以压缩起来的 因为我们只需要记录下当前独立集大小和是否被访问 ...
- loj2540 「PKUWC2018」随机算法 【状压dp】
题目链接 loj2540 题解 有一个朴素三进制状压\(dp\),考虑当前点三种状态:没考虑过,被选入集合,被排除 就有了\(O(n3^{n})\)的转移 但这样不优,我们考虑优化状态 设\(f[i] ...
- 【LOJ】 #2540. 「PKUWC2018」随机算法
题解 感觉极其神奇的状压dp \(dp[i][S]\)表示答案为i,然后不可选的点集为S 我们每次往答案里加一个点,然后方案数是,设原来可以选的点数是y,新加入一个点后导致了除了新加的点之外x个点不能 ...
- loj#2540. 「PKUWC2018」随机算法
传送门 完了pkuwc咋全是dp怕是要爆零了-- 设\(f(S)\)表示\(S\)的排列数,\(S\)为不能再选的点集(也就是选到独立集里的点和与他们相邻的点),\(mx(S)\)表示\(S\)状态下 ...
- LOJ2540「PKUWC2018」随机算法
又是一道被咕了很久的题 貌似从WC2019之前咕到了现在 我们用f[i][s]表示现在最大独立集的大小为i 不可选集合为s 然后转移O(n)枚举加进来的点就比较简单啦 这个的复杂度是O(2^n*n^2 ...
- Loj #2542. 「PKUWC2018」随机游走
Loj #2542. 「PKUWC2018」随机游走 题目描述 给定一棵 \(n\) 个结点的树,你从点 \(x\) 出发,每次等概率随机选择一条与所在点相邻的边走过去. 有 \(Q\) 次询问,每次 ...
- 「PKUWC2018」随机游走(min-max容斥+FWT)
「PKUWC2018」随机游走(min-max容斥+FWT) 以后题目都换成这种「」形式啦,我觉得好看. 做过重返现世的应该看到就想到 \(min-max\) 容斥了吧. 没错,我是先学扩展形式再学特 ...
- LOJ2542. 「PKUWC2018」随机游走
LOJ2542. 「PKUWC2018」随机游走 https://loj.ac/problem/2542 分析: 为了学习最值反演而做的这道题~ \(max{S}=\sum\limits_{T\sub ...
随机推荐
- Java基础教程(11)--对象
一.创建对象 下面的语句创建了一个对象并把它的引用赋值给了一个变量: Point originOne = new Point(23, 94); 这条语句由三部分组成(下面将详细讨论): 声明对 ...
- 可缺省的CSS布局——张鑫旭
一.技术不难.意识很难 有些东西的东西的实现,难的不是原料.技术:而是想不到,或者说意识不到. 例如下面这个简单而又神奇的魔术: 是吧.搞通了,才发现,哦~原来这么回事,很简单的嘛,我也可以实现的!其 ...
- 移动端Web Meta标签
原文 http://blog.segmentfault.com/jianjian_532633/1190000000654839 添加到推刊 在介绍移动端特有 meta 标签之前,先简单说一下 ...
- 关于JS中闭包的问题
一直以来,我都以为我已经懂了JavaScript中闭包的概念,直到有一次小伙伴突然问我这个概念的时候,我才发现我根本不知道该怎来么跟他来讲述这个概念. 那时候我就知道我是自我欺骗,打肿脸充胖子了. 所 ...
- 阿里云 CentOS7安装redis4.0.9并开启远程访问
1 安装redis编译的c环境 yum install gcc-c++ redis是c语言开发的,安装redis需要先将官网下载的源码进行编译,编译依赖gcc环境. 如果没有gcc环境,需要安装gcc ...
- create alter rename desc select update delete insert
conn scott/root;create table student (id number(3), name varchar2(10), sex char(2), sno number(3));a ...
- LGWR和DBWn的触发条件
Rolling Forward(前滚) Oracle启动实例并加载数据库,然后通过Online Redologs中的重做日志,重现实例崩溃前对数据库的修改操作.在恢复过程中对于已经提交的事务,但尚未写 ...
- 回归JavaScript基础(四)
主题:JavaScript变量.作用域和内存问题 JavaScript的变量和别的语言比起来是与众不同的.说道变量,不得不谈他的作用域.同很多语言一样,JavaScript开发者也不用担心开发中内存的 ...
- 的确,Java存在缺陷。但是……
[编者按]本文作者为资深码农 Tim Spann,主要讲述 Java 让人无法抗拒的众多优点以及一些些缺陷.本文系国内 ITOM 管理平台 OneAPM 编译呈现,以下为正文. 早在90年代中期,笔者 ...
- springMVC入门-02
本节会在上节基础上讨论springMVC如何传值的问题. 在添加dispatcherServlet之后,拦截器会将url中的参数拦截下来,使之可以在controller中使用.以下代码就是在前台输入u ...