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

正题

题目链接:https://www.luogu.com.cn/problem/P3307


题目大意

nnn个珠子的一个环形项链,每个珠子有三个1∼k1\sim k1k的整数。

  • 两个珠子不同当且仅当它们不能通过翻转或者旋转得到
  • 两个项链不同当且仅当它们不能通过旋转得到
  • 珠子要求上面的数字互质
  • 项链要求相邻珠子不同

求方案数。


解题思路

珠子的计数和项链计数是没什么关系的,所以两个分开求。

先考虑求珠子有多少种。相当与求有多少种三元组,因为三个数字的排列通过以上操作可以得到任何其他排列。
首先答案包括了三个不同的,有两个相同的,全部都相同的。

也就是设SiS_iSi表示iii元组的数目的话答案就是S3+3S2+2S1S_3+3S_2+2S_1S3+3S2+2S1(容斥一下可以得到的)

可以先不考虑顺序问题,最后除上一个六就好了。

要求互质所以可以直接上莫反就变为求∑i=1kμ(i)F(i)\sum_{i=1}^k\mu(i)F(i)i=1kμ(i)F(i)。对于每个F(i)F(i)F(i)来说就是有⌊ki⌋\lfloor\frac{k}{i}\rfloorik个数字不要求互质的答案。
对于三元组来说F(i)=⌊ki⌋3F(i)=\lfloor\frac{k}{i}\rfloor^3F(i)=ik3,二元组就是F(i)=⌊ki⌋2F(i)=\lfloor\frac{k}{i}\rfloor^2F(i)=ik2可以和三元组一起解决,一元组就是111
这样整除分块就可以k\sqrt kk的处理单次询问了。

现在考虑项链的方案,根据Burnside\text{Burnside}Burnside引理的话就是1n∑i=1nf(gcd(i,n))\frac{1}{n}\sum_{i=1}^nf(gcd(i,n))n1i=1nf(gcd(i,n)),其中f(i)f(i)f(i)表示大小为iii的不动点数量(也就是转iii次的话置换中环的数量)。化一下就是1n∑d∣nf(d)φ(nd)\frac{1}{n}\sum_{d|n}f(d)\varphi(\frac{n}{d})n1dnf(d)φ(dn),需要考虑如何求fff

因为是不动点,所以每一个环中的颜色都得相同,然后因为每个环都是相互隔开的,也就是可以视为有gcd(n,i)gcd(n,i)gcd(n,i)个珠子头尾相连要涂色,不能有相邻颜色相同。
这个fff是有递推式f(i)=f(i−1)∗(m−2)+f(i−2)∗(m−1)f(i)=f(i-1)*(m-2)+f(i-2)*(m-1)f(i)=f(i1)(m2)+f(i2)(m1)(据说法是第一个是直接在末端插入一个颜色的珠子,第二个是先在末端插入一个和首部相同颜色的珠子再插入一个不同颜色的将它们隔开,这个是第一个无法处理的情况)。

这个可以用矩阵乘法快速递推,但是好像有更简单的方法可以一试,考虑将式子化为f(x)−af(x−1)=bf(x−1)+abf(x−2)f(x)-af(x-1)=bf(x-1)+abf(x-2)f(x)af(x1)=bf(x1)+abf(x2)的形式,这样可以将答案化为一个带幂的函数。

那就有方程{b−a=m−2ab=m−1\left\{\begin{matrix}b-a=m-2 \\ab=m-1 \end{matrix}\right.{ba=m2ab=m1,然后可以解出a=1a=1a=1或者a=1−ma=1-ma=1m。带个111进去做。也就是有f(x)−f(x−1)=(m−1)(f(x−1)+f(x−2))f(x)-f(x-1)=(m-1)(f(x-1)+f(x-2))f(x)f(x1)=(m1)(f(x1)+f(x2))也就是乘上m−1m-1m1就往后退一步,所以有f(x)−f(x−1)=(m−1)x−2(f(1)+f(2))f(x)-f(x-1)=(m-1)^{x-2}(f(1)+f(2))f(x)f(x1)=(m1)x2(f(1)+f(2))直接带f(1)=0,f(2)=m(m−1)f(1)=0,f(2)=m(m-1)f(1)=0,f(2)=m(m1)进去就有f(x)=m(m−1)x−1−f(x−1)f(x)=m(m-1)^{x-1}-f(x-1)f(x)=m(m1)x1f(x1)
设一个AAA满足
f(x)+(m−1)A=−(f(x−1)+A)f(x)+(m-1)A=-(f(x-1)+A)f(x)+(m1)A=(f(x1)+A)
f(x)+mA=−f(x−1)f(x)+mA=-f(x-1)f(x)+mA=f(x1)
又因为有f(x)=m(m−1)x−1−f(x−1)f(x)=m(m-1)^{x-1}-f(x-1)f(x)=m(m1)x1f(x1)
m(m−1)x−1+mA=0⇒A=(m−1)x−1m(m-1)^{x-1}+mA=0\Rightarrow A=(m-1)^{x-1}m(m1)x1+mA=0A=(m1)x1
所以把AAA带回最初式子,把f(x−1)f(x-1)f(x1)换成f(x)f(x)f(x)就有式子
f(x)+(m−1)x=−(f(x)−(m−1)x−1)f(x)+(m-1)^x=-(f(x)-(m-1)^{x-1})f(x)+(m1)x=(f(x)(m1)x1)
⇒f(x)=(−1)x(m−1)+(m−1)x\Rightarrow f(x)=(-1)^{x}(m-1)+(m-1)^xf(x)=(1)x(m1)+(m1)x
(这个好像是叫特征方程的玩意)

现在就可以用快速幂算f(x)f(x)f(x)了,φ\varphiφ比较大,不能直接n\sqrt nn求单个,可以先把nnn质因数分解了然后dfsdfsdfs下去就好了。然后还有因为nnn很大,有可能是模数PPP的倍数,这个时候我们求答案模P2P^2P2,然后除以一个PPP在和nP\frac{n}{P}Pn搞逆元就好了。

时间复杂度O(k+T(n+m))O(k+T(\sqrt n+\sqrt m))O(k+T(n+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);elseprintf("%lld\n",ans*power(n,XJQ-2,XJQ)%XJQ);}return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/319745.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【树链剖分】Milk Visits G(luogu 5838)

正题 luogu 5838 题目大意 给你一棵树&#xff0c;和若干查询&#xff0c;每次查询一条路径上是否有点的权值为x 解题思路 离线处理&#xff0c;每次将树上权值为x的点附上1的值&#xff0c;然后询问就是求和&#xff0c;查询完后清零 代码 #include<cstdio> #includ…

2020牛客暑期多校训练营(第二场)

2020牛客暑期多校训练营&#xff08;第二场&#xff09; 最烦英语题 文章目录A All with PairsB BoundaryC Cover the TreeD DurationE Exclusive ORF Fake MaxpoolingG Greater and GreaterH Happy TriangleI IntervalJ Just ShuffleK Keyboard FreeA All with Pairs B Bound…

鸿蒙 - arkTs:状态管理

状态 State&#xff1a; 在声明式UI中&#xff0c;以状态驱动视图更新 状态&#xff08;State&#xff09;&#xff1a;指驱动视图更新的数据&#xff08;被装饰器标记的变量&#xff09;视图&#xff08;View&#xff09;&#xff1a;基于UI描述渲染得到的用户界面 使用示例…

微软发布Azure Pipelines,开源项目可无限制使用CI/CD

微软发布了Azure Pipelines&#xff0c;他们新的CI/CD服务&#xff0c;是Azure DevOps产品的一部分。Azure Pipelines可用于构建、测试和部署工作负载&#xff0c;并可以让各种语言、项目类型和平台协同工作。作为Visual Studio Team Services&#xff08;VSTS&#xff09;的后…

Codeforces Round #653 (Div. 3)

A.Required Remainder 二分 #include<iostream> #include<algorithm> using namespace std; int main() {int T;ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);cin>>T;int x,y,n;while(T--){cin>>x>>y>>n;int l0,r(n-y)/x;while(…

【树链剖分】【倍增】宝石(2021GDOI Day2 T1)

正题 luogu 7518 题目大意 给你一棵树&#xff0c;一条路径的价值为&#xff1a;路径上点权以1开始依次递增1的子序列&#xff0c;有q次询问&#xff0c;每次询问一条路径的价值 解题思路 n,m值比较大&#xff0c;对于每次询问只有O(log2n)O(log^2n)O(log2n)的时间 考虑树链…

2020牛客暑期多校训练营(第一场)

文章目录A B-Suffix ArrayB Infinite TreeC DominoD Quadratic FormE Counting Spanning TreesF Infinite String Comparision题意&#xff1a;题解&#xff1a;代码&#xff1a;G BaXianGuoHai, GeXianShenTongH Minimum-cost FlowI 1 or 2J Easy Integration题意题解代码2020…

P4755-Beautiful Pair【笛卡尔树,线段树】

正题 题目链接:https://www.luogu.com.cn/problem/P4755 题目大意 nnn个数字的一个序列&#xff0c;求有多少个点对i,ji,ji,j满足aiaj≤max{ak}(k∈[l,r])a_i\times a_j\leq max\{a_k\}(k\in[l,r])ai​aj​≤max{ak​}(k∈[l,r]) 解题思路 如果构建一棵笛卡尔树的话那么两个点…

C# 接受MQTT服务器推送的消息

前言&#xff1a;MQTT是IBM开发的一个即时通讯协议。MQTT是面向M2M和物联网的连接协议&#xff0c;采用轻量级发布和订阅消息传输机制。大家可以直接上GitHub下载MQQT服务的源码&#xff0c;源码地址&#xff1a;https://github.com/mqtt/mqtt.github.io/wiki/libraries主要内容…

【堆】【DP】Niyaz and Small Degrees(luogu 7600[APIO 2021 T3]/luogu-CF1119F)

正题 luogu 7600[APIO 2021 T3] luogu-CF1119F 题目大意 给你一棵树&#xff0c;给出每条边割掉的代价&#xff0c;问你对于0⩽k<n0\leqslant k<n0⩽k<n&#xff0c;使得每个点的度数小于k的最小代价 解题思路 首先考虑单询问的情况 可以设fx,1/0f_{x,1/0}fx,1/0​…

Boundary(2020多校第二场B)

Boundary&#xff08;2020多校第二场B&#xff09; 文章目录题意&#xff1a;题解&#xff1a;思路1&#xff1a;代码&#xff1a;思路二代码题意&#xff1a; 坐标平面有n个点&#xff08;不与原点&#xff08;0,0&#xff09;重复&#xff09;,现考虑一个圆&#xff0c;&…

.NET Core开发日志——Linux版本的SQL Server

SQL Server 2017版本已经可以在Linux系统上安装&#xff0c;但我在尝试.NET Core跨平台开发的时候使用的是Mac系统&#xff0c;所以这里记录了在Mac上安装SQL Server的过程。最新的SQL Server没有专门为Mac系统准备安装包&#xff0c;但由于Mac系统上支持Docker&#xff0c;所以…

P3313-[SDOI2014]旅行【树链剖分,线段树】

正题 题目链接:https://www.luogu.com.cn/problem/P3313 题目大意 nnn个点的一棵树&#xff0c;每个点有一个颜色和权值&#xff0c;有操作 修改一个点的权值修改一个点的颜色询问一条路径的某颜色的权值和询问一条路径的某颜色的权值最大值 解题思路 询问路径直接树剖先&am…

AIsing Programming Contest 2020 总结

A - Number of Multiples 按照题目意思走就行 #define IO ios::sync_with_stdio(false);cin.tie();cout.tie(0) #include<iostream> #include<algorithm> using namespace std; int l,r,d; int main() {IO;cin>>l>>r>>d;if(r<l) swap(l,r);…

【倍增】【线段树】雨林跳跃(luogu 7599[APIO 2021 T2])

正题 luogu 7599[APIO 2021 T2] 题目大意 给你一排树中每棵树的高度&#xff0c;每次跳跃可以跳到左/右边第一棵比该树高的树&#xff0c;问你从A-B中某棵树跳到C-D中的某棵树的最小步数&#xff08;A⩽B<C⩽DA\leqslant B< C\leqslant DA⩽B<C⩽D&#xff09; 解题…

Duration(2020多校第二场D)

Duration&#xff08;2020多校第二场D&#xff09; 文章目录题意题解代码首先&#xff0c;非常感谢出题人出这个题&#xff0c;避免了我全wa的尴尬题意 求两个时间相差多少秒&#xff0c;两个时间为同一天 题解 全部转化成秒&#xff0c;然后求差 代码 #include<bits/s…

dotnetClub 的前世今生

三年之前&#xff0c;我做过一个在线调查&#xff0c;当时有不少人还是对一个在线社区表示出期待。.NET Core 技术正风声水起&#xff0c;所以我就开始了用它来开发一个论坛的计划。最近正式将项目推动到了一个 MVP 的状态。感兴趣的朋友&#xff0c;现在可以访问 preview.dotn…

P3308-[SDOI2014]LIS【最小割】

正题 题目链接:https://www.luogu.com.cn/problem/P3308 题目大意 三个nnn个数字的序列A,B,CA,B,CA,B,C。要求删除其中某些位置iii使得AAA的最长上升子序列至少减少111且删去位置BBB的权值和最小的情况下满足删去位置的CCC值升序排序后字典序最小。 解题思路 首先BBB值最小很…

Codeforces Round #656 (Div. 3)

A.Three Pairwise Maximums 首先最大的在原序列中肯定出现至少两次否则不能构造&#xff0c;即min max max&#xff0c;对于答案min min max肯定满足题意 #define IO ios::sync_with_stdio(false);cin.tie();cout.tie(0) #include<iostream> #include<algorithm>…

【LCT】网络(luogu 2173/ZJOI2011)

正题 luogu 2173 题目大意 给你一个图&#xff0c;每条边有有一种颜色&#xff08;numcolor⩽10num_{color}\leqslant 10numcolor​⩽10&#xff09;&#xff0c;保证以下性质&#xff1a; 1.一个点连出的同色边数不大于2 2.不存在同色边组成的环 现在让你进行3钟操作&…