[数学专题大汇总][SDOI2013]项链

前言

这题是一道质量非常好的题，涉及到许多的数学算法和思想，而又毫无违和感，没有给人强行多合一的感觉，是一道温故知新的好题。

---

题目大意

一条首尾相连的项链由$n$个珠子组成，每个珠子有$3$个面，每个面都有一个数字，这三个数字都是小于等于$a$的正整数，且三个数的最大公约数为$1$。
两个珠子相同当且仅当它们经过翻转和旋转之后相同。项链上任意两个相邻位置的珠子不能相同。
两条项链相同当且仅当它们经过旋转后一样。
给定$n$和$a$，求不同项链数模$1000000007$的值。
每个测试点有$T$组数据。

$1\le n\le10^{14},1\le a\le 10^7,1\le T\le10$
当然对于最大数据点，为了防止卡常数，只有一组数据。

---

题目分析

分而治之

显然这个问题可以分成两个子问题：
$\bullet$有多少种不同的合法的珠子。
$\bullet$有多少种不同的合法的项链。

Part 1

考虑如何求不同的合法的珠子。
简化问题，每一种合法的珠子可以看成一个三元组$(x,y,z)$，满足$0<x\le y\le z\le a$且$gcd(x,y,z)=1$。
除去三个元素互相之间的大小限制，问题显然会简单很多，但是这里有大小的限制，考虑如何除去大小限制（当然$(0,a]$的限制还是要有的，这里和下面一般指的都是元素之间的）。
考虑无序合法三元组，设其为个数$ans3$，如果三元组之间没有相同元素，那么每种本质相同的三元组也就都出现了$6$次，我们除去就好，但实际上会出现有两个甚至三个元素相同，这样出现次数是不够$6$次的，我们要想办法补齐。无序合法二元组，设其个数为$ans2$，它们显然每个都仅出现了$3$次。别忘了考虑三个数相等的三元组，合法的显然只有$(1,1,1)$（别忘了$gcd$限制），它只出现了$1$次，但是前面在二元组时我们又补了三次，所以只要再补上两次即可。
因此，不同珠子个数为$\frac{1}{6}(ans3+ans2\times3+2)$。
那我们怎样去求$ans3$以及$ans2$呢。

莫比乌斯反演

显然这是莫比乌斯反演的经典问题，求某个范围之内$gcd$为定值数对个数，我们之前只讨论了两个数的情况，三个数的其实类似。

$$ans2=\sum_{d=1}^a{\lfloor\frac{a}{i}\rfloor}^2\mu(i)\\ ans3=\sum_{d=1}^a{\lfloor\frac{a}{i}\rfloor}^3\mu(i)$$
由于这里我们只用求出 $gcd=1$的数对个数，且 $a$的大小支持一次枚举，所以我们可以不使用分块，直接算上面的式子即可。

至此，我们已经求出不同的合法珠子个数，设其为$m$。
在下面的部分中，我们将其不同种类的珠子看做不同的颜色，显然这题变为给首尾相连的项链染色，相邻两个珠子颜色不同，两个项链相同当且仅当项链旋转后相同。求不同项链个数。

Part 2

Burnside引理

显然，这个问题现在变成了等价类计数问题，这里的等价关系是旋转。
根据$Burnside$引理，答案显然为

∑ni=1C(i)n