【XSY2703】置换 数学 置换 DP

2018/03/06 15:28
阅读数 7

题目描述

  对于置换$p$,定义$f(p)$为最小的正整数$k$,使得$p^k$为恒等置换。

  你需要求对于所有的$n$元素置换$p$,$f^2(p)$的平均值。

  $n\leq 200$

题解

  考虑把置换拆成很多个循环。

  $f(p)$就是所有循环的长度的$lcm$

  可以考虑DP,设$f_{i,j}$为放了$i$个位置,当前所有循环长度的$lcm$的状态为$j$(每个质因子的最高次幂是多少)。

  但是状态数会很多

  有一个微小的技巧,考虑到每个循环长度的质因子最多只有一个$>\sqrt n$,那么可以把最大值因子相同的项拿出来一起处理,小的质因子就压成状态。

  这个技巧很常见,比如说这道题NOI2015寿司晚宴

  这样状态数就只有不到$5000$个了。

  当然,可以把不存在的状态删掉,就只剩下$2000$个了。

  转移的话,设当前已经放了$i$个数,每次枚举放几个循环$j$(这些循环的长度相同),每个循环的长度为$k$,那么方案数就是 $$ \frac{(n-i)!}{(n-i-kl)!k^ll!} $$   具体来说,第一次放的位置的数是$\binom{n-i}{k}$,第二次是$\binom{n-i-k}{k}$,以此类推。每个循环的方案数是$(k-1)!$。最后方案可能会重复,就要除以$l!$。

  时间复杂度:$状态数O(n^2\log n\times 状态数)$

代码

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<utility>
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
int p;
int fac[210];
int inv[210];
int ifac[210];
int n;
int getc(int x,int y)
{
	if(x<y)
		return 0;
	if(y<0)
		return 0;
	return fac[x]*ifac[y]%p*ifac[x-y]%p;
}
void add(int &a,int b)
{
	a=(a+b)%p;
}
int f[2100][210];
int g[2100][210];
struct num
{
	int id,x;
	int s1,s2,s3,s4,s5,s6;
};
num a[210];
int pri[]={0,2,3,5,7,11,13};
int cmp(num a,num b)
{
	return a.x<b.x;
}
int p1[]={0,2,4,8,16,32,64,128};
int p2[]={0,3,9,27,81};
int p3[]={0,5,25,125};
int p4[]={0,7,49};
int p5[]={0,11,121};
int p6[]={0,13,169};

int p21[]={1,2,4,8,16,32,64,128};
int p22[]={1,3,9,27,81};
int p23[]={1,5,25,125};
int p24[]={1,7,49};
int p25[]={1,11,121};
int p26[]={1,13,169};
int id[8][5][4][3][3][3];
struct node
{
	int a1,a2,a3,a4,a5,a6;
	int s;
};
node c[2100];
int s[210][210];
int main()
{
#ifndef ONLINE_JUDGE
	freopen("c.in","r",stdin);
	freopen("c.out","w",stdout);
#endif
	scanf("%d%d",&n,&p);
	int i1,i2,i3,i4,i5,i6;
	int cnt=0;
	for(i1=0;i1<=7;i1++)
		for(i2=0;i2<=4;i2++)
			for(i3=0;i3<=3;i3++)
				for(i4=0;i4<=2;i4++)
					for(i5=0;i5<=2;i5++)
						for(i6=0;i6<=2;i6++)
							if(p1[i1]+p2[i2]+p3[i3]+p4[i4]+p5[i5]+p6[i6]<=n)
							{
								cnt++;
								c[cnt].a1=i1;
								c[cnt].a2=i2;
								c[cnt].a3=i3;
								c[cnt].a4=i4;
								c[cnt].a5=i5;
								c[cnt].a6=i6;
								c[cnt].s=(ll)p21[i1]*p22[i2]*p23[i3]*p24[i4]*p25[i5]*p26[i6]%p;
								id[i1][i2][i3][i4][i5][i6]=cnt;
		//						printf("%04d %d %d %d %d %d %d\n",++cnt,i1,i2,i3,i4,i5,i6);
							}
	int i,j,k,l;
	fac[0]=fac[1]=inv[0]=inv[1]=ifac[0]=ifac[1]=1;
	for(i=2;i<=n;i++)
	{
		inv[i]=(ll)-p/i*inv[p%i]%p;
		fac[i]=(ll)fac[i-1]*i%p;
		ifac[i]=(ll)ifac[i-1]*inv[i]%p;
	}
	f[1][0]=fac[n];
	for(i=1;i<=n;i++)
	{
		k=i;
		while(k%2==0)
		{
			k/=2;
			a[i].s1++;
		}
		while(k%3==0)
		{
			k/=3;
			a[i].s2++;
		}
		while(k%5==0)
		{
			k/=5;
			a[i].s3++;
		}
		while(k%7==0)
		{
			k/=7;
			a[i].s4++;
		}
		while(k%11==0)
		{
			k/=11;
			a[i].s5++;
		}
		while(k%13==0)
		{
			k/=13;
			a[i].s6++;
		}
		a[i].x=k;
		a[i].id=i;
	}
	sort(a+1,a+n+1,cmp);
	for(i=1;i<=n;i++)
	{
		s[i][0]=1;
		for(j=1;j<=n;j++)
			s[i][j]=(ll)s[i][j-1]*ifac[a[i].id]%p*fac[a[i].id-1]%p;
		for(j=1;j<=n;j++)
			s[i][j]=(ll)s[i][j]*ifac[j]%p;
	}
	for(i=1;i<=n;i++)
	{
		if(a[i].x==1||i==1||a[i].x!=a[i-1].x)
			memcpy(g,f,sizeof g);
		for(l=cnt;l>=1;l--)
		{
			int a1=max(a[i].s1,c[l].a1);
			int a2=max(a[i].s2,c[l].a2);
			int a3=max(a[i].s3,c[l].a3);
			int a4=max(a[i].s4,c[l].a4);
			int a5=max(a[i].s5,c[l].a5);
			int a6=max(a[i].s6,c[l].a6);
			int v=id[a1][a2][a3][a4][a5][a6];
			for(k=n;k>=0;k--)
				if(g[l][k])
					for(j=1;k+j*a[i].id<=n;j++)
						add(g[v][k+a[i].id*j],(ll)g[l][k]*s[i][j]%p);
		}
		if(a[i].x==1||i==n||a[i].x!=a[i+1].x)
		{
			int b=a[i].x*a[i].x%p;
			for(l=1;l<=cnt;l++)
				for(k=1;k<=n;k++)
					add(f[l][k],(ll)(g[l][k]-f[l][k])*b%p);
		}
	}
	int ans=0;
	for(l=1;l<=cnt;l++)
		add(ans,(ll)f[l][n]*c[l].s%p*c[l].s%p);
	ans=(ll)ans*ifac[n]%p;
	ans=(ans+p)%p;
	printf("%d\n",ans);
	return 0;
}
展开阅读全文
打赏
0
0 收藏
分享
加载中
更多评论
打赏
0 评论
0 收藏
0
分享
返回顶部
顶部