[JZOJ5457]项链

现在有m 种颜色的珠子。定义一个长度为n的项链为一个顺次连接n个珠子的环, 将所有旋转和翻转看作是等价的。
比如说, [1,2,3,4]通过旋转等价于[2,3,4,1],[3,4,1,2], [4,1,2,3]; [1, 2,3,4] 通过翻转等价于[1,4,3,2], [3,2,1,4], [2,1,4,3],[4,3,2,1]。
同时, 你还可以进行一种颜色转换操作. 这种操作会将所有珠子的颜色编号加1, 特别地, 对于所有颜色编号为m的珠子, 它们的颜色编号会变为1。
如果一个项链A在经过任意的旋转, 翻转, 颜色转换之后变为了项链B,则称A和B是等价的。
现在你要统计有多少个本质不同的项链, 对998244353 取模。
对于前20%的数据, n,m<=7；
对于前30%的数据, n,m<=10^5；
对于前50%的数据, n,m<=10^9；
对于前70%的数据, n,m<=10^12；
对于100% 的数据, 1<=T<=20; 3<=n<=10^18; 2<=m<=10^18, 998244353 ∤ n,m。

分析

这道题题目就很明显是群论题了…扔在noip模拟，十分不友好…考试的时候经典做法忘大半，什么都推不出来。
这道题有三个置换，有两个十分熟悉，我们先来回顾一下这个经典置换做法：

burnside引理

前置知识是基本群论，网上应该很多资料。
设ans为本质不同的方案数，f是置换群G的一个置换，$Ans=\frac{\sum_{f\in G}cnt(f)}{|G|}$。cnt表示的是在置换f下的不动点的多少，不动点指的是无论用f置换多少次，这种方案跟原来还是一样的，比如一条染色为1,1,1的项链，对于置换f”旋转一次”是不动点，因为旋转一下还是1,1,1。注意这里枚举的置换一定要本质不同而且全部都被枚举到。

经典题目

考虑置换群G={旋转，翻转}，n个珠子的项链，有m种颜色给你染。先考虑只有旋转，对于旋转i=0~n-1次，第x个点的颜色必须要和i+x的颜色一致，才能是不动点。考虑x和i+x连一条边，那么同一个联通块的点颜色都要一致。通过观察可以发现块数是gcd(n,i)（i=0可以看成i=n）。怎么思考呢？对于第一个点，我们考虑他所在的联通块大小，相当于1加了多少次i回到1这个点，即出现循环，那么就是方程$ix\equiv 0(mod\ n)$的最小正整数解。这条式子看成是ix是n的倍数，那么x怎么小，都必须要有i中没有的，n的因子，也即$\frac{n}{gcd(i,n)}$，那么联通块大小我们算出来了，联通块个数就用n除它即可。

再考虑翻转，很直观的想法是在旋转的基础上再考虑翻转或者不翻转，但这样很麻烦，我考场上忘记了，这样推搞了好久都不对。旋转+翻转可以看做是一条可以动的对称轴，那么对于n为奇数，对称轴可以穿过每一个点，穿过之后两边的对称点要取一样的颜色，那么考虑翻转的总方案数就是$n*m^{{[\frac{n}{2}]+1}}$；n为偶数偶数也差不多，n/2条可以插在两个珠子之间，n/2条可以穿过两个珠子（他们都是本质不同的），那么方案是$\frac{n}{2}*m^{{[\frac{n}{2}]+1}}+\frac{n}{2}*m^{{[\frac{n}{2}]}}$。
这样我们加入了翻转，本质不同的置换多了n个，置换群大小变成2n了。

到达本题

考虑加入换颜色的置换，有两种思路，一种是直接在原来的不动点统计中做些操作，置换群大小不变，但是统计方案变少。另一种是使置换群大小变成2*n*m，再看看怎么做。前者实践证明不太好做，考虑后者。
考虑旋转+颜色，设旋转i下，颜色+d，那么这种情况下，原来的一个联通块的特征有什么变化呢？我们发现，第x个和第x+i个的颜色差必须为d，考虑整个联通块，能够发现 d