AtCoder Beginner Contest 310G

最新推荐文章于 2024-05-06 22:29:10 发布

fddwd

最新推荐文章于 2024-05-06 22:29:10 发布

阅读量144

点赞数 1

分类专栏： ATcoder 文章标签： c++ 算法图论

本文链接：https://blog.csdn.net/m0_74946315/article/details/131985184

版权

ATcoder 专栏收录该内容

8 篇文章 1 订阅

订阅专栏

G - Takahashi And Pass-The-Ball Game

Problem Statement

There are $N$ Takahashi.

The $i$ -th Takahashi has an integer $A_i$ and $B_i$ balls.

An integer $x$ between $1$ and $K$ , inclusive, will be chosen uniformly at random, and they will repeat the following operation $x$ times.

For every $i$ , the $i$ -th Takahashi gives all his balls to the $A_i$ -th Takahashi.

Beware that all $N$ Takahashi simultaneously perform this operation.

For each $i = 1, 2, \dots, N$ , find the expected value, modulo $998244353$ , of the number of balls the $i$ -th Takahashi has at the end of the operations.

How to find a expected value modulo $998244353$

It can be proved that the sought probability is always a rational number. Additionally, the constraints of this problem guarantee that if the sought probability is represented as an irreducible fraction $\frac{y}{x}$ , then $x$ is not divisible by $998244353$ . Here, there is a unique $0 \leq z < 998244353$ such that $y≡xz~(\text{mod}~998244353)$ , so report this $z$ .

题目大意：

有 $N(N\leq2\times10^5)$ 个高橋（ $\text{terrifying you know?}$ ）在玩传球游戏，第 $i$ 个高橋初始时有 $B_i(B_i<998244353)$ 个球，每次传球他会把自己手里的所有球传给第 $A_i$ 个高橋，高橋们同时传球不分先后，有一个随机数 $x\in[1,K],~(K<10^{18})$ 为他们将要进行的传球轮数，问每个高橋在这么多次传球之后手中的球数的数学期望[1]，将其模上一个大质数 $998244353$ [2]。

[1]数学期望(mathematic expectation)（或均值，亦简称期望，平均数/均值和标准差是描述数据资料集中趋势和离散程度的两个最重要的测度值），此处数学期望即为每次传球每个高橋持有的球数之平均数。
[2]分数取模，即求逆元，数据保证分母不为大质数之倍数，可以使用费马小定理 $a^{p-1}≡1~(\text{mod}~p)$ ，其中 $p$ 为质数， $a$ 不为 $p$ 的倍数，变形可得 $a^{p-2}≡a^{-1}~(\text{mod}~p)$ ，所以有 $b/a=b\cdot a^{-1}≡b\cdot a^{p-2}~(\text{mod}~p)$ ，自行对照题目中给的求法理解。

分析：

~~我真的尽力了（），真的讲不清楚（）。~~

由 $K$ 的数据范围易见此题使用倍增或二分（其实本质都一样的哈），如果将 $N$ 个高橋的传球关系想象成图，那么这个图就是一个有着 $N$ 个节点 $N$ 条有向边构成的图（保证每个节点都有且仅有一条出边，不保证联通），由此可以发现每一个联通的部分都是一个有着 $x$ 个顶点 $x$ 条边的有向图（保证每个节点都有且仅有一条出边），所以该部分为一个内向基环树，内向基环树有一个特点就是可以倍增。

我们考虑每个高橋可以接到哪些球

如题解中的图：

我们可以发现，他们是可以合并的：令 $Taka_{i,j}$ 为图中左部上数第 $i$ 排左数第 $j$ 个高橋， $Taka_{1,1}$ 把球传给 $Taka_{2,3}$ ， $Taka_{2,1}$ 将球传给 $Taka_{4,3}$ ，易得由相同列数的高橋传球给列数相同的新高橋，即若 $Taka_{i,1}$ 将球传给 $Taka_{i+1,x}$ ，则 $Taka_{j,1}$ 将球传给 $Taka_{j+1,x}$ ，所以可以合并。对于每一排高橋，下面都有有向线段指向新高橋，我们称之为对应关系，那么每两排对应关系可以生成新一排的对应关系；合并时将每两排有着对应关系或对应位置的高橋累加。
如果两组对应关系分别为 $A []$ 和 $a []$ ，数值分别为 $B []$ 和 $b []$ （前者累向后者），那么合并后新的对应关系分别为 $A [a [i]]$ ，累加关系为 $b [i] + = B [i], b [A [i]] + = B [i]$ 。

由此，我们可以得到一个有着可以接受的时间复杂度的算法，时间复杂度为 $O(N\cdot\log K+\log mod)$ ，其中 $\log K$ 最大约为 $60$ ，能过，代码如下：
tips：注意 $K$ 是传球次数而非高橋排数，上图左部中的 $K$ 为 $3$ 而非 $4$ ，并且最终结果并不算上初始一排高橋，所以实际操作中需要注意加减。

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define md 998244353
#define MAXN 200010
int n;
ll k,a[MAXN],b[MAXN],Ta[MAXN],Tb[MAXN],pa[MAXN],pb[MAXN];//此处并非所有数组都需要开到ll，需要的为所有涉及乘法除法的
ll power(ll a,ll b){//快速幂
	if(a==0) return 0;
	if(a==1||b==0) return 1;
	if(b%2==0){
		ll x=power(a,b/2);
		return x*x%md;
	}else
		return power(a,b-1)*a%md;
}void perform(ll Ta[],ll Tb[],ll a[],ll b[]){//将ab累到TaTb上，最后的解在TaTb中
	for(int i=1;i<=n;++i)
		pa[i]=Ta[a[i]],pb[i]=0;//papb为临时数组，其内数值即为新一排的高橋，此处处理新对应关系的同时别忘了给pb清零
	for(int i=1;i<=n;++i)
		(pb[i]+=Tb[i])%=md,(pb[Ta[i]]+=b[i])%=md;//由对应关系和对应位置累加
	for(int i=1;i<=n;++i)
		Ta[i]=pa[i],Tb[i]=pb[i];//将值赋到TaTb数组中
	return;
}void dfs(ll k){//此处采用尾部指针二分递归求解
	if(k==1)
		return;//只有一排高橋不需累加
	dfs(k/2);
	perform(Ta,Tb,Ta,Tb);//dfs结束回到这里的时候，TaTb是k/2排高橋累加后的结果，所以累上一个自身
	if(k%2)//如果k为奇数，还需累上一排初始高橋
		perform(Ta,Tb,a,b);
	return;
}
int main(){
	cin>>n>>k;
	for(int i=1;i<=n;++i)
		cin>>a[i],Ta[i]=a[i];//初始化
	for(int i=1;i<=n;++i)
		cin>>b[i],Tb[i]=b[i];//这里根据上面所写的递归是必要的，因为在k=2时需要累加自身
	dfs(++k);--k;//注意加减
	for(int i=1;i<=n;++i)
		(Tb[i]+=md-b[i])%=md;//减去初始高橋
	k%=md;ll inv=power(k,md-2);//k次操作，inv即为k的逆元
	for(int i=1;i<=n;++i)
		cout<<(Tb[i]*inv)%md<<" ";//对每一个高橋的总球数乘上k的逆元
	cout<<endl;
	return 0;
}