题目大意

  给你一个无向图,有\(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. 基于 Django的Ajax实现 文件上传

    ---------------------------------------------------------------遇到困难的时候,勇敢一点,找同学朋友帮忙,找导师求助. Ajax Ajax ...

  2. Python_每日习题_0004_一年中的第几天

    # 题目 输入某年某月某日,判断这一天是这一年的第几天? # 程序分析 特殊情况,闰年时需考虑二月多加一天: def isLeapYear(y): return (y%400==0 or (y%4== ...

  3. set和multiset的用法

    set #include<iostream> #include<algorithm> #include<cstdio> #include<string.h&g ...

  4. group by用法

    select * from Table group by id,一定不能是*,而是某一个列或者某个列的聚合函数. 参考:http://www.cnblogs.com/jingfengling/p/59 ...

  5. 原生jS之-去掉字符串开头和结尾的空字符

    怎么解决这个问题?? 思路就是我们利用正则匹配到所谓的空格,然后替换为空字符,我们要用到的是str的replace API 代码如下: <!DOCTYPE html> <html l ...

  6. 记一个JS树结构路径查找

    var a=[ { "id" : "0000", "text" : "R1", "children" ...

  7. 如何优化Docker储存

    大家在使用Docker的过程中,有没有想过,Docker在本地存储镜像时把文件存储在哪里了呢?有没有对文件的总大小做一定的限制呢?能不能调整本地存储的位置及总限制大小呢?今天,我们就从这些问题入手,来 ...

  8. ElasticSearch 入门

    http://www.oschina.net/translate/elasticsearch-getting-started?cmp ElasticSearch 简单入门 返回原文英文原文:Getti ...

  9. JavaScript对象访问器属性

    对象访问器就是setter和getter,他们的作用就是 提供另外一种方法来获取或者设置对象的属性值, 并且在获取和设置的时候,可以用一定的其他操作. 看下面代码: <script> va ...

  10. Linux中profile

    http://www.cnblogs.com/mmfzmd517528/archive/2012/07/05/2577988.html