【51nod1847】 奇怪的数学题
就当我是 A 了此题吧...
首先预备知识有点多(因为题目要处理的东西都挺毒瘤):
- 杜教筛运用(当然你可以用其他筛?)
- 第二类斯特林数相关定理
- 下降阶乘幂相关定理
- min25 筛运用
好了可以关掉本题解了
咳咳上面我除了杜教筛都不会,于是熬了好久才 抄 做掉的
题意
我们首先考虑题目让我们求什么:
\]
上面的 \(sgcd(i,j)\) 表示 \(gcd(i,j)\) 的次大约数
emmm?有问题么?虽然题目让我们求 两个数的次大公约数 ,但是这个次大公约数必然能被他们的 gcd 整除,那么这个次大公约数也就是 gcd 的次大约数了
noteskey
Part 1
我们考虑用 f(i) 表示一个数的次大约数:
\]
然后这里有 gcd 啊,立马开始化式子:
\]
这时候我们就有两个选择了,要么反演变成 μ ,要么转成 φ ,个人感觉可能 φ 方便点(毕竟大家都写的 φ ),但是 μ 也没有差到哪里去
求 φ
\]
\]
然后我们发现这里可以数论分块,上杜教筛!
求 μ
\]
\]
\]
然后我们发现还是可以数论分块,上杜教筛!
然后这篇题解到此结束,完结撒花
有什么不对的样子...emmm 哦! 前面的 f 还没说怎么求啊!
Part 2
我们重新考虑 f 是个啥:
如果说 x 是个质数,那么 f(x) 显然是 1 ,然后我们考虑一个合数的 f 值其实就是其本身除去最小值因子
总的来说,一个数 x 的 f 值就是 x 除去其最小质因子(当然 1 是有特例,算 0 的)
那么按照套路我们肯定是要求 f 的前缀和的(不然怎么数论分块啊!)
所以我们肯定也是要求出类似 \(\sum_{i=1}^n i^k\) 这样的东西(我们考虑除去一个最小值因子之后的贡献时肯定要用到的嘛)
然后我们看看这玩意儿怎么求先
k 次幂和的快速计算
可能看到这玩意儿你会想到拉格朗日插值...
但是很遗憾这道题的模数很不友好(就是那个自然溢出的玩意儿),我们只能另寻他路
所以首先我们要用的就是第二类斯特林数的性质了:
\]
那么前缀和就是:
\]
\]
然后看到后面的东西其实是一个下降阶乘幂
\]
分析这个下降阶乘幂的前缀和:
\]
至于证明...要用积分(我们看到这玩意儿挺像多项式求积分的形式的,就是感觉底数 n+1 有点不对劲,不过毕竟这不是简单的多项式而是下降阶乘幂,所以就默认它存在吧)
那么原来的式子带进去:
\]
这样的话我们就可以预处理斯特林数然后 \(O(k)\) 跑出 \(i^k\) 的前缀和了 (注意这里的 k 上限 50 ,所以不会出事)
那么我们考虑质数 合数贡献分开来算,就是,就是说我们只要让合数的 f 值前缀和加上质数个数(每个 f 贡献为 1 ,相当于求质数个数)就是要求的 f 前缀和了
质数个数可能还比较好做,但是还要考虑合数的次大约数前缀和怎么求:
我们考虑之前说的一个数除去它的最小质因子,这有点像欧拉筛哈,但是欧拉筛是线性的,对于这样的问题无能为力
于是我们考虑 min25 筛中其实也有每个数被最小质因子筛去的这一性质,于是我们欢乐地套上 min25 筛就过了此题
code
这里用的是第一种化简(也就是求 φ 的),但其实这题关键在于求出 f 的前缀和所以求 φ 还是 μ 无所谓了啦
//by Judge
#include<bits/stdc++.h>
#define fp(i,a,b) for(register int i=(a),I=(b)+1;i<I;++i)
#define ui unsigned int
using namespace std;
const int M=1e6+3;
typedef ui arr[M<<1];
ui n,m,mm,K,cnt,cntval,sq; ui ans,S[60][60];
arr v,p,loc1,loc2,g,rec,phi,pcnt,pw,G; map<ui,ui> mp;
inline ui qpow(ui x,int p){ ui s=1;
for(;p;p>>=1,x=x*x)
if(p&1) s=s*x; return s;
}
inline ui Pos(ui x){ //判断返回两种 id 中哪种的 val
return x<=sq?loc1[x]:loc2[n/x];
}
inline ui f(ui x){ // 求 f 前缀和
return G[Pos(x)]+pcnt[Pos(x)];
}
inline void prep(int n){ v[1]=phi[1]=1; //预处理各种变量
for(int i=2;i<=n;++i){ if(!v[i]) p[++cnt]=i,phi[i]=i-1;
for(int j=1;j<=cnt&&i*p[j]<=n;++j){ v[i*p[j]]=1;
if(!(i%p[j])){phi[i*p[j]]=phi[i]*p[j];break;}
phi[i*p[j]]=phi[i]*(p[j]-1);
} phi[i]+=phi[i-1]; //线性筛 phi
} S[0][0]=1;
fp(i,1,K){ S[i][1]=1;
fp(j,2,i) S[i][j]=S[i-1][j]*(ui)j+S[i-1][j-1]; //计算第二类斯特林数
}
fp(i,1,cnt) pw[i]=qpow(p[i],K); //计算 p[i] 的 K 次幂
}
inline void init_loc(ui n){ cntval=0; //预处理出要处理的 n/i 的 val
for(ui l=1,r;l<=n;l=r+1)
r=n/(n/l),rec[++cntval]=n/l;
reverse(rec+1,rec+1+cntval);
fp(i,1,cntval)
if(rec[i]<=sq) loc1[rec[i]]=i;
else loc2[n/rec[i]]=i;
}
inline ui sum(ui l,ui r){ //计算 l~ r 的和
ui tmp1=l+r,tmp2=r-l+1;
if(tmp1&1) tmp2>>=1;
else tmp1>>=1;
return tmp1*tmp2;
}
inline ui get_phi(ui n){ if(n<=mm) return phi[n]; //杜教筛求 phi 前缀和
if(mp[n]) return mp[n]; ui ans=sum(1,n);
for(ui l=2,r;l<=n;l=r+1) r=n/(n/l),
ans-=get_phi(n/l)*(r-l+1); return mp[n]=ans;
}
inline ui calc_sumk(long long n){ //计算 n^K 的前缀和
ui ans=0,tmpval,tmp;
fp(i,1,K){ // K 次幂 ,循环 K 次
tmpval=1,tmp=(n-i+1)%(i+1);
for(long long j=n-i+1;j<=n+1;++j,++tmp){
if(tmp>=i+1) tmp-=i+1;
if(!tmp) tmpval*=(ui)j/(i+1);
else tmpval*=(ui)j; //计算下降幂
}
ans+=S[K][i]*tmpval;
} return ans;
}
inline void get_g(){ // g 存 rec[i] 范围内 质数 ^ k 次幂 的前缀和 , pcnt 存 rec[i] 内质数个数(也就是 所有质数 f 的前缀和)
fp(i,2,cntval) g[i]=calc_sumk(rec[i])-1,pcnt[i]=rec[i]-1;
fp(j,1,m) for(int i=cntval;i&&1ll*p[j]*p[j]<=rec[i];--i)
g[i]-=pw[j]*(g[Pos(rec[i]/p[j])]-g[Pos(p[j]-1)]), // g 当前为最小质因子大于 p[j] 或者为质数 的数的 k 次幂前缀和
pcnt[i]-=pcnt[Pos(rec[i]/p[j])]-pcnt[Pos(p[j]-1)],
G[i]+=g[Pos(rec[i]/p[j])]-g[Pos(p[j]-1)]; // G 中记录合数的 f 前缀和,因为是从大到小筛所以这里的 g 表示的是 g[rec[i]/p[j]][j-1]
}
int main(){ cin>>n>>K;
prep(mm=pow(n,2/3.0)),sq=sqrt(n);
m=upper_bound(p+1,p+1+cnt,sq)-1-p;
init_loc(n),get_g(),ans=0; ui pre=0,now;
for(ui l=2,r;l<=n;l=r+1,pre=now) r=n/(n/l),
now=f(l),ans+=(get_phi(n/l)*2-1)*(now-pre);
return !printf("%u\n",ans);
}
【51nod1847】 奇怪的数学题的更多相关文章
- [51nod1847]奇怪的数学题
description 51nod 求\[\sum_{i=1}^{n}\sum_{j=1}^{n}sgcd(i,j)^k\]其中\(sgcd(i,j)\)表示\(i,j\)的次大公约数,如果\(gcd ...
- 51nod1847 奇怪的数学题 (Min_25筛+第二类斯特林数)
link \(\sum_{i=1}^n\sum_{j=1}^n\mathrm{sgcd}(i,j)^k=\sum_{p=1}^ns(p)^k\sum_{i=1}^n\sum_{j=1}^n[\gcd( ...
- 【51NOD 1847】奇怪的数学题(莫比乌斯反演,杜教筛,min_25筛,第二类斯特林数)
[51NOD 1847]奇怪的数学题(莫比乌斯反演,杜教筛,min_25筛,第二类斯特林数) 题面 51NOD \[\sum_{i=1}^n\sum_{j=1}^nsgcd(i,j)^k\] 其中\( ...
- [51nod 1847]奇怪的数学题
[ 51nod 1847 ]奇怪的数学题 题目 点这里看题目. 分析 是挺奇怪的...... 以下定义质数集合为\(P\),\(p_i\)为第\(i\)个质数. 定义\(mp(x)\) ...
- 【51NOD1847】奇怪的数学题 min_25筛
题目描述 记\(sgcd(i,j)\)为\(i,j\)的次大公约数. 给你\(n\),求 \[ \sum_{i=1}^n\sum_{j=1}^n{sgcd(i,j)}^k \] 对\(2^{32}\) ...
- 【51Nod1847】奇怪的数学题
记\(f(x)=\)\(x\)的次大因数,那么\(sgcd(i,j)=f(gcd(i,j))\). 下面来推式子: \[ \begin{aligned} \sum_{i=1}^n\sum_{j=1 ...
- 51NOD1847:奇怪的数学题
传送门 Sol 设 \(f(d)\) 表示 \(d\) 所有约数中第二大的,\(low_d\) 表示 \(d\) 的最小质因子 \[f(d)=\frac{d}{low_d}\] 那么 \[\sum_{ ...
- 【51nod1847】奇怪的数学题(Min_25筛+杜教筛)
题面 传送门 题解 这题有毒--不知为啥的错误调了半天-- 令\(f(i)={sgcd(i)}\),那么容易看出\(f(i)\)就是\(i\)的次大质因子,用\(i\)除以它的最小质因子即可计算 于是 ...
- 【51nod 1847】奇怪的数学题
题目描述 给出 N,K ,请计算下面这个式子: \(∑_{i=1}^N∑_{j=1}^Nsgcd(i,j)^k\) 其中,sgcd(i, j)表示(i, j)的所有公约数中第二大的,特殊地,如果gcd ...
随机推荐
- CodeForces - 375A Divisible by Seven(数学)
https://vjudge.net/problem/48715/origin 题意:给出必定含1689四个数字的字符串,随意交换位置构造出能被7整除的数. 分析:数学思维题.观察发现1689的排列与 ...
- python socket 编程
TCP IPv4 # server.py import socket import threading import time s = socket.socket(socket.AF_INET,soc ...
- React Native的语法之ES5和ES6
原文地址:http://www.devio.org/2016/08/11/React-Native%E4%B9%8BReact%E9%80%9F%E5%AD%A6%E6%95%99%E7%A8%8B- ...
- [Windows] [VS] [C] [取得指针所指内存的十六进制形式字符串]
接口定义如下: #include <Windows.h> // 取得指针所指内存的十六进制形式字符串,size指定字节长度 #define Mem_toString(address, si ...
- IT这条路,适合什么人走。
今天 ,到图书馆Study,呼,不知道为撒,看到那么多新书,那么多新技术(也不能说是新技术,就是自己没有学习过的技术),特别兴奋,学习的疲劳顿时间就没了,感觉什么都想学,都想据为己有,但是...... ...
- AOSP android 源码下载
(1)下载 repo 工具 mkdir ~/bin PATH=~/bin:$PATH curl https://storage.googleapis.com/git-repo-downloads/re ...
- thymeleaf 传参到js的onclick事件中
html: <img th:onclick="'javascript:imgClick(\''+${card.id}+'\',\''+${card.name}+'\');'" ...
- 20155324 2016-2017-2 《Java程序设计》第9周学习总结
20155324 2016-2017-2 <Java程序设计>第9周学习总结 教材学习内容总结 学习目标 了解JDBC架构 掌握JDBC架构 掌握反射与ClassLoader 了解自定义泛 ...
- oracle.sql.TIMESTAMP转为java.sql.TIMESTAMP的方法
/** * @reference oracle.sql.Datum.timestampValue(); * @return */ private Timestamp getOracleTimestam ...
- MFCC/Filter Bank的提取流程
预加重:通过一个一阶有限激励响应高通滤波器,使信号的频谱变得平坦,不易受到有限字长效应的影响. 分帧:根据语音的短时平稳特性,语音可以以帧为单位进行处理,实验中选取的语音帧长为32ms,帧移为16ms ...