[luogu3768] 简单的数学题 [杜教筛]
题面:
实际上就是求:

思路:
看到gcd就先反演一下,过程大概是这样:


明显的一步反演

这里设
,S(x)等于1到x的和
然后把枚举d再枚举T变成先枚举T再枚举其约数d,变形:

后面其中两项展开,把T提出来

S那里可以数论分块,那么只要S后面那个东西可以筛出来,就可以O(sqrt(n))

发现后面的那部分可以狄利克雷卷积一波

这明显是一个积性函数,但是n有10^10,所以不能线筛
考虑使用杜教筛,令上述函数为f,函数S为f的前缀和
套用杜教筛模板式

现在问题就是选一个合适的g函数了
我们知道欧拉函数有一个卷积性质:

那么我们令g(x)=x^2
此时g与f的卷积变成了:

看起来真是赏心悦目
于是杜教筛的递推式变成了这样的:

一波记忆化搜索带走AC
Code:
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<map>
#define ll long long
using namespace std;
inline ll read(){
ll re=,flag=;char ch=getchar();
while(ch>''||ch<''){
if(ch=='-') flag=-;
ch=getchar();
}
while(ch>=''&&ch<='') re=(re<<)+(re<<)+ch-'',ch=getchar();
return re*flag;
}
ll n,MOD,inv2,inv6;
ll phi[],pri[],tot=;bool vis[];
void init(){
ll i,j,k;phi[]=;phi[]=;
for(i=;i<=;i++){
if(!vis[i]){
pri[++tot]=i;phi[i]=i-;
}
for(j=;j<=tot;j++){
k=i*pri[j];if(k>) break;
vis[k]=;
if(i%pri[j]==){
phi[k]=1ll*phi[i]*pri[j]%MOD;
break;
}
phi[k]=1ll*phi[i]*phi[pri[j]]%MOD;
}
}
for(i=;i<=;i++) phi[i]=(phi[i-]+1ll*i*i%MOD*phi[i]%MOD)%MOD;
}
ll sum1(ll x){x%=MOD;return x*(x+)%MOD*inv2%MOD;}
ll sum2(ll x){x%=MOD;return x*(x+)%MOD*((x<<)+)%MOD*inv6%MOD;}
map<ll,ll>m;
ll S(ll x){
if(x<=) return phi[x];
if(m[x]) return m[x];
ll re=sum1(x),tmp;re=re*re%MOD;ll i,j;
for(i=;i<=x;i=j+){
j=x/(x/i);
tmp=sum2(j)-sum2(i-);tmp=(tmp+MOD)%MOD;
re-=S(x/i)*tmp%MOD;re%=MOD;
}
return m[x]=(re+MOD)%MOD;
}
ll fpow(ll a,ll b){
ll re=;a%=MOD;
while(b){
if(b&) re=a*re%MOD;
b>>=;a=a*a%MOD;
}
return re;
}
int main(){
MOD=read();n=read();ll i,j;ll ans=,tmp,tt;
inv2=fpow(,MOD-);inv6=fpow(,MOD-);init();
for(i=;i<=n;i=j+){
j=n/(n/i);
tmp=sum1(n/i);
tmp=(tmp+MOD)%MOD;tmp=(tmp*tmp)%MOD;
tt=S(j)-S(i-);
tt=(tt+MOD)%MOD;
ans=(ans+tmp*tt%MOD)%MOD;
}
printf("%lld\n",(ans+MOD)%MOD);
}
[luogu3768] 简单的数学题 [杜教筛]的更多相关文章
- P3768 简单的数学题 杜教筛+推式子
\(\color{#0066ff}{ 题目描述 }\) 由于出题人懒得写背景了,题目还是简单一点好. 输入一个整数n和一个整数p,你需要求出(\(\sum_{i=1}^n\sum_{j=1}^n ij ...
- luogu P3768 简单的数学题 杜教筛 + 欧拉反演 + 逆元
求 $\sum_{i=1}^{n}\sum_{j=1}^{n}ijgcd(i,j)$ 考虑欧拉反演: $\sum_{d|n}\varphi(d)=n$ $\Rightarrow \sum_{i ...
- P3768 简单的数学题 [杜教筛,莫比乌斯反演]
\[\sum_{i=1}^{n}\sum_{j=1}^{n} ij\gcd(i,j)\] \[=\sum_{d=1}^{n} d \sum_{i=1}^{n}\sum_{j=1}^{n} ij[\gc ...
- 【Luogu3768】简单的数学题(莫比乌斯反演,杜教筛)
[Luogu3768]简单的数学题(莫比乌斯反演,杜教筛) 题面 洛谷 \[求\sum_{i=1}^n\sum_{j=1}^nijgcd(i,j)\] $ n<=10^9$ 题解 很明显的把\( ...
- 【luogu3768】简单的数学题 欧拉函数(欧拉反演)+杜教筛
题目描述 给出 $n$ 和 $p$ ,求 $(\sum\limits_{i=1}^n\sum\limits_{j=1}^nij\gcd(i,j))\mod p$ . $n\le 10^{10}$ . ...
- 「洛谷P3768」简单的数学题 莫比乌斯反演+杜教筛
题目链接 简单的数学题 题目描述 输入一个整数n和一个整数p,你需要求出 \[\sum_{i=1}^n\sum_{j=1}^n (i\cdot j\cdot gcd(i,j))\ mod\ p\] ...
- 【Luogu】P3768简单的数学题(杜教筛)
题目链接 emm标题全称应该叫“莫比乌斯反演求出可狄利克雷卷积的公式然后卷积之后搞杜教筛” 然后成功地困扰了我两天qwq 我们从最基本的题意开始,一步步往下推 首先题面给出的公式是$\sum\limi ...
- loj#6229. 这是一道简单的数学题 (??反演+杜教筛)
题目链接 题意:给定\(n\le 10^9\),求:\(F(n)=\sum_{i=1}^n\sum_{j=1}^i\frac{\mathrm{lcm}(i,j)}{\mathrm{gcd}(i,j)} ...
- 洛谷P3768 简单的数学题 【莫比乌斯反演 + 杜教筛】
题目描述 求 \[\sum\limits_{i=1}^{n} \sum\limits_{j=1}^{n} i*j*gcd(i,j) \pmod{p}\] \(n<=10^{10}\),\(p\) ...
随机推荐
- python_50_函数与函数式编程
import time def logger(): """追加写""" time_format='%Y-%m-%d %X'#年-月-日 小时 ...
- Python实现注册和登录
一.注册账号需要实现的功能 1.输入:用户名,密码,密码确认 2.限制1:输入的账号和密码不能为空 3.限制2:两次输入密码必须一致 4.限制3:用户名不能重复 5.限制4:错误次数为4次 6.用字典 ...
- OO终章
一,第四单元架构设计 第一次作业:只有类图 1,重置MyClass,MyOperation等类,为使里面只有必要数据(name,id,visibility等).或方便组织数据(如MyClass作为其底 ...
- CUDA直方图实例=CPU+GPU(global)+GPU(shared)
项目打包下载链接 顺便批判下CSDN上传坑爹现象,好多次都是到了95%或者99%就不动了.我……
- 利用原生JS实现类似浏览器查找高亮功能(转载)
利用原生JS实现类似浏览器查找高亮功能 在完成 Navify 时,增加一个类似浏览器ctrl+f查找并该高亮的功能,在此进行一点总结: 需求 在.content中有许多.box,需要在.box中找出搜 ...
- A1043 Is It a Binary Search Tree (25 分)
A Binary Search Tree (BST) is recursively defined as a binary tree which has the following propertie ...
- 初识Java程序,编写简单代码?
Dear All: 初识Java程序,编写简单代码? 首先小编在这里说下我们今天编写Java程序使用的是 eclipse 开发工具! 1.下载eclipse 官网地址:http://www.eclip ...
- 爬虫学习(三)——get请求参数解析
get请求: 用户输入搜索的内容,发送请求,将请求的内容保存起来. get请求的本质是在地址栏中输入参数进行的一种请求方式. 解析参数使用urllib.parse impo ...
- 二十六、MySQL 临时表
MySQL 临时表 MySQL 临时表在我们需要保存一些临时数据时是非常有用的.临时表只在当前连接可见,当关闭连接时,Mysql会自动删除表并释放所有空间. 临时表在MySQL 3.23版本中添加,如 ...
- MSBuild常用方法
打包后把nuget包复制到指定的目录 <Target Name="CopyPackage" AfterTargets="Pack"> <Cop ...