题目大意

  给你一个无向图,有\(m\)个询问,每次给你一个点\(x\)和一个点集\(S\),问你从\(x\)开始走,每次从一个点随机的走到与这个点相邻的点,问你访问\(S\)中每个点至少一次的期望步数是多少。

  \(n\leq 18,m\leq 100000\)

题解

  有个东西叫min-max容斥:

\[\max(S)=\sum_{T\subseteq S,T\neq \varnothing}{(-1)}^{|T|+1}\min(T)
\]

  这道题中,\(\min(S)\)是从点\(x\)开始走,走到\(S\)中任意一个点的期望步数。\(\max(S)\)是从\(x\)开始走,走完\(S\)中全部点的期望步数。

  我们先枚举所有\(S\),用高斯消元算出\(\min(S)\)。

  总共有\(2^n\)个集合,消一次是\(O(n^3)\)的。

  这样就算出了所有起点为\(i\),遍历\(S\)中每个点至少一次的期望步数\(f_{i,S}\)

  然后带入这个式子里,用FWT算出\(\max(S)\)。

  总共有\(n\)个不同的起点,FWT一次是\(O(n2^n)\)的。

  所以总的时间复杂度是\(O(n^32^n)\)的。

代码

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<cmath>
using namespace std;
typedef long long ll;
const ll p=998244353;
vector<int> g[20];
int n,m;
int d[20];
int a[19][20];
ll inv[10010];
int c[10010];
ll fp(ll a,ll b)
{
ll s=1;
for(;b;b>>=1,a=a*a%p)
if(b&1)
s=s*a%p;
return s;
}
int f[19][1<<18];
int bitcnt[1<<18];
void add(int &a,int b)
{
if((a+=b)>p)
a-=p;
}
void fwt(int *a,int n)
{
int i,j,k;
for(i=2;i<=1<<n;i<<=1)
for(j=0;j<1<<n;j+=i)
for(k=j;k<j+i/2;k++)
add(a[k+i/2],a[k]);
}
int main()
{
#ifndef ONLINE_JUDGE
freopen("gemo.in","r",stdin);
freopen("gemo.out","w",stdout);
#endif
scanf("%d%d",&n,&m);
int x,y;
int i,j;
for(i=1;i<=m;i++)
{
scanf("%d%d",&x,&y);
d[x]++;
d[y]++;
g[x].push_back(y);
g[y].push_back(x);
}
inv[0]=inv[1]=1;
for(i=2;i<=10000;i++)
inv[i]=-p/i*inv[p%i]%p;
ll v;
int k;
int l;
int all=(1<<n)-1;
bitcnt[0]=0;
for(i=1;i<all;i++)
bitcnt[i]=bitcnt[i>>1]+(i&1);
for(l=1;l<all;l++)
{
memset(a,0,sizeof a);
for(i=1;i<=n;i++)
{
a[i][i]=1;
if(l&(1<<(i-1)))
continue;
a[i][n+1]=1;
for(auto v:g[i])
a[i][v]=-inv[d[i]];
}
for(i=1;i<=n;i++)
{
for(j=i;j<=n;j++)
if(a[i][j])
break;
if(j>n)
continue;
if(i!=j)
for(k=i;k<=n+1;k++)
swap(a[i][k],a[j][k]);
if(a[i][i])
{
v=fp(a[i][i],p-2);
for(j=i;j<=n+1;j++)
a[i][j]=a[i][j]*v%p;
}
for(j=1;j<=n;j++)
if(i!=j&&a[j][i])
{
v=a[j][i];
for(k=i;k<=n+1;k++)
a[j][k]=(a[j][k]-a[i][k]*v)%p;
}
}
for(i=1;i<=n;i++)
f[i][l]=a[i][n+1];
}
for(i=1;i<=n;i++)
{
for(j=0;j<all;j++)
{
if(!(bitcnt[j]&1))
f[i][j]=-f[i][j];
if(f[i][j]<0)
f[i][j]+=p;
}
fwt(f[i],n);
}
int m;
scanf("%d",&m);
for(i=1;i<=m;i++)
{
scanf("%d",&x);
int s=0;
for(j=1;j<=x;j++)
{
scanf("%d",&y);
s|=1<<(y-1);
}
scanf("%d",&y);
printf("%d\n",f[y][s]);
}
return 0;
}

【洛谷U20626】gemo 容斥 FWT 高斯消元的更多相关文章

  1. 【LOJ2542】【PKUWC 2018】随机游走 min-max容斥 树上高斯消元

    题目描述 有一棵 \(n\) 个点的树.你从点 \(x\) 出发,每次等概率随机选择一条与所在点相邻的边走过去. 有 \(q\) 次询问,每次询问给定一个集合 \(S\),求如果从 \(x\) 出发一 ...

  2. loj2542 「PKUWC2018」随机游走 MinMax 容斥+树上高斯消元+状压 DP

    题目传送门 https://loj.ac/problem/2542 题解 肯定一眼 MinMax 容斥吧. 然后问题就转化为,给定一个集合 \(S\),问期望情况下多少步可以走到 \(S\) 中的点. ...

  3. 洛谷P4035 球形空间产生器 [JSOI2008] 高斯消元

    正解:高斯消元 解题报告: 链接! 昂开始看到以为是,高斯消元板子题? 开始很容易想到的是,虽然是多维但是可以类比二维三维列出式子嘛 但是高斯消元是只能处理一元问题的啊,,,辣怎么处理呢 对的这就是这 ...

  4. 洛谷P4783 【模板】矩阵求逆(高斯消元)

    题意 题目链接 Sol 首先在原矩阵的右侧放一个单位矩阵 对左侧的矩阵高斯消元 右侧的矩阵即为逆矩阵 // luogu-judger-enable-o2 #include<bits/stdc++ ...

  5. 洛谷P3232 [HNOI2013]游走(高斯消元+期望)

    传送门 所以说我讨厌数学……期望不会高斯消元也不会……好不容易抄好了高斯消元板子被精度卡成琪露诺了…… 首先,我们先算出走每一条边的期望次数,那么为了最小化期望,就让大的期望次数乘上小编号 边的期望次 ...

  6. 洛谷 P6030 - [SDOI2012]走迷宫(高斯消元+SCC 缩点)

    题面传送门 之所以写个题解是因为题解区大部分题解的做法都有 bug(u1s1 周六上午在讨论区里连发两个 hack 的是我,由于我被禁言才让 ycx 代发的) 首先碰到这种期望题,我们套路地设 \(d ...

  7. 洛谷$P4318$ 完全平方数 容斥+二分

    正解:容斥/杜教筛+二分 解题报告: 传送门$QwQ$ 首先一看这数据范围显然是考虑二分这个数然后$check$就计算小于等于它的不是讨厌数的个数嘛. 于是考虑怎么算讨厌数的个数? 看到这个讨厌数说, ...

  8. 洛谷 P5643 - [PKUWC2018]随机游走(Min-Max 容斥+FWT+树上高斯消元,hot tea)

    题面传送门 一道挺综合的 hot tea,放到 PKUWC 的 D2T2 还挺喜闻乐见的( 首先我们考虑怎样对一个固定的集合 \(S\) 计算答案,注意到我们要求的是一个形如 \(E(\max(S)) ...

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

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

随机推荐

  1. NewZealand。。。

    秀个存在感...

  2. Django之连接多个数据库的相关配置

    01-修改django默认的数据库 # settings.py DATABASES = { 'default': { 'ENGINE': 'django.db.backends.mysql', 'NA ...

  3. Python_装饰器精讲_33

    from functools import wraps def wrapper(func): #func = holiday @wraps(func) def inner(*args,**kwargs ...

  4. Codeforces Round #486 (Div. 3)-B. Substrings Sort

    B. Substrings Sort time limit per test 1 second memory limit per test 256 megabytes input standard i ...

  5. Python Revisited Day 04 (控制结构与函数)

    目录 4.1 控制结构 4.1.1 条件分支 4.1.2 循环 4.2 异常处理 4.2.1 捕获与产生异常 4.2.2 自定义异常 4.3 自定义函数 Tips 参数默认值为可变时 危险 4.3.1 ...

  6. iOS中的截屏(屏幕截屏及scrollView或tableView的全部截屏)

    iOS中的截屏(屏幕截屏及scrollView或tableView的全部截屏) 2017.03.16 12:18* 字数 52 阅读 563评论 4喜欢 2 1. 截取屏幕尺寸大小的图片并保存至相册 ...

  7. 多线程系列之八:Thread-Per-Message模式

    一,Thread-Per-Message模式 翻译过来就是 每个消息一个线程.message可以理解为命令,请求.为每一个请求新分配一个线程,由这个线程来执行处理.Thread-Per-Message ...

  8. semantic-ui 分割线

    分割线即原生html中的<hr>标签.不过semantic-ui中将<hr>美化了一下下. 1.基础分割线 需要注意的是分割线只能使用div标签和p标签,不能使用span标签. ...

  9. 【学习总结】Git学习-参考廖雪峰老师教程七-标签管理

    学习总结之Git学习-总 目录: 一.Git简介 二.安装Git 三.创建版本库 四.时光机穿梭 五.远程仓库 六.分支管理 七.标签管理 八.使用GitHub 九.使用码云 十.自定义Git 期末总 ...

  10. PAT L3-016 二叉搜索树的结构

    https://pintia.cn/problem-sets/994805046380707840/problems/994805047903240192 二叉搜索树或者是一棵空树,或者是具有下列性质 ...