Link
Solution
定义为的对数 为的对数 则
按照套路,一般把提出来可以简化问题 于是
要求的是
数据规模决定不能分别枚举一遍。看到这个式子长得比较可爱,令,则问题变成了
于是,看到了熟悉的可以分块加速的项,思考能不能把
弄出个前缀和。然后这是可以暴力求的。
Code
1 | //Code by Lucida |
定义F(x)为x∣gcd(a,b)的对数 f(x)为gcd(a,b)==x的对数 则
F(x)=[xn][xm]=x∣d∑f(d)f(x)=x∣d∑μ(xd)F(d)=x∣d∑μ(xd)[dn][dm]按照套路,一般把x提出来可以简化问题 于是
f(1)=1∣d∑μ(d)F(d)=1∣d∑μ(d)[xdn][xdm]要求的是
p∈P∑f(p)=p∈P∑1∣d∑μ(d)F(d)=p∈P∑1∣d∑μ(d)[pdn][pdm]数据规模决定不能分别枚举一遍p,d。看到这个式子长得比较可爱,令T=pd,则问题变成了
T∑(p∣T∑μ(pT)[Tn][Tm])于是,看到了熟悉的可以分块加速的项,思考能不能把
p∣T∑μ(pT)弄出个前缀和。然后这是可以暴力求的。
1 | //Code by Lucida |