【XSY2731】Div 数论 杜教筛 莫比乌斯反演
题目大意
定义复数\(a+bi\)为整数\(k\)的约数,当且仅当\(a\)和\(b\)为整数且存在整数\(c\)和\(d\)满足\((a+bi)(c+di)=k\)。
定义复数\(a+bi\)的实部为\(a\),虚部为\(b\)。
定义\(f(n)\)为整数\(n\)的所有实部大于\(0\)的约数的实部之和。
给定正整数\(n\),求出\(\sum_{i=1}^nf(i)\)对\(1004535809\)取模后得到的值。
\(n\leq {10}^{10}\)
题解
以前看到一个数论题就是反演预处理。
现在看到一个数论题就是反演杜教筛。
记\(s(n)=\sum_{i|n}i\)为\(n\)的因数和,\(S(n)=\sum_{i=1}^ns(i)\)
当\(b=0\)时答案就是\(S(n)\)。以下仅考虑\(b>0\)的情况(\(b<0\)也是一样的)
设\(n=(a+bi)(c+di)\),那么
ac-bd&=n\\
ad+bc&=0
\end{cases}\\
\frac{a}{b}=-\frac{c}{d}
\]
因为这是一道数论题,设
a&=px\\
b&=qx\\
c&=py\\
d&=-qy\\
\gcd(p,q)&=1\\
\end{align}
\]
这样一组\(x,y,p,q\)就唯一确定了一组\(a,b,c,d\)
记
g(n)&=\sum_{p^2+q^2=n}[\gcd(p,q)=1]p\\
G(n)&=\sum_{i=1}^ng(i)\\
f(n)&=\sum_{p^2+q^2=n}p\\
F(n)&=\sum_{i=1}^nf(i)
\end{align}
\]
问题转化为求
&\sum_{x,y,p,q>0,[(p,q)=1]}[xy(p^2+q^2)\leq n]px\\
=&\sum_{i=1}^n(\sum_{p^2+q^2=i}[\gcd(p,q)=1]p)(\sum_{xy\leq\lfloor\frac{n}{i}\rfloor}x)\\
=&\sum_{i=1}^ng(i)S(\lfloor\frac{n}{i}\rfloor)
\end{align}
\]
那么怎么求\(F,G,S\)呢?
S(n)&=\sum_{i=1}^n\sum_{j|i}j\\
&=\sum_{i=1}^ni\lfloor\frac{n}{i}\rfloor\\
G(n)&=\sum_{p^2+q^2\leq n}p\\
&=\sum_{i=1}^\sqrt ni\lfloor\sqrt{n-i^2}\rfloor\\
F(n)&=\sum_{p^2+q^2\leq n}[\gcd(i,j)=1]p\\
&=\sum_{i=1}^\sqrt{n}i\mu(i)\sum_{j=1}^\frac{n}{i^2}\sum_{p^2+q^2\leq\frac{n}{i^2}}p\\
&=\sum_{i=1}^\sqrt{n}i\mu(i)G(\lfloor\frac{n}{i^2}\rfloor)
\end{align}
\]
这些东西求一次是\(O(\sqrt{n})\)的,预处理一下,总的复杂度是\(O(n^\frac{2}{3})\),因为每个\(n\)都是题目给的\(n\)除以某个东西。
预处理大家都会,我就不讲了。
zjt:在\(O(n^\frac{2}{3})\)内求出所有\(F(n\)除以某个东西\()\)的一类算法都叫杜教筛。
时间复杂度:\(O(n^\frac{2}{3})\)
代码
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const ll p=1004535809;
int _gcd[3500][3500];
int gcd(int a,int b)
{
int &s=_gcd[a][b];
if(~s)
return s;
if(!b)
return s=a;
return s=gcd(b,a%b);
}
const int maxn=10000000;
ll n,m;
int vis[10000010];
ll f[10000010];
int miu[10000010];
int b[10000010];
int pri[1000010];
int cnt;
ll g1[10000010];
ll g2[10000010];
ll s[10000010];
int c[10000010];
void init()
{
int i,j;
for(i=1;i*i<=maxn;i++)
for(j=1;i*i+j*j<=maxn;j++)
{
if(gcd(i,j)==1)
(f[i*i+j*j]+=i)%=p;
(g1[i*i+j*j]+=i)%=p;
}
for(i=1;i<=maxn;i++)
{
f[i]=(f[i]+f[i-1])%p;
g1[i]=(g1[i]+g1[i-1])%p;
}
miu[1]=1;
c[1]=1;
s[1]=1;
for(i=2;i<=maxn;i++)
{
if(!b[i])
{
pri[++cnt]=i;
miu[i]=-1;
c[i]=i;
s[i]=i+1;
}
for(j=1;j<=cnt&&i*pri[j]<=maxn;j++)
{
b[i*pri[j]]=1;
if(i%pri[j]==0)
{
miu[i*pri[j]]=0;
c[i*pri[j]]=c[i]*pri[j];
if(c[i]==i)
s[i*pri[j]]=(s[i]*pri[j]+1)%p;
else
s[i*pri[j]]=s[c[i*pri[j]]]*s[i/c[i]]%p;
break;
}
miu[i*pri[j]]=-miu[i];
c[i*pri[j]]=pri[j];
s[i*pri[j]]=s[i]*(pri[j]+1)%p;
}
}
for(i=1;i<=maxn;i++)
s[i]=(s[i]+s[i-1])%p;
}
const ll inv2=502267905;
ll S(ll n)
{
if(n<=maxn)
return s[n];
ll s=0,s2;
ll i,j;
for(i=1;i<=n;i=j+1)
{
j=n/(n/i);
s=(s+(i+j)%p*(j-i+1)%p*inv2%p*((n/i)%p))%p;
}
return s;
}
ll G(ll n)
{
if(n<=maxn)
return g1[n];
if(vis[m/n]&2)
return g2[m/n];
vis[m/n]|=2;
ll i,s=0,j;
for(i=1;i*i<=n;i++);
j=i-1;
for(i=1;i*i<=n;i++)
{
while(j*j>n-i*i)
j--;
s=(s+i*j)%p;
}
g2[m/n]=s;
return s;
}
ll F(ll n)
{
if(n<=maxn)
return f[n];
ll i,s=0;
ll now;
for(i=1;i*i<=n;i++)
s=(s+miu[i]*i*G(n/i/i))%p;
return s;
}
int main()
{
#ifndef ONLINE_JUDGE
freopen("c.in","r",stdin);
freopen("c.out","w",stdout);
#endif
memset(_gcd,-1,sizeof _gcd);
scanf("%lld",&n);
m=n;
init();
ll ans=0;
ll i,j;
ll last=0,now;
for(i=1;i<=n;i=j+1)
{
j=n/(n/i);
now=F(j);
ans=(ans+(now-last)%p*S(n/i))%p;
last=now;
}
ans=(ans*2+S(n))%p;
ans=(ans+p)%p;
printf("%lld\n",ans);
return 0;
}
【XSY2731】Div 数论 杜教筛 莫比乌斯反演的更多相关文章
- [bzoj 4176] Lucas的数论 (杜教筛 + 莫比乌斯反演)
题面 设d(x)d(x)d(x)为xxx的约数个数,给定NNN,求 ∑i=1N∑j=1Nd(ij)\sum^{N}_{i=1}\sum^{N}_{j=1} d(ij)i=1∑Nj=1∑Nd(ij) ...
- BZOJ_4176_Lucas的数论_杜教筛+莫比乌斯反演
BZOJ_4176_Lucas的数论_杜教筛+莫比乌斯反演 Description 去年的Lucas非常喜欢数论题,但是一年以后的Lucas却不那么喜欢了. 在整理以前的试题时,发现了这样一道题目“求 ...
- [CQOI2015][bzoj3930] 选数 [杜教筛+莫比乌斯反演]
题面: 传送门 思路: 首先我们把区间缩小到$\left[\lfloor\frac{L-1}{K}\rfloor,\lfloor\frac{R}{K}\rfloor\right]$ 这道题的最特殊的点 ...
- [51Nod 1237] 最大公约数之和 (杜教筛+莫比乌斯反演)
题目描述 求∑i=1n∑j=1n(i,j) mod (1e9+7)n<=1010\sum_{i=1}^n\sum_{j=1}^n(i,j)~mod~(1e9+7)\\n<=10^{10}i ...
- bzoj 4916: 神犇和蒟蒻 (杜教筛+莫比乌斯反演)
题目大意: 读入n. 第一行输出“1”(不带引号). 第二行输出$\sum_{i=1}^n i\phi(i)$. 题解: 所以说那个$\sum\mu$是在开玩笑么=.= 设$f(n)=n\phi(n) ...
- [51nod1220] 约数之和(杜教筛+莫比乌斯反演)
题面 传送门 题解 嗯--还是懒得写了--这里 //minamoto #include<bits/stdc++.h> #define R register #define IT map&l ...
- 【BZOJ4176】Lucas的数论-杜教筛
求$$\sum\limits_{i=1}^{n}\sum\limits_{j=1}^{n}f(ij)$$,其中$f(x)$表示$x$的约数个数,$0\leq n\leq 10^9$,答案膜$10^9+ ...
- bzoj 4176: Lucas的数论 -- 杜教筛,莫比乌斯反演
4176: Lucas的数论 Time Limit: 30 Sec Memory Limit: 256 MB Description 去年的Lucas非常喜欢数论题,但是一年以后的Lucas却不那么 ...
- BZOJ 4176: Lucas的数论 [杜教筛]
4176: Lucas的数论 题意:求\(\sum_{i=1}^n \sum_{j=1}^n \sigma_0(ij)\) \(n \le 10^9\) 代入\(\sigma_0(nm)=\sum_{ ...
随机推荐
- C#.NET 大型通用信息化系统集成快速开发平台 4.1 版本 - 树形选择项目的标准例子
用成套的现成的方法引导大家开发程序,整个团队的开发效率会很高.例如我们现在有30多个开发人员,若有300个开发人员,这开发工作很容易乱套,我们需要有效的管理维护所有团队的开发工作.把数据结构.通用的组 ...
- Sql Server中的nvarchar(n)、varchar(n) 和Mysql中的char(n)、varchar(n)
刚才有幸看了下 nvarchar(n)和varchar(n),感觉以前的认知有误. nvarchar(n):n指的是字符个数,范围是1-4000,存储的是可变长度的Unicode字符数据. 按字符存储 ...
- pycharm 报错:pycharm please specify a different SDK name
我在给项目配虚拟环境里的解释器的时候有没有遇到过这个问题的啊,就是一个正常的项目,解释器忽然丢了,解释器是配在虚拟环境里面的,再去选择解释器就一直报这个错,给现有项目添加虚拟环境的时候也是报这个错—— ...
- c++入门之内置数组和array比较
array是C++11中新提出来的容器类型,与内置数组相比,array是一种更容易使用,更加安全的数组类型,可以用来替代内置数组.作为数组的升级版,继承了数组最基本的特性,也融入了很多容器操作,下面介 ...
- R语言线性回归
回归分析是一个广泛使用的统计工具,用于建立两个变量之间的关系模型. 这些变量之一称为预测变量,其值通过实验收集. 另一个变量称为响应变量,其值来自预测变量. 在线性回归中,这两个变量通过一个等式相关联 ...
- PS调出清新淡雅外景女生背影照
首先,依然是前期事项. 这套图是八月份下午三点多在草地上拍的(好像标题的秋日欺骗了大众XD),阳光很烈,不过也因为这样,能拍出比较清新的蓝天.用的是腾龙70-200 2.8VC拍摄,长焦在拍这种空旷大 ...
- .net之httphandler小记
本地调试代码遇到的一个问题,没有走URL路由器(UrlReWriter : IHttpHandlerFactory),于是网上科普了一下原理,主要有两点: 1.asp.net在处理http请求时,会由 ...
- 架构 规则引擎 quartz
通向架构师的道路(第五天)之tomcat集群-群猫乱舞-云栖社区-阿里云https://yq.aliyun.com/articles/259343 商业规则引擎和开源规则引擎的测试对比 - qq_39 ...
- js this的含义以及讲解
this关键字是一个非常重要的语法点.毫不夸张地说,不理解它的含义,大部分开发任务都无法完成. 首先,this总是返回一个对象,简单说,就是返回属性或方法“当前”所在的对象. 下面来两个例子来让大家更 ...
- Java 数据库简单操作类
数据库操作类,将所有连接数据库的配置信息以及基本的CRUD操作封装在一个类里,方便项目里使用,将连接数据库的基本信息放在配置文件 "dbinfo.properties" 中,通过类 ...