[POJ 2888]Magic Bracelet[Polya Burnside 置换 矩阵]

摘要:
也许更好的阅读体验大意:给一条长度为的项链,有种颜色,另有条限制,每条限制为不允许(x,y)颜色连在一起。要求有多少种本质不同的染色方式,本质不同的两种染色方式必须旋转不能互相得到。

也许更好的阅读体验
(mathcal{Description})

大意:给一条长度为(n)的项链,有(m)种颜色,另有(k)条限制,每条限制为不允许(x,y)颜色连在一起。要求有多少种本质不同的染色方式,本质不同的两种染色方式必须旋转不能互相得到。
输入方式:
第一行 (t,)表示t组数据
接下来(t)组数据:
每组数据第一行为(n,m,k)
接下来(k)行,每行两个数(x,y)表示不允许(x,y)颜色连在一起。
答案对9973取模
((1 ≤ n ≤ 10^9, gcd(n, 9973) = 1), m (1 ≤ m ≤ 10), k (1 ≤ k ≤ m(m − 1) /2))
(mathcal{Solution})

本篇题解假设大家都会没有(k)条限制的版本

由于染色有限制,所以(polya)定理就不好用了
(burnside)定理解决(发现大家标题都打得polya,于是也这么打标题了)

首先枚举不同的置换,即枚举循环长度,这一块和用(polya)定理有点像
由于(n)很大,要用(varphi)来优化
一个置换中,循环的元素的所有颜色必须相同,所以我们要计算有多少个循环,这些循环有多少种染色方法

计算染色方法
考虑在该置换内一个循环一个循环的染色,我们可以看做从不同颜色节点走向另一节点
用邻接矩阵(f[i][j])表示从(i)能否走向(j)
除去那(k)条限制,所有其他的(i,j) , (f[i][j]=1),即在染为第(i)种颜色后是可以染为第(j)种颜色的

这时候想到邻接矩阵的妙用,用矩乘计算(n)次之后得到的(f[i][j])的意义发生改变
(f[i][j])表示从(i)出发,走(n)步,最后结束在(j)有多少种走法。
由于是一个走一圈,所以 (i)出发应在(i)结束,答案贡献为(f[i][i])
这样就可以计算长度为(n)的循环的染色方法了:求出原矩阵的(n)次方后的矩阵后(sum_{i=1}^mf[i][i])

注意取模
代码

/*******************************
Author:Morning_Glory
LANG:C++
Created Time:2019年07月04日 星期四 14时25分13秒
*******************************/
#include <cstdio>
#include <fstream>
#include <cstring>
using namespace std;
const int maxn = 25;
const int mod = 9973;
//{{{cin 读入优化
struct IO{
	template<typename T>
	IO & operator>>(T&res){
		res=0;
		bool flag=false;
		char ch;
		while((ch=getchar())>'9'||ch<'0')	 flag|=ch=='-';
		while(ch>='0'&&ch<='9') res=(res<<1)+(res<<3)+(ch^'0'),ch=getchar();
		if (flag)	 res=~res+1;
		return *this;
	}
}cin;
//}}}
int t,n,m,k,x,y,ni,ans;
//{{{Matrix
struct Matrix{
	int rec[maxn][maxn];
	Matrix(){	memset(rec,0,sizeof(rec));}
	Matrix operator = (const Matrix &y){
		for (int i=1;i<=m;++i)
			for (int j=1;j<=m;++j)
				rec[i][j]=y.rec[i][j];
		return *this;
	}
	friend Matrix operator * (const Matrix &a,const Matrix &b){
		Matrix t;
		for (int i=1;i<=m;++i)
			for (int j=1;j<=m;++j)
				for (int k=1;k<=m;++k)
					t.rec[i][j]=(t.rec[i][j]+a.rec[i][k]*b.rec[k][j])%mod;
		return t;
	}
	Matrix operator ^ (int b){
		Matrix s,a;
		a=*this;
		for (int i=1;i<=m;++i)	s.rec[i][i]=1;
		for (;b;b>>=1,a=a*a)
			if (b&1)	s=s*a;
		return s;
	}
}a,b;
//}}}Martix
//{{{get_phi
int get_phi (int x)
{
	int res=x;
	for (int i=2;i*i<=x;++i)
		if (x%i==0){
			res=res/i*(i-1);
			while (x%i==0)	x/=i;
		}
	if (x>1)	res=res/x*(x-1);
	return res%mod;//此处要取模
}
//}}}
//{{{ksm
int ksm (int a,int b)
{
	int s=1;
	a%=mod;
	for (;b;a=1ll*a*a%mod,b>>=1)
		if (b&1)	s=1ll*s*a%mod;
	return s;
}
//}}}
//{{{calc
int calc (int x)
{
	b=a^x;
	int res=0;
	for (int i=1;i<=m;++i)	res=(res+b.rec[i][i])%mod;
	return res;
}
//}}}
int main()
{
	cin>>t;
	while (t--){
		cin>>n>>m>>k;
		ans=0,ni=ksm(n,mod-2);//ni n的逆元
		for (int i=1;i<=m;++i)
			for (int j=1;j<=m;++j)
				a.rec[i][j]=1;
		while (k--){
			cin>>x>>y;
			a.rec[x][y]=a.rec[y][x]=0;
		}
		for (int i=1;i*i<=n;++i)
			if (n%i==0){
				ans=(ans+get_phi(i)*calc(n/i)%mod)%mod;
				if (i*i!=n)	ans=(ans+get_phi(n/i)*calc(i)%mod)%mod;
			}
		ans=ans*ni%mod;
		printf("%d
",ans);
	}
	return 0;
}

免责声明:文章转载自《[POJ 2888]Magic Bracelet[Polya Burnside 置换 矩阵]》仅用于学习参考。如对内容有疑问,请及时联系本站处理。

上篇Linux服务器上安装织梦CMSlinux svn服务器启动停止命令下篇

宿迁高防,2C2G15M,22元/月;香港BGP,2C5G5M,25元/月 雨云优惠码:MjYwNzM=

随便看看

03点云文件常用格式转换(pcd,txt,ply,obj,stl)

1.pcd到txt1#include<iostream>2#include<fstream>3#include<pcl/io/pcd-io。h˃ 45intmain(intargc,char*argv[])6{78pcl::PointCloud<pcl:点XYZ>::Ptrcloud...

【解决】Failed to restart network.service: Unit network.service not found.

分析:原因其实也很简单,命令用错了,造成了找不到相应的网卡服务。...

redis make报错

所以添加参数:makeMALLOC=libc第二种类型:makeCFLAGS=“-march=x86-64”在README中有此段。...

LaTex学习笔记(1)——LaTeX文档插入图片的几种常用方法

2,插入bmp图片还没有找到直接插入bmp图片的方法。用gimp或fastoneimageviewer,将jpg质量选为最高,转换之后得到的图片质量较好。3,同时插入jpg和eps图片插入的命令不变。编译时使用Latex,dvi2pdf,两种格式的图片都可以显示。...

nginx重启

方法二:在启动命令-c前加-t2、重启Nginx服务方法一:进入nginx可执行目录sbin下,输入命令./nginx-sreload即可方法二:查找当前nginx进程号,然后输入命令:kill-HUP进程号实现重启nginx服务...

ES基本查询总结

ES与数据库比较查询操作Elasticsearch中当我们设置Mapping完毕后,就可以按照设定的方式导入数据。以下内容的原文需要参考ES官方文档1、结构化检索针对字段类型:日期、时间、数字类型,以及精确的文本匹配。结构化检索特点:*1)结构化查询,我们得到的结果总是非是即否,要么存于集合之中,要么存在集合之外。term查询是简单的,它接受一个字段名以及我...