【洛谷U20626】gemo 容斥 FWT 高斯消元
题目大意
给你一个无向图,有\(m\)个询问,每次给你一个点\(x\)和一个点集\(S\),问你从\(x\)开始走,每次从一个点随机的走到与这个点相邻的点,问你访问\(S\)中每个点至少一次的期望步数是多少。
\(n\leq 18,m\leq 100000\)
题解
有个东西叫min-max容斥:
\]
这道题中,\(\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 高斯消元的更多相关文章
- 【LOJ2542】【PKUWC 2018】随机游走 min-max容斥 树上高斯消元
题目描述 有一棵 \(n\) 个点的树.你从点 \(x\) 出发,每次等概率随机选择一条与所在点相邻的边走过去. 有 \(q\) 次询问,每次询问给定一个集合 \(S\),求如果从 \(x\) 出发一 ...
- loj2542 「PKUWC2018」随机游走 MinMax 容斥+树上高斯消元+状压 DP
题目传送门 https://loj.ac/problem/2542 题解 肯定一眼 MinMax 容斥吧. 然后问题就转化为,给定一个集合 \(S\),问期望情况下多少步可以走到 \(S\) 中的点. ...
- 洛谷P4035 球形空间产生器 [JSOI2008] 高斯消元
正解:高斯消元 解题报告: 链接! 昂开始看到以为是,高斯消元板子题? 开始很容易想到的是,虽然是多维但是可以类比二维三维列出式子嘛 但是高斯消元是只能处理一元问题的啊,,,辣怎么处理呢 对的这就是这 ...
- 洛谷P4783 【模板】矩阵求逆(高斯消元)
题意 题目链接 Sol 首先在原矩阵的右侧放一个单位矩阵 对左侧的矩阵高斯消元 右侧的矩阵即为逆矩阵 // luogu-judger-enable-o2 #include<bits/stdc++ ...
- 洛谷P3232 [HNOI2013]游走(高斯消元+期望)
传送门 所以说我讨厌数学……期望不会高斯消元也不会……好不容易抄好了高斯消元板子被精度卡成琪露诺了…… 首先,我们先算出走每一条边的期望次数,那么为了最小化期望,就让大的期望次数乘上小编号 边的期望次 ...
- 洛谷 P6030 - [SDOI2012]走迷宫(高斯消元+SCC 缩点)
题面传送门 之所以写个题解是因为题解区大部分题解的做法都有 bug(u1s1 周六上午在讨论区里连发两个 hack 的是我,由于我被禁言才让 ycx 代发的) 首先碰到这种期望题,我们套路地设 \(d ...
- 洛谷$P4318$ 完全平方数 容斥+二分
正解:容斥/杜教筛+二分 解题报告: 传送门$QwQ$ 首先一看这数据范围显然是考虑二分这个数然后$check$就计算小于等于它的不是讨厌数的个数嘛. 于是考虑怎么算讨厌数的个数? 看到这个讨厌数说, ...
- 洛谷 P5643 - [PKUWC2018]随机游走(Min-Max 容斥+FWT+树上高斯消元,hot tea)
题面传送门 一道挺综合的 hot tea,放到 PKUWC 的 D2T2 还挺喜闻乐见的( 首先我们考虑怎样对一个固定的集合 \(S\) 计算答案,注意到我们要求的是一个形如 \(E(\max(S)) ...
- 「PKUWC2018」随机游走(min-max容斥+FWT)
「PKUWC2018」随机游走(min-max容斥+FWT) 以后题目都换成这种「」形式啦,我觉得好看. 做过重返现世的应该看到就想到 \(min-max\) 容斥了吧. 没错,我是先学扩展形式再学特 ...
随机推荐
- 循环 while
day 2 ---------------------------------------------------把一件简单的事情做到极致,你就成功了. Day2作业及默写 1.判断下列逻辑语句的Tr ...
- Python_内置函数2_44
字符串类型代码执行: exec('print(123)') eval('print(123)') print(eval('1*2+3+4')) # 有返回值 print(exec('1+2+3+4') ...
- H5 69-清除浮动方式四
<!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8&quo ...
- Spring Data Elasticsearch 和 x-pack 用户名/密码验证连接
Elasticsearch Java API 客户端连接 一个是TransportClient,一个是NodeClient,还有一个XPackTransportClient TransportClie ...
- vmware can not be closed virtual machine is busy
VMware does not close when Windows Server 2003 ... |VMware Communities https://communities.vmware.co ...
- springmvc配置文件的主要内容
springmvc配置文件的主要内容:
- Laravel 5.6 模型关联 user 表后查询 user 表数据只能获取第一条数据,不知道怎么获取第二条
按照开发手册的说法,肯定是指令不够全,附代码图 如果, tests 是文章表, users 是用户表 test.com/tests/1 是 id 为 1 的文章地址( get 访问) 假如 Tests ...
- C# Note21: 扩展方法(Extension Method)及其应用
前言 今天在开会时提到的一个概念,入职3个多月多注重在项目中使用C#的编程知识,一直没有很认真地过一遍C#的全部语法,当我们新人被问及是否了解Extension Method时,一时之间竟不能很通俗准 ...
- 连接mysql 出现 1005 error(150) , error(121)的错误
1.显示不能创建表 出现150错误 将检查是因为 我的user 表示拷贝过来的所以它设置的编码格式是utf-8 而我又新创建的表没有添加编码格式,所以它认为这两个关联的表之间的编码格式不匹配. 2.出 ...
- mapreduce join
MapReduce Join 对两份数据data1和data2进行关键词连接是一个很通用的问题,如果数据量比较小,可以在内存中完成连接. 如果数据量比较大,在内存进行连接操会发生OOM.mapredu ...