简单的数学题
I.简单的数学题
在做这题之前,我们先来见一位老朋友:
我们在1.v.[NOI2010]能量采集中就已经接触到了这道题。当时我们运用了的公式。现在,我们要运用另一个公式。
前面的东西可以线性筛前缀和,后面的东西可以整除分块,这样我们也得到一种和之前运用的复杂度一致的运算。
而现在这道题呢?
我们要求。
再来!
后面的可以直接套等差数列求和公式并整除分块。前面的我们考虑杜教筛。
设,我们要求。
我们想找一个合适的。
考虑。
我们想把这个恶心的消掉。这样的话,我们不如设。这样的话,!!!
我们好像找对了。
再来看式子:
代入,得
我们有公式:
这样我们就可以杜教筛了。
我们回到一开始的式子:。后半部分是的整除分块,前半部分要用杜教筛,这样,看起来复杂度为。
Emm?这东西一看就不像能过的样子呀?
首先,因为杜教筛是基于记忆化搜索实现的,多次使用复杂度明显是低于的。至于低多少,就要看出题人是否是用脚造数据了。
同时,因为整除分块的过程中,杜教筛要筛的不会总是级别的。总复杂度应该低于
并且,因为杜教筛是基于分块思想的,我们一开始预处理的部分也可以大于,这样单次杜教筛复杂度就会低于。这样一番优化下来,这个算法复杂度应该是亚线性,甚至直接是的(其实是我不会证)
或者换一种说法,它的复杂度是。
代码:
#pragma GCC optimize(3)
#include<bits/stdc++.h>
using namespace std;
#define int long long
const int N=4000000;
int p,phi[N+10],inv6,pri[N+10],n;
inline int ksm(int x,int y){
register int res=1;
for(;y;x=(1ll*x*x)%p,y>>=1)if(y&1)res=(1ll*res*x)%p;
return res;
}
inline void init(){
inv6=ksm(6,p-2);
phi[1]=1;
for(register int i=2;i<=N;i++){
if(!pri[i])pri[++pri[0]]=i,phi[i]=i-1;
for(register int j=1;j<=pri[0]&&i*pri[j]<=N;j++){
pri[i*pri[j]]=true;
if(!(i%pri[j])){phi[i*pri[j]]=(1ll*phi[i]*pri[j])%p;break;}
phi[i*pri[j]]=phi[i]*phi[pri[j]];
}
}
for(register int i=1;i<=N;i++)phi[i]=(phi[i-1]+1ll*phi[i]*i%p*i%p)%p;
}
inline int sqrsum(int x){
x%=p;
return 1ll*x*(x+1)%p*(2*x+1)%p*inv6%p;
}
inline int cubsum(int x){
x%=p;
return (1ll*((1ll*x*(x+1)/2)%p)*((1ll*x*(x+1)/2)%p))%p;
}
unordered_map<int,int>mp;
inline int djs(int x){
if(x<=N)return phi[x];
if(mp[x])return mp[x];
register int res=cubsum(x);
for(register int l=2,r;l<=x;l=r+1)r=x/(x/l),res=(res-(1ll*(sqrsum(r)-sqrsum(l-1)+p)%p*djs(x/l)%p)+p)%p;
return mp[x]=res;
}
inline int solve(){
register int res=0;
for(register int l=1,r;l<=n;l=r+1)r=n/(n/l),res=(1ll*(djs(r)-djs(l-1)+p)%p*cubsum(n/l)%p+res)%p;
return res;
}
signed main(){
scanf("%lld%lld",&p,&n),init();
printf("%lld\n",solve());
return 0;
}
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· go语言实现终端里的倒计时
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列1:轻松3步本地部署deepseek,普通电脑可用
· 按钮权限的设计及实现
· 【杂谈】分布式事务——高大上的无用知识?