P3307-[SDOI2013]项链【Burnside引理,莫比乌斯反演,特征方程】
正题
题目链接:https://www.luogu.com.cn/problem/P3307
题目大意
\(n\)个珠子的一个环形项链,每个珠子有三个\(1\sim k\)的整数。
- 两个珠子不同当且仅当它们不能通过翻转或者旋转得到
- 两个项链不同当且仅当它们不能通过旋转得到
- 珠子要求上面的数字互质
- 项链要求相邻珠子不同
求方案数。
解题思路
珠子的计数和项链计数是没什么关系的,所以两个分开求。
先考虑求珠子有多少种。相当与求有多少种三元组,因为三个数字的排列通过以上操作可以得到任何其他排列。
首先答案包括了三个不同的,有两个相同的,全部都相同的。
也就是设\(S_i\)表示\(i\)元组的数目的话答案就是\(S_3+3S_2+2S_1\)(容斥一下可以得到的)
可以先不考虑顺序问题,最后除上一个六就好了。
要求互质所以可以直接上莫反就变为求\(\sum_{i=1}^k\mu(i)F(i)\)。对于每个\(F(i)\)来说就是有\(\lfloor\frac{k}{i}\rfloor\)个数字不要求互质的答案。
对于三元组来说\(F(i)=\lfloor\frac{k}{i}\rfloor^3\),二元组就是\(F(i)=\lfloor\frac{k}{i}\rfloor^2\)可以和三元组一起解决,一元组就是\(1\)。
这样整除分块就可以\(\sqrt k\)的处理单次询问了。
现在考虑项链的方案,根据\(\text{Burnside}\)引理的话就是\(\frac{1}{n}\sum_{i=1}^nf(gcd(i,n))\),其中\(f(i)\)表示大小为\(i\)的不动点数量(也就是转\(i\)次的话置换中环的数量)。化一下就是\(\frac{1}{n}\sum_{d|n}f(d)\varphi(\frac{n}{d})\),需要考虑如何求\(f\)。
因为是不动点,所以每一个环中的颜色都得相同,然后因为每个环都是相互隔开的,也就是可以视为有\(gcd(n,i)\)个珠子头尾相连要涂色,不能有相邻颜色相同。
这个\(f\)是有递推式\(f(i)=f(i-1)*(m-2)+f(i-2)*(m-1)\)(据说法是第一个是直接在末端插入一个颜色的珠子,第二个是先在末端插入一个和首部相同颜色的珠子再插入一个不同颜色的将它们隔开,这个是第一个无法处理的情况)。
这个可以用矩阵乘法快速递推,但是好像有更简单的方法可以一试,考虑将式子化为\(f(x)-af(x-1)=bf(x-1)+abf(x-2)\)的形式,这样可以将答案化为一个带幂的函数。
那就有方程\(\left\{\begin{matrix}b-a=m-2
\\ab=m-1
\end{matrix}\right.\),然后可以解出\(a=1\)或者\(a=1-m\)。带个\(1\)进去做。也就是有\(f(x)-f(x-1)=(m-1)(f(x-1)+f(x-2))\)也就是乘上\(m-1\)就往后退一步,所以有\(f(x)-f(x-1)=(m-1)^{x-2}(f(1)+f(2))\)直接带\(f(1)=0,f(2)=m(m-1)\)进去就有\(f(x)=m(m-1)^{x-1}-f(x-1)\)
设一个\(A\)满足
\]
\]
又因为有\(f(x)=m(m-1)^{x-1}-f(x-1)\)
\]
所以把\(A\)带回最初式子,把\(f(x-1)\)换成\(f(x)\)就有式子
\]
\]
(这个好像是叫特征方程的玩意)
现在就可以用快速幂算\(f(x)\)了,\(\varphi\)比较大,不能直接\(\sqrt n\)求单个,可以先把\(n\)质因数分解了然后\(dfs\)下去就好了。然后还有因为\(n\)很大,有可能是模数\(P\)的倍数,这个时候我们求答案模\(P^2\),然后除以一个\(P\)在和\(\frac{n}{P}\)搞逆元就好了。
时间复杂度\(O(k+T(\sqrt n+\sqrt m))\)
code
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const ll N=1e7+10,XJQ=1e9+7,inv6=833333345000000041ll;
ll T,n,m,k,ans,P,cnt,num;
ll pri[N/10],mu[N],p[110],c[110];
bool v[N];
void init(){
mu[1]=1;
for(ll i=2;i<N;i++){
if(!v[i])pri[++num]=i,mu[i]=-1;
for(ll j=1;j<=num&&i*pri[j]<N;j++){
v[i*pri[j]]=1;
dans
}
for(ll i=1;i<N;i++)
mu[i]+=mu[i-1];
return;
}
ll ksc(ll a,ll b,ll p){
a%=p;b%=p;
ll tmp=(long double)a*b/p;
long double ans=a*b-tmp*p;
if(ans>=p)ans-=p;
else if(ans<0)ans+=p;
return ans;
}
ll power(ll x,ll b,ll p){
ll ans=1;
while(b){
if(b&1)ans=ksc(ans,x,p);
x=ksc(x,x,p);b>>=1;
}
return ans;
}
void Get_M(ll n){
m=2;
for(ll l=1,r;l<=n;l=r+1){
r=n/(n/l);ll k=n/l;
(m+=ksc(ksc(ksc(k,k,P),k+3,P),mu[r]-mu[l-1],P))%=P;
}
m=ksc(m,inv6,P);
return;
}
ll f(ll n)
{return power(m-1,n,P)+((n&1)?(P-m+1):(m-1))%P;}
void dfs(ll dep,ll x,ll val){
if(dep>cnt){
(ans+=ksc(f(n/x),val,P))%=P;
return;
}
dfs(dep+1,x,val);
val*=p[dep]-1;x*=p[dep];
dfs(dep+1,x,val);
for(ll i=2;i<=c[dep];i++)
val=val*p[dep],x*=p[dep],dfs(dep+1,x,val);
return;
}
signed main()
{
scanf("%lld",&T);
init();
while(T--){
scanf("%lld%lld",&n,&k);
if(n%XJQ!=0)P=XJQ;
else P=XJQ*XJQ;
Get_M(k);
// printf("%lld",m);
ll x=n;cnt=ans=0;
for(ll i=1;i<=num&&pri[i]*pri[i]<=x;i++){
if(x%pri[i]==0){
p[++cnt]=pri[i];c[cnt]=0;
while(x%pri[i]==0)
c[cnt]++,x/=pri[i];
}
}
if(x>1)p[++cnt]=x,c[cnt]=1;
dfs(1,1,1);
if(n%XJQ==0)
printf("%lld\n",ans/XJQ*power(n/XJQ,XJQ-2,XJQ)%XJQ);
else
printf("%lld\n",ans*power(n,XJQ-2,XJQ)%XJQ);
}
return 0;
}
P3307-[SDOI2013]项链【Burnside引理,莫比乌斯反演,特征方程】的更多相关文章
- 洛谷P3307 [SDOI2013]项链 [polya定理,莫比乌斯反演]
传送门 思路 很明显的一个思路:先搞出有多少种珠子,再求有多少种项链. 珠子 考虑这个式子: \[ S3=\sum_{i=1}^a \sum_{j=1}^a\sum_{k=1}^a [\gcd(i,j ...
- 洛谷 P3307 - [SDOI2013]项链(Burnside 引理+数论)
题面传送门 看到题目我们显然可以将题目拆分成两部分:首先求出有多少个符合要求的珠子 \(c\),这样我们就可以将每种珠子看成一种颜色,题目也就等价于有多少种用 \(c\) 种颜色染长度为 \(n\) ...
- 【BZOJ3202】项链(莫比乌斯反演,Burnside引理)
[BZOJ3202]项链(莫比乌斯反演,Burnside引理) 题面 BZOJ 洛谷 题解 首先读完题目,很明显的感觉就是,分成了两个部分计算. 首先计算本质不同的珠子个数,再计算本质不同的项链个数. ...
- 洛谷 P3307: bzoj 3202: [SDOI2013] 项链
题目传送门:洛谷P3307.这题在bzoj上是权限题. 题意简述: 这题分为两个部分: ① 有一些珠子,每个珠子可以看成一个无序三元组.三元组要满足三个数都在$1$到$m$之间,并且三个数互质,两个珠 ...
- bzoj3202:[Sdoi2013]项链
思路:首先考虑如何求珠子个数,一个珠子由a,b,c三个数组成且属于区间[1,a],并满足gcd(a,b,c)=1.由于要求本质相同,对于a,b,c这样的一个无序的数列且满足gcd(a,b,c)=1,设 ...
- [SDOI2013]项链
description luogu 最近,铭铭迷恋上了一种项链.与其他珍珠项链基本上相同,不过这种项链的珠子却与众不同,是正三菱柱的泰山石雕刻而成的. 三菱柱的侧面是正方形构成的,上面刻有数字. 能够 ...
- 【POJ 2154】 Color (置换、burnside引理)
Color Description Beads of N colors are connected together into a circular necklace of N beads (N< ...
- [模板] 容斥原理: 二项式反演 / Stirling 反演 / min-max 容斥 / 子集反演 / 莫比乌斯反演
//待更qwq 反演原理 二项式反演 若 \[g_i=\sum_{j=1}^i {\binom ij} f_j\] , 则有 \[ f_i=\sum_{j=1}^i (-1)^{i-j} {i \ch ...
- Burnside引理与Polya定理 学习笔记
原文链接www.cnblogs.com/zhouzhendong/p/Burnside-Polya.html 问题模型 有一个长度为 $n$ 的序列,序列中的每一个元素有 $m$ 种取值. 如果两个序 ...
随机推荐
- COM笔记-引用计数
参考网站:https://www.cnblogs.com/fangyukuan/archive/2010/06/06/1752621.html com组件将维护一个称作是引用计数的数值.当客户从组件取 ...
- nodejs根据word模板生成文档
这里使用的模块是 docx-templates,直接npm安装即可[方法二:https://www.cnblogs.com/vichang/p/10416449.html] 1,模板文件 +++QU ...
- vim conf文件配色
VIM conf文件配色 一.配置文件 1.下载Nginx配置文件的语法文件:nginx.vim wget http://www.vim.org/scripts/download_script.php ...
- CSS基本语法(慕课网学习笔记)
CSS的声明,内外联样式以及CSS的优先级 css学习.html <!DOCTYPE html> <html lang="en"> <head> ...
- 网络操作系统VyOS之NAT实践
本文基于 网络操作系统VyOS应用实践(四) 修改,完善了实验细节及1-to-1 NAT部分. NAT NAT即网络地址转换,最常见的就是各种虚拟机工具的NAT模式,让虚拟机以宿主的网络地址与外网通讯 ...
- Spark Ignite踩坑记录
Ignite spark 踩坑记录 简述 ignite访问数据有两种模式: Thin Jdbc模式: Jdbc 模式和Ignite client模式: shell客户端输出问题,不能输出全列: 针对上 ...
- Vue.JS快速上手(Vue-router 实现SPA 开发)
一.什么是路由 URL -> 映射 -> 组件 Hash+onhashchange History.pushstate+replaceState+onpopstate 二.准备工作 组件 ...
- T-SQL - 习题01_查询每门课都大于80分的学生姓名
时间:2017-09-11 整理:byzqy 题目:用一条SQL语句查询出每门课都大于80分的学生姓名. 最近面试C#开发工程师,碰到上面这个考数据库的题目,自己感觉有点难度,没有思路,现将找到的解决 ...
- Spring系列之事物是如何管理的
前言 我们都知道Spring给我们提供了很多抽象,比如我们在操作数据库的过程中,它为我们提供了事物方面的抽象,让我们可以非常方便的以事物方式操作数据库.不管你用JDBC.Mybatis.Hiberna ...
- eclipse建立c语言工程以及成功下载到FPGA芯片过程遇到的各种问题以及解决方法详解
推荐大家预先建立好一个工程目录文件夹,确实挺好用,参考正点原子的pdf教程,如下图所示, 我们eclipse在software文件夹建立一个workspace即可 选择用helloworld模板建立工 ...