【洛谷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\) 容斥了吧. 没错,我是先学扩展形式再学特 ...
随机推荐
- H5 16-并集选择器
16-并集选择器 我是标题 我是段落 我是段落 我是段落 <!DOCTYPE html> <html lang="en"> <head> < ...
- Minesweeper
你玩过扫雷吗?这个可爱的小游戏带有一个我们记不住名字的操作系统.游戏的目标是找到所有地雷在M x N场中的位置.游戏在一个正方形中显示一个数字,它告诉你在这个正方形附近有 多少个地雷.每个方块最多有八 ...
- 移动web、webApp、混合APP、原生APP、androd H5混合开发 当无网络下,android怎么加载H5界面
PhoneGap是一个采用HTML,CSS和JavaScript的技术,创建移动跨平台移动应用程序的快速开发平台.它使开发者能够在网页中调用IOS,Android,Palm,Symbian,WP7,W ...
- poj2594 机器人寻找宝藏(最小路径覆盖)
题目来源:http://poj.org/problem?id=2594 参考博客:http://www.cnblogs.com/ka200812/archive/2011/07/31/2122641. ...
- iOS数据存储-钥匙串存储
2017.11.20 14:41* 字数 227 阅读 678评论 0喜欢 0 钥匙串介绍 1. 表示设备唯一号的标识,在IOS7中要么被禁止使用,要么重新安装程序后两次获取的标识符不一样. 2. ...
- Is-a
在知识表示.面向对象程序设计与面向对象设计的领域里, is-a(英语:subsumption,包含架构)指的是类的父子继承关系, 例如类D是另一个类B的子类(类B是类D的父类). 换句话说,通常&qu ...
- php获取URL扩展名
一切拿代码来说话: 举例:'http://www.sina.com.cn/abc/de/fg.php?id=1': $url = 'http://www.sina.com.cn/abc/de/fg.p ...
- 熟悉pyspider的装饰器
熟悉pyspider的装饰器取经地点:https://segmentfault.com/a/1190000002477863 @config(age=10 * 24 * 60 * 60) 在这表示我们 ...
- react插件包
react-scoped-style support ie8,ie8+,chrome,firefox,safari does not support css priority (just apply ...
- C#复习笔记(3)--C#2:解决C#1的问题(可空值类型)
可空值类型 C#2推出可空类型来表示可以为null的值类型.这是一个呼声很高的需求,因为在常用的数据库中都是允许某些值类型可为空的.那么为什么值类型就不能为空呢?内存中用一个全0的值来表示null,但 ...