[CSP-S模拟测试]:Seat（概率DP+数学）

Posted 2022-12-25 wzc521

题目描述

有$n+2$个座位等距地排成一排，从左到右编号为$0$至$n+1$。
最开始时$0$号以及$n+1$号座位上已经坐了一个小$G$，接下来会有$n$个小$G$依次找一个空座位坐下。由于小$G$们坐得太近就容易互相搏弈，每个小$G$会找一个当前离最近的小$G$距离最远的座位坐下。如果有多个备选的座位，这个小$G$会等概率选择其中一个。
给出$n$，求第$i$个坐下的小$G$坐在$j$号座位的概率，对$P$取模。具体来说，如果答案化为最简分数可以表示为$\\fracab$，你需要输出$a\\times b^−1$，其中$b^−1=b^P-2(\\mod P)$。

---

输入格式

从文件$seat.in$中读入数据。
一行两个整数$n,P$。

---

输出格式

输出到文件$seat.out$中。
输出$n$个整数，第$i$行第$j$个整数表示第$i$个小$G$坐在第$j$个座位的概率。

---

样例

样例输入：

4 10007

样例输出：

0 5004 5004 0
3336 1668 1668 3336
3336 1668 1668 3336
3336 1668 1668 3336

---

数据范围与提示

样例解释：

第一个小$G$会在中间两个位置中随机选择一个，接下来无论选哪个位置最近的距离都是$1$。
$\\frac12=5004(\\mod 10^4+7),\\frac13=3336(\\mod 10^4+7),\\frac16=1668(\\mod 10^4+7)$。

数据范围：

对于所有数据，满足$2\\leqslant n\\leqslant 1024,2000\\leqslant P\\leqslant 30000$，$P$是质数。
本题共$25$个测试点，每个测试点$4$分。

---

题解

好玄学的一道玄学题……

    一个结论是，对于任意一个人，他坐下时离最近的人的距离是固定的，不随前面的人的决策而改变。这样我们可以将所有人按坐下时的距离分成若干层。另一个结论是，无论之前每一层如何决策，轮到这一层时逬空区间的长度构成的可重集也是固定的。
    对于最后一层特殊处理接下来均默认不是最后一层。对于之前的每一层，考虑在哪些空区间中央坐下可使得距离最大，其中可能会有一些长度为奇数的区间和一些长度为偶数的区间，而对于每个人来说，坐在任意一个奇数的区间的中央的概率都是相等的，偶数同理。
    那么我们只需要知道，每个人有多大的概率坐在一个奇逯偶数区间的中央。考虑$DP$，$dp[i][j]$表示这一层已经坐下$i$个人之后，还有$j$个长度为偶数的区间的概率，转移只需考虑当前这个人坐了哪类区间即可。遤遰之后容易算出之前要求的概率。
    区间长度为奇数时位置是固定的；考虑区间长度为偶数的情况，此时会出现两个位置可供选择，但无论选择哪一个，都会将区间划分成长度为$\\fracn2$和$\\fracn2−1$的两段。因此这两种选择具有对称性，我们只需要假定选择其中的一个，算出这种情况下之后的层的答案，即可对称地推出另一种情况下的答案。
    瓶颈在利用对称性推答案的地方，主要看代码实现了，反正我是颓的代码。

时间复杂度：$\\Theta(n^2\\log n)$。

期望得分：$100$分。

实际得分：$100$分。

---

代码时刻

#include<bits/stdc++.h>
using namespace std;
int n,P,now;
int dp[1100][1100],ans[1100][1100],g[1100][1100],inv[1100],vis[1100],cnt[1100],odd[1100],pos[1100];
int qpow(int x,int y)

	int res=1;
	while(y)
	
		if(y&1)res=res*x%P;
		x=x*x%P;
		y>>=1;
	
	return res;

void pre_work()

	for(int i=1;i<=n;i++)inv[i]=qpow(i,P-2);
	vis[0]=vis[n+1]=1;now=n;

int main()

	scanf("%d%d",&n,&P);
	pre_work();
	for(int i=1;i<=n;i++)
	
		pair<int,int> lr=make_pair(0,0);
		for(int j=0;j<=n;j++)
		
			int flag=j+1;
			while(!vis[flag])flag++;
			if(flag-j>lr.second-lr.first)lr=make_pair(j,flag);
			j=flag-1;
		
		 cnt[lr.second-lr.first>>1]++;
		if((lr.second-lr.first)&1)odd[lr.second-lr.first>>1]++;
		pos[i]=lr.first+(lr.second-lr.first>>1);
		vis[lr.first+(lr.second-lr.first>>1)]++;
	
	for(int i=1;i<=n;i++)
	
		if(!cnt[i])continue;
		if(i==1)
		
			for(int j=now-cnt[i]+1;j<=now;j++)
				for(int k=now-cnt[i]+1;k<=now;k++)
					ans[j][pos[k]]=inv[cnt[i]];
		
		else
		
			for(int j=0;j<=cnt[i];j++)
				for(int k=0;k<=odd[i];k++)
					dp[j][k]=0;
			dp[0][odd[i]]=1;
			for(int j=1;j<=cnt[i];j++)
			
				int oddw=0,even=0;
				for(int k=0;k<=odd[i];k++)
				
					if(!dp[j-1][k])continue;
					int frac=(cnt[i]-(j-1))+k;
					int w=0;
					if(k)
					
						w=dp[j-1][k]*k*2%P*inv[frac]%P;
						even=(even+w*inv[odd[i]<<1])%P;
						dp[j][k-1]=(dp[j][k-1]+w)%P;
					
					if(cnt[i]-odd[i])
					
						w=dp[j-1][k]*(frac-2*k)%P*inv[frac]%P;
						oddw=(oddw+w*inv[cnt[i]-odd[i]])%P;
						dp[j][k]=(dp[j][k]+w)%P;
					
				
				for(int k=now-cnt[i]+1;k<=now-cnt[i]+odd[i];k++)
				
					ans[now-cnt[i]+j][pos[k]]=(ans[now-cnt[i]+j][pos[k]]+even)%P;
					ans[now-cnt[i]+j][pos[k]+1]=(ans[now-cnt[i]+j][pos[k]+1]+even)%P;
				
				for(int k=now-cnt[i]+odd[i]+1;k<=now;k++)
					ans[now-cnt[i]+j][pos[k]]=(ans[now-cnt[i]+j][pos[k]]+oddw)%P;
			
			for(int j=now-cnt[i]+1;j<=now-cnt[i]+odd[i];j++)
			
				int L=pos[j]-i+1;
				int R=pos[j]+i;
				for(int k=L;k<=R;k++)
				
					if(k==pos[j])continue;
					for(int l=now+1;l<=n;l++)
					
						g[l][k]=(g[l][k]+ans[l][k]*inv[2])%P;
						g[l][k<pos[j]?k+i+1:k-i]=(g[l][k<pos[j]?k+i+1:k-i]+ans[l][k]*inv[2])%P;
					
				
				for(int k=L;k<=R;k++)
					for(int l=now+1;l<=n;l++)
					
						ans[l][k]=g[l][k];
						g[l][k]=0;
					
			
		
		now-=cnt[i];
	
	for(int i=1;i<=n;i++)
	
		for(int j=1;j<=n;j++)
			printf("%d ",ans[i][j]);
		puts("");
	
	return 0;

---

rp++