题意

题面

给一个 \(n\) 个点 \(m\) 条边的无向图。考虑如下求独立集的随机算法:随机一个排列并按顺序加点。如果当前点能加入独立集就加入,否则不加入。求该算法能求出最大独立集的概率。

\(n\le 20\)。

Solution

考虑状压DP。按照题意我们按顺序加点,如果该点不能加入独立集,那么这个点可以插在之后排列的某一个位置中。

我们记当前排列独立集中的点的集合不在独立集中的点的个数为状态,设 \(F(S,i)\) 表示当前独立集点的集合为 \(S\),还有 \(i\) 个点没有插入排列。

可以用高维前缀和预处理每个集合的相邻的点(包括集合本身的点。记为 \(g(S)\)),这样就可以 \(O(2^n \times n^2)\) 的预处理每个点 \(u\) 当前集合加入独立集 \(s\) 后新的相邻的点,记为 \(h(u,S)\)。

我们有

\[F(S,i-1) \leftarrow F(S,i)\times i \\
F(S\cup u,i+h(u,S)) \leftarrow F(S,i) (u\notin g(S))
\]

DP 的时间复杂度是 \(O(2^n \times n^2)\)。可以通过本题。当然这不是本题的最优复杂度。

code

#include<bits/stdc++.h>
#pragma GCC target("popcnt")
using namespace std;
const int N=21,Mod=998244353;
int g[1<<N],f[1<<N][N],t[N],ans,mx,n,m;
void upd(int& x, int y)
{
x=(x+y>=Mod?x+y-Mod:x+y);
}
#define mul(x,y) (1ll*(x)*(y)%Mod)
inline int po(int x, int y=Mod-2)
{
int r=1;
while(y)
{
if(y&1) r=mul(r,x);
x=mul(x,x), y>>=1;
}
return r;
}
int main()
{
scanf("%d%d",&n,&m);
for(int i=1,u,v;i<=m;++i)
{
scanf("%d%d",&u,&v),--u,--v;
g[1<<u]|=(1<<u)|(1<<v);
g[1<<v]|=(1<<u)|(1<<v);
}
for(int s=1;s<(1<<n);++s)
for(int i=0;i<n;++i) if(s&(1<<i)) g[s]|=g[s^(1<<i)];
f[0][0]=1;
for(int s=0;s<(1<<n);++s)
{
for(int i=n;i;--i) upd(f[s][i-1],mul(f[s][i],i));
memset(t,0,sizeof(t));
for(int x=0;x<n;++x) if(!(g[s]&(1<<x)))
t[x]=__builtin_popcount((g[1<<x]^(1<<x))&(~g[s]));
for(int i=0;i<=n;++i) if(f[s][i])
for(int x=0;x<n;++x) if(!(g[s]&(1<<x)))
upd(f[s|(1<<x)][i+t[x]],f[s][i]);
}
for(int s=0;s<(1<<n);++s)
{
const int cnt=__builtin_popcount(s);
if(cnt>mx&&f[s][0]) mx=cnt,ans=f[s][0];
else if(cnt==mx) upd(ans,f[s][0]);
}
int fac=1; for(int i=1;i<=n;++i) fac=mul(fac,i);
printf("%d",mul(ans,po(fac)));
}

【LOJ2540】「PKUWC2018」随机算法的更多相关文章

  1. loj2540 「PKUWC2018」随机算法 【状压dp】

    题目链接 loj2540 题解 有一个朴素三进制状压\(dp\),考虑当前点三种状态:没考虑过,被选入集合,被排除 就有了\(O(n3^{n})\)的转移 但这样不优,我们考虑优化状态 设\(f[i] ...

  2. LOJ2540. 「PKUWC2018」随机算法【概率期望DP+状压DP】

    LINK 思路 首先在加入几个点之后所有的点都只有三种状态 一个是在独立集中,一个是和独立集联通,还有一个是没有被访问过 然后前两个状态是可以压缩起来的 因为我们只需要记录下当前独立集大小和是否被访问 ...

  3. LOJ2540「PKUWC2018」随机算法

    又是一道被咕了很久的题 貌似从WC2019之前咕到了现在 我们用f[i][s]表示现在最大独立集的大小为i 不可选集合为s 然后转移O(n)枚举加进来的点就比较简单啦 这个的复杂度是O(2^n*n^2 ...

  4. 「PKUWC2018」随机算法

    题目 思博状压写不出是不是没救了呀 首先我们直接状压当前最大独立集的大小显然是不对的,因为我们的答案还和我们考虑的顺序有关 我们发现最大独立集的个数好像不是很多,可能是\(O(n)\)级别的,于是我们 ...

  5. 【LOJ】 #2540. 「PKUWC2018」随机算法

    题解 感觉极其神奇的状压dp \(dp[i][S]\)表示答案为i,然后不可选的点集为S 我们每次往答案里加一个点,然后方案数是,设原来可以选的点数是y,新加入一个点后导致了除了新加的点之外x个点不能 ...

  6. loj#2540. 「PKUWC2018」随机算法

    传送门 完了pkuwc咋全是dp怕是要爆零了-- 设\(f(S)\)表示\(S\)的排列数,\(S\)为不能再选的点集(也就是选到独立集里的点和与他们相邻的点),\(mx(S)\)表示\(S\)状态下 ...

  7. Loj #2542. 「PKUWC2018」随机游走

    Loj #2542. 「PKUWC2018」随机游走 题目描述 给定一棵 \(n\) 个结点的树,你从点 \(x\) 出发,每次等概率随机选择一条与所在点相邻的边走过去. 有 \(Q\) 次询问,每次 ...

  8. 「PKUWC2018」随机游走(min-max容斥+FWT)

    「PKUWC2018」随机游走(min-max容斥+FWT) 以后题目都换成这种「」形式啦,我觉得好看. 做过重返现世的应该看到就想到 \(min-max\) 容斥了吧. 没错,我是先学扩展形式再学特 ...

  9. LOJ2542. 「PKUWC2018」随机游走

    LOJ2542. 「PKUWC2018」随机游走 https://loj.ac/problem/2542 分析: 为了学习最值反演而做的这道题~ \(max{S}=\sum\limits_{T\sub ...

随机推荐

  1. Educational Codeforces Round 81 (Rated for Div. 2)

    A 0~9需要多少笔画,自取7和1,判奇偶 #include<bits/stdc++.h> using namespace std; #define ll long long #defin ...

  2. 弱密码检测JR!

    1.JR(Joth the Ripper)简介·一款密码分析工具,支持字典式的暴力破解·通过对 shadow 文件的口令分析,可以检测密码·官方网站:http://www.openwall.com/j ...

  3. CentOS上安装elasticsearch

    1.安装docker yum install docker 2.启动docker systemctl start docker 查看docker版本: docker -v 之后只要启动机器就会自动开启 ...

  4. idea提示非法字符

    问题: 解决方法: 将编码格式UTF-8+BOM文件转为普通的UTF-8文件. 一.简单方法,在AS右下角,将编码改为GBK,再转为UTF-8,可以解决. 二.可以用EditPlus 1.将文件用Ed ...

  5. 关于Java大整数是否是素数

    题目描述 请编写程序,从键盘输入两个整数m,n,找出等于或大于m的前n个素数. 输入格式: 第一个整数为m,第二个整数为n:中间使用空格隔开.例如: 103 3 输出格式: 从小到大输出找到的等于或大 ...

  6. 2 CSS盒子模型&边框&轮廓&外边距&填充&分组嵌套&尺寸&display与visibility

    盒子模型 Box  Model 所有HTML元素可以看做盒子,CSS模型本质上是一个盒子,封装周围的HTML元素 包括:边距,边框,填充和实际内容 盒子模型允许我们在其他元素和周围元素边框之间的空间放 ...

  7. FormsAuthentication.HashPasswordForStoringInConfigFile方法再.net core中的替代代码

    FormsAuthentication.HashPasswordForStoringInConfigFile()这个加密方法再.net core中不存在了,可以用下面的方式达到一样的加密效果 usin ...

  8. GIT使用教程——命令详解

    $ git init 当前目录建立GIT可以管理的仓库(版本库),生成一个.git的隐藏文件夹 $ git add <filename> 将工作区的文件修改添加到版本库的暂存区 $ git ...

  9. springMVC的 Converter转换器 和 Formatter

    Converter转换器 spring的Converter是可以将一种类型转换成另一种类型的一个对象, 自定义Converter需要实现Converter接口 日期转换器 import java.te ...

  10. iOS学习7:iOS沙盒(sandBox)机制(一)之获取沙盒路径及目录说明(转)

    转:http://my.oschina.net/joanfen/blog/151145 一.iOS沙盒机制 iOS的应用只能访问为该应用创建的区域,不可访问其他区域,应用的其他非代码文件都存在此目录下 ...