【洛谷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,但 ... 
