浅谈一类积性函数的前缀和(转载)
本文转自:http://blog.csdn.net/skywalkert/article/details/50500009
另外,莫比乌斯反演和杜教筛其他可转到 http://blog.leanote.com/post/totziens/%E8%8E%AB%E6%AF%94%E4%B9%8C%E6%96%AF%E5%8F%8D%E6%BC%94
写在前面
笔者在刷题过程中遇到一些求积性函数前缀和的问题,其中有一类问题需要在低于线性时间复杂度的算法,今天就来浅析一下这类问题的求解方法,当作以后讲课使用的讲义。若之后有了新的研究,再来继续完善这篇文章。
本文会随时更新内容,建议以链接形式转载,或者与笔者保持联系。爬虫转载不标明出处必究。
author: skywalkert
original article: http://blog.csdn.net/skywalkert/article/details/50500009
last update time : 2017-01-14
前置技能
积性函数的定义
- 若f(n)的定义域为正整数域,值域为复数,即f:Z+→C,则称f(n)为数论函数。
- 若f(n)为数论函数,且f(1)=1,对于互质的正整数p,q有f(p⋅q)=f(p)⋅f(q),则称其为积性函数。
- 若f(n)为积性函数,且对于任意正整数p,q都有f(p⋅q)=f(p)⋅f(q),则称其为完全积性函数。
积性函数的性质与例子
- 常见的积性函数有
- 除数函数σk(n)=∑d|ndk,表示n的约数的k次幂和,注意σk(n)与σk(n)是不同的。
- 约数个数函数τ(n)=σ0(n)=∑d|n1,表示n的约数个数,一般也写为d(n)。
- 约数和函数σ(n)=σ1(n)=∑d|nd,表示n的约数之和。
- 欧拉函数φ(n)=∑ni=1[(n,i)=1]⋅1,表示不大于n且与n互质的正整数个数,另外∑ni=1[(n,i)=1]⋅i=n⋅φ(n)+[n=1]2,且对于正整数n>2来说φ(n)是偶数。
- 莫比乌斯函数μ(n),在狄利克雷卷积的乘法中与恒等函数互为逆元,μ(1)=1,对于无平方因子数n=∏ti=1pi有μ(n)=(−1)t,对于有平方因子数n有μ(n)=0。
- 元函数e(n)=[n=1],狄利克雷卷积的乘法单位元,完全积性。
- 恒等函数I(n)=1,完全积性。
- 单位函数id(n)=n,完全积性。
- 幂函数idk(n)=nk,完全积性。
- 关于莫比乌斯函数和欧拉函数有两个经典的公式
若f(n)为积性函数,则对于正整数n=∏ti=1pkii有f(n)=∏ti=1f(pkii);若f(n)为完全积性函数,则对于正整数n=∏ti=1pkii有f(n)=∏ti=1f(pi)ki。- [n=1]=∑d|nμ(d),将μ(d)看作是容斥的系数即可证明。
- n=∑d|nφ(d),将in(1≤i≤n)化为最简分数统计个数即可证明。
狄利克雷卷积与莫比乌斯反演
- 数论函数f和g狄利克雷卷积定义为(f∗g)(n)=∑d|nf(d)⋅g(nd),狄利克雷卷积满足交换律、结合律,对加法满足分配律,存在单位元函数e(n)=[n=1]使得f∗e=f=e∗f,若f和g为积性函数则f∗g也为积性函数。
- 狄利克雷卷积的一个常用技巧是对于积性函数f与恒等函数I的卷积的处理,例如n=∏ti=1pkii,g(n)=∑d|nf(d),则有g(n)=∏ti=1∑kij=0f(pji)。
- 莫比乌斯反演也是对于g(n)=∑d|nf(d)的讨论,但是不要求f是积性函数,适用于已知g(n)求f(n)的情况,由于I∗μ=e,则g∗μ=f∗I∗μ=f∗e=f,即f(n)=∑d|ng(d)⋅μ(nd),类似地有g(n)=∑n|df(d)⇒f(n)=∑n|dg(d)⋅μ(dn),二项式反演也是类似的技巧。有一个例子可以看出欧拉函数和莫比乌斯函数之间的关系,由于∑d|nφ(d)=id(n),所以φ(n)=∑d|nμ(d)nd,也即φ(n)n=∑d|nμ(d)d。
正文:黑科技
这种黑科技大概起源于Project Euler
这个网站,由xudyh
引入中国的OI、ACM界,目前出现了一些OI模拟题、OJ月赛题、ACM赛题是需要这种技巧在低于线性时间的复杂度下解决一类积性函数的前缀和问题。
首先看一个简单的例子,求前n个正整数的约数之和,即∑ni=1σ(i),其中n≤1012。
显然不能直接做了,但是我们可以推导一番:
当i≤n√时,⌊ni⌋显然只有O(n√)个取值;当i>n√时,⌊ni⌋<n√显然也只有O(n√)个取值;对于固定的⌊ni⌋,i的取值是一段连续的区间,这段区间是[⌊n⌊ni⌋+1⌋+1,⌊n⌊ni⌋⌋],因此可以O(n√)计算所求。
同样地,求前n个正整数的约数个数之和也可以这样计算,留给读者练习。
另外需要说明的是,∑ni=1⌊ni⌋⋅i=∑ni=1⌊ni⌋⋅(⌊ni⌋+1)2,这也是一种常见的表示形式。
现在我们来加大一点难度,求前n个正整数的欧拉函数之和,即∑ni=1φ(i),其中n≤1011。
目前本文提到的有关欧拉函数的公式只有几个,是否能用它们来帮助化简呢?答案是肯定的,接下来我们就利用∑d|nφ(d)=n来化简这个式子。
这个公式也可以看成是φ(n)=n−∑d|n,d<nφ(d),设ϕ(n)=∑ni=1φ(i),则有
那么只要计算出O(n√)个ϕ(⌊ni⌋)的值,就可以计算出ϕ(n),这样的复杂度又如何呢?
假设计算出ϕ(n)的复杂度为T(n),则有T(n)=O(n√)+∑n√i=1T(i)+T(ni),这里只展开一层就可以了,更深层的复杂度是高阶小量,所以有T(n)=∑n√i=1O(i√)+O(ni−−√)=O(n34)。
由于ϕ(n)是一个积性函数的前缀和,所以筛法也可以预处理一部分,假设预处理了前k个正整数的ϕ(n),且k≥n√,则复杂度变为T(n)=∑nki=1ni−−√=O(nk√),当k=O(n23)时可以取到较好的复杂度T(n)=O(n23)。
之前利用φ(n)=n−∑d|n,d<nφ(d)的地方是怎么想到的呢?不妨来看一下这个
如果能通过狄利克雷卷积构造一个更好计算前缀和的函数,且用于卷积的另一个函数也易计算,则可以简化计算过程。例如上题就是利用了φ∗I=id的性质,但一定注意,不是所有的这一类题都只用配个恒等函数I就可以轻松完事的,有时需要更细致的观察。
定义梅滕斯函数M(n)=∑ni=1μ(i),给定正整数n,计算M(n),其中n≤1011。
有了欧拉函数的经验,这次似乎就轻车熟路了吧,使用[n=1]=∑d|nμ(d)来试试?
因此M(n)=1−∑ni=2M(⌊ni⌋),问题可在O(n23)时间复杂度下解决。
看了上面的例子,是不是认为这种做法很naive
,很好学啊,再来看一个题吧!
令A(n)=∑ni=1i(n,i),F(n)=∑ni=1A(i),求F(n)模(109+7)的值,其中n≤109。
先做一番化简,变成积性函数前缀和的样子:
设G(n)=2⋅F(n)−n,则
因此要求的是ϕ′(n)=∑ni=1i⋅φ(i)。
而对于n=∏ti=1pkii,有
这并不是什么好算前缀和的函数。
但是不难发现(id⋅φ)∗id=id2,即
,这是一个很好计算前缀和的函数,于是有
因此ϕ′(n)=n⋅(n+1)⋅(2n+1)6−∑ni=2i⋅ϕ′(⌊ni⌋),原问题可在预处理前O(n23)个值的基础上,在O(n23logn)的时间复杂度下解决。
但是注意到这种方法的常数与复杂度都可能较高,有时候可能再进行一些推导可以得到一个不使用正文方法的做法,例如ZOJ 3881 - From the ABC conjecture,本文的方法与网上一个解法类似,可以用于求解此题,但是可以这样推导之后得到更简单的一个做法。
需要使用此种方法的题目一般数据规模较大,例如n≤109,n≤1011,n≤1012,但是并不是都要使用此类方法,有时候可能存在其他O(n√),O(n23)的做法,例如51Nod 1222 - 最小公倍数计数,会利用正文复杂度分析的方法即可,再例如ZOJ 5340 - The Sum of Unitary Totient,笔者不是很懂这题是否有其他做法能过,例如O(n34logn)的积性函数求和方法(会在不久后更新),可能会因为数据组数较多而超时,网上的一个解法是分段压缩打表,具体问题需要具体分析。
推荐题目
这里给出一些练手的题目供大家理解上述方法,这类题还是较少的,如有其他题的题源欢迎分享。
51Nod 1244 - 莫比乌斯函数之和
51Nod 1239 - 欧拉函数之和
BZOJ 3944 - Sum
HDU 5608 - function
51Nod 1238 - 最小公倍数之和 V3
51Nod 1237 - 最大公约数之和 V3
51Nod 1227 - 平均最小公倍数
Tsinsen A1231 - Crash的数字表格
SPOJ DIVCNT2 - Counting Divisors (square)
51Nod 1222 - 最小公倍数计数(复杂度分析)
BZOJ 4176 - Lucas的数论
51Nod 1220 - 约数之和
51Nod 1584 - 加权约数和
ZOJ 3881 - From the ABC conjecture(不需要使用正文方法)
BZOJ 3512 - DZY Loves Math IV
ZOJ 5340 - The Sum of Unitary Totient(分段打表)
SPOJ DIVCNT3 - Counting Divisors (cube)(常规积性函数求和,注意代码长度限制)
51Nod 1575 - Gcd and Lcm(综合题,可分段打表)
转载于:https://www.cnblogs.com/L-Memory/p/6352107.html
浅谈一类积性函数的前缀和(转载)相关推荐
- 浅谈积性函数求前缀和
转载至https://blog.csdn.net/skywalkert/article/details/50500009 前置技能 积性函数的定义 若f(n)f(n)的定义域为正整数域,值域为复数,即 ...
- 《算法竞赛中的初等数论》(三)正文 0x30 积性函数(ACM / OI / MO)(十五万字符数论书)
整理的算法模板合集: ACM模板 点我看算法全家桶系列!!! 实际上是一个全新的精炼模板整合计划 写在最前面:本文部分内容来自网上各大博客或是各类图书,由我个人整理,增加些许见解,仅做学习交流使用,无 ...
- 【算法专题】积性函数
[参考] ★浅谈一类积性函数的前缀和 by skywalkert 任之洲数论函数.pdf 论逗逼的自我修养之寒假颓废记 by jiry_2 杜教筛 [学习笔记][更新中] by Candy? [变化技 ...
- 2018ACM-ICPC南京赛区网络赛: J. Sum(积性函数前缀和)
J. Sum A square-free integer is an integer which is indivisible by any square number except 11. For ...
- 51nod 1244 莫比乌斯函数之和(积性函数前缀和)
关于积性函数前缀和的问题,可以关注糖老师的博客 关于积性函数前缀和的问题,可以关注糖老师的博客 http://blog.csdn.net/skywalkert/article/details/5050 ...
- 欧拉心算(反演 + 积性函数筛)
欧拉心算 推式子 ∑i=1n∑j=1nϕ(gcd(i,j))=∑d=1nϕ(d)∑i=1nd∑j=1nd[gcd(i,j)==1]=∑d=1nϕ(d)∑k=1ndμ(k)(⌊nkd⌋)2另t=kd=∑ ...
- P6222 「P6156 简单题」(反演 + 积性函数线性筛)
P6156 简单题 推式子 ∑i=1n∑j=1n(i+j)kf(gcd(i,j))gcd(i,j)=∑i=1n∑j=1n(i+j)kμ2(gcd(i,j))gcd(i,j)=∑d=1nμ2(d)dk+ ...
- bzoj2186 莎拉公主的困惑 积性函数
这个题其实就是考察了积性函数phi的一些性质 首先,phi(2)*4=phi(8):∴ phi(P)*P^n=phi(P*P^n) 所以 phi(2*3*4)=phi(2*4)*phi(3)=phi( ...
- HDU 6134 2017 多校训练:Battlestation Operational(莫比乌斯反演+积性函数)
实在太长了直接放题目链接 http://acm.hdu.edu.cn/showproblem.php?pid=6134 这题就是求 考虑当Gcd(i, j)==1时,除了j为1的情况,其它时候i/j一 ...
最新文章
- CSS之布局(盒子的尺寸)
- Oracle笔记 七、PL/SQL 异常处理
- servlet-新建maven报错:web.xml is missing and <failOnMissingWebXml> is set to true
- Pyhton 单行、多行注释方法
- jpane1_Java—面板组件(Jpanel)1
- 坚实原则:单一责任原则
- jquery.imageScroller实现图片滚动
- 设计模式08_适配器
- 字节跳动面试:java编程思想电子版非pdf
- 【亲测有效】无法定位链接器!请检查 tools\link.ini 中的配置是否正确的解决方案
- springMVC的url重写
- LeetCode--Restore IP Addresses
- 凸二次规划的解法(x取值具有上确界)
- CAD切换工作窗口快捷键
- python搞机器视觉,掌控Python 人工智能之机器视觉
- 人工智能——状态空间的启发式搜索
- oracle羊毛,预言机(Oracle)简介和撸羊毛教程— 上篇
- FPGA驱动VGA显示
- web开发表情包---微信表情
- python编写程序解方程_第2章 Python初步 课后题