Description

有一个长度为 \(n\) 的项链,首尾相接形成环,现在你要给每一个位置一个颜色 \([1,m]\), 求所有不同的项链个数(可以通过旋转变成一样的称为相同)

Solution

根据 \(burnside\) 引理,答案为 \(\frac{1}{n}\sum_{i=1}^{|G|}c1_i\)

也就是枚举所有的置换,求不动点个数之和

置换一共有 \(n\) 种,分别为 \(1,2...n\)

枚举旋转的长度 \(i\) ,那么循环节的大小为 \(\frac{n}{gcd(i,n)}\) , 循环节个数为 \(gcd(i,n)\)

为什么?要使得 \(k*i \mod n=0\) ,那么 \(k*i\) 的最小值就是 \(lcm=\frac{i*n}{gcd(i,n)}\) ,所以 \(k\) 就等于 \(\frac{n}{gcd(i,n)}\) 了

那么要使得这个点为不动点(旋转 \(i\) 之后一模一样),那么同一循环节里面的点必须颜色相同

那么点的可以缩减为 \(gcd(i,n)\) 种

相当于问题转化为用 \(m\) 中颜色去覆盖 \(x=gcd(i,n)\) 个位置,我们设方案数为 \(calc(x,m)\)

转化为求 \(\sum_{i=1}^{n}calc(gcd(i,n),m)\)

枚举 \(gcd\)

答案就是 \(\sum_{i=1}^{n}calc(i)*phi[\lfloor\frac{n}{i}\rfloor]\)

\(calc\) 函数可以用矩乘求出

#include<bits/stdc++.h>
using namespace std;
template<class T>void gi(T &x){
int f;char c;
for(f=1,c=getchar();c<'0'||c>'9';c=getchar())if(c=='-')f=-1;
for(x=0;c<='9'&&c>='0';c=getchar())x=x*10+(c&15);x*=f;
}
const int N=1e7+10,mod=9973;
int prime[N],num=0,phi[N],n,K,m;bool vis[N];
inline void priwork(){
phi[1]=1;
for(int i=2,t;i<N;i++){
if(!vis[i])prime[++num]=i,phi[i]=i-1;
for(int j=1;j<=num && i*prime[j]<N;j++){
vis[t=i*prime[j]]=1;
if(i%prime[j])phi[t]=phi[i]*(prime[j]-1);
else {phi[t]=phi[i]*prime[j];break;}
}
}
}
inline int getphi(int x){
if(x<N)return phi[x];
int lim=sqrt(x),ret=x;
for(int i=1;i<=num && prime[i]<=lim;i++){
if(x%prime[i]==0){
ret=ret/prime[i]*(prime[i]-1);
while(x%prime[i]==0)x/=prime[i];
}
}
if(x>1)ret=ret/x*(x-1);
return ret;
}
struct mat{
int a[10][10];
inline void init(){memset(a,0,sizeof(a));}
inline mat operator *(const mat &p)const{
mat ret;
for(int i=0;i<m;i++)
for(int j=0;j<m;j++){
ret.a[i][j]=0;
for(int k=0;k<m;k++)
if(a[i][k] && p.a[k][j])
ret.a[i][j]=(ret.a[i][j]+a[i][k]*p.a[k][j])%mod;
}
return ret;
}
}S,T;
inline int calc(int x){
S.init();
for(int i=0;i<m;i++)S.a[i][i]=1;
mat D=T;x--;
while(x){
if(x&1)S=S*D;
D=D*D;x>>=1;
}
int ret=0;
for(int i=0;i<m;i++)
for(int j=0;j<m;j++)ret=(ret+S.a[i][j]*T.a[i][j])%mod;
return ret;
}
inline int qm(int x,int k){
int sum=1;if(x>=mod)x%=mod;
while(k){
if(k&1)sum=sum*x%mod;
x=x*x%mod;k>>=1;
}
return sum;
}
inline void work(){
int x,y;
cin>>n>>m>>K;
T.init();
for(int i=0;i<m;i++)for(int j=0;j<m;j++)T.a[i][j]=1;
for(int i=1;i<=K;i++){
gi(x);gi(y);x--;y--;
T.a[x][y]=T.a[y][x]=0;
}
int lim=sqrt(n),ans=0;
for(int i=1;i<=lim;i++){
if(n%i)continue;
ans=(ans+1ll*calc(i)*getphi(n/i))%mod;
if(i*i!=n)ans=(ans+1ll*calc(n/i)*getphi(i))%mod;
}
ans=ans*qm(n,mod-2)%mod;
cout<<ans<<endl;
}
int main(){
freopen("pp.in","r",stdin);
freopen("pp.out","w",stdout);
priwork();
int T;cin>>T;
while(T--)work();
return 0;
}

项链(burnside)的更多相关文章

  1. 【BZOJ3202】项链(莫比乌斯反演,Burnside引理)

    [BZOJ3202]项链(莫比乌斯反演,Burnside引理) 题面 BZOJ 洛谷 题解 首先读完题目,很明显的感觉就是,分成了两个部分计算. 首先计算本质不同的珠子个数,再计算本质不同的项链个数. ...

  2. P3307-[SDOI2013]项链【Burnside引理,莫比乌斯反演,特征方程】

    正题 题目链接:https://www.luogu.com.cn/problem/P3307 题目大意 \(n\)个珠子的一个环形项链,每个珠子有三个\(1\sim k\)的整数. 两个珠子不同当且仅 ...

  3. 洛谷 P3307 - [SDOI2013]项链(Burnside 引理+数论)

    题面传送门 看到题目我们显然可以将题目拆分成两部分:首先求出有多少个符合要求的珠子 \(c\),这样我们就可以将每种珠子看成一种颜色,题目也就等价于有多少种用 \(c\) 种颜色染长度为 \(n\) ...

  4. polya/burnside 学习

    参考链接: http://www.cnblogs.com/hankers/archive/2012/08/03/2622231.html http://blog.csdn.net/raalghul/a ...

  5. bzoj 4330: JSOI2012 爱之项链

    听说这题不公开.. 那就不贴题意了 首先要用burnside引理求出戒指的种数,那么对于一个顺时针旋转$k$个位置的置换就相当于连上一条$(i,(i+k)%R)$的边,每个环颜色必须相同 环的个数为$ ...

  6. bzoj3202:[Sdoi2013]项链

    思路:首先考虑如何求珠子个数,一个珠子由a,b,c三个数组成且属于区间[1,a],并满足gcd(a,b,c)=1.由于要求本质相同,对于a,b,c这样的一个无序的数列且满足gcd(a,b,c)=1,设 ...

  7. HUST 1569(Burnside定理+容斥+数位dp+矩阵快速幂)

    传送门:Gift 题意:由n(n<=1e9)个珍珠构成的项链,珍珠包含幸运数字(有且仅由4或7组成),取区间[L,R]内的数字,相邻的数字不能相同,且旋转得到的相同的数列为一种,为最终能构成多少 ...

  8. Burnside引理与Polya定理 学习笔记

    原文链接www.cnblogs.com/zhouzhendong/p/Burnside-Polya.html 问题模型 有一个长度为 $n$ 的序列,序列中的每一个元素有 $m$ 种取值. 如果两个序 ...

  9. Invoker-n颜色涂m个珠子的项链

    参考https://blog.csdn.net/anxdada/article/details/76862564. https://blog.csdn.net/baidu_35643793/artic ...

随机推荐

  1. 实战iOS7之NSURLSession

    NSURLSession VS NSURLConnection NSURLSession可以看做是NSURLConnection的进化版,其对NSURLConnection的改进点有: * 根据每个S ...

  2. org.apache.catalina.util.DefaultAnnotationProcessor cannot be cast to org.ap解决方案

    非常可能是因为tomcat的lib文件夹jar包和项目的lib文件下的jar包冲突了 把项目下lib文件下和tomcat的jar的重复的全部删除. 注意,如果你是先建flex工程然后转成web形式的, ...

  3. SQL函数(不定时更新)

    sum求和:select sum(a) from table1 group by b   依据b列为a列求和 distinct去除重复:select distinct(a) from table1   ...

  4. C++: C++函数声明的时候后面加const

    C++: C++函数声明的时候后面加const 转自:http://blog.csdn.net/zhangss415/article/details/7998123 非静态成员函数后面加const(加 ...

  5. element-ui学习

    1. 小技巧 使用导航路由 配置el-menu-item的index属性,如照片 也可使用数据动态配置导航菜单:参考 走马灯高度自适应 动态设置Carousel的height参数

  6. python-数值类型转换

    常用的数据类型转换 函数 说明 int(x [,base ]) 将x转换为一个整数 long(x [,base ]) 将x转换为一个长整数 float(x ) 将x转换到一个浮点数 complex(r ...

  7. linux命令之网络管理命令(下)

    1.wget:命令行下载工具 该命令用于从网络上下载资料,可以直接从网络上下载自己所需要的资料. 参数 说明 -O(常用) 指定保存的文件名后下载文件 --limit-rate(常用) 限速下载 -c ...

  8. Django-05模型层之多表操作2

    7.3 多表操作 一.创建模型 实例:我们来假定下面这些概念,字段和关系作者模型:一个作者有姓名和年龄.作者详细模型:把作者的详情放到详情表,包含生日,手机号,家庭住址等信息.作者详情模型和作者模型之 ...

  9. centos7 修改网卡eth0 关闭ipv6 问题总结

    1. 首先关闭"NetworkManager" 服务. 然后编辑网卡的配置文件将里面的NAME DEVICE项修改为eth0 vim /etc/sysconfig/network- ...

  10. 【bzoj 3595】: [Scoi2014]方伯伯的Oj

    传送门&& 原题解 蒟蒻终于做到一道方伯伯的题了…… 调了一个上午一直TLE(发现自己打了好久的splay板子竟然是错的这种丢人事情我就不说了) 很明显,要建两棵树,$T1$维护排名, ...