您的位置:首页 > 其它

浅谈一类积性函数的前缀和

2016-02-28 18:24 281 查看


(本文为转载,原作者skywalkert




写在前面

笔者在刷题过程中遇到一些求积性函数前缀和的问题,其中有一类问题需要在低于线性时间复杂度的算法,今天就来浅析一下这类问题的求解方法,当作以后讲课使用的讲义。若之后有了新的研究,再来继续完善这篇文章。


前置技能


积性函数的定义

若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,完全积性。

关于莫比乌斯函数和欧拉函数有两个经典的公式

[n=1]=∑d|nμ(d),将μ(d)看作是容斥的系数即可证明。
n=∑d|nφ(d),将in(1≤i≤n)化为最简分数统计个数即可证明。

若f(n)为积性函数,则对于正整数n=∏ti=1pkii有f(n)=∏ti=1f(pkii);若f(n)为完全积性函数,则对于正整数n=∏ti=1pkii有f(n)=∏ti=1f(pi)ki。


狄利克雷卷积与莫比乌斯反演

数论函数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=1nσ(i)=∑i=1n∑j=1n[j|i]⋅j=∑i=1ni⋅∑j=1n[i|j]=∑i=1ni⋅⌊ni⌋

当i≤n−−√时,⌊ni⌋显然只有O(n−−√)个取值;当i>n−−√时,⌊ni⌋<n−−√显然也只有O(n−−√)个取值;对于固定的⌊ni⌋,i的取值是一段连续的区间,当⌊ni⌋>1时这段区间是[⌊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),则有

ϕ(n)=∑i=1nφ(i)=∑i=1ni−∑d|i,d<iφ(d)=n⋅(n+1)2−∑i=2n∑d|i,d<iφ(d)=n⋅(n+1)2−∑id=2n∑d=1⎢⎣⎢⎢nid⎥⎦⎥⎥φ(d)=n⋅(n+1)2−∑i=2n∑d=1⌊ni⌋φ(d)=n⋅(n+1)2−∑i=2nϕ(⌊ni⌋)

那么只要计算出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)的地方是怎么想到的呢?不妨来看一下这个

n⋅(n+1)2=∑i=1ni=∑i=1n∑d[d|i]⋅φ(d)=∑id=1n∑d=1⎢⎣⎢⎢nid⎥⎦⎥⎥φ(d)=∑i=1nϕ(⌊ni⌋)

如果能通过狄利克雷卷积构造一个更好计算前缀和的函数,且用于卷积的另一个函数也易计算,则可以简化计算过程。例如上题就是利用了φ∗I=id的性质,但一定注意,不是所有的这一类题都只用配个恒等函数I就可以轻松完事的,有时需要更细致的观察。

定义梅滕斯函数M(n)=∑ni=1μ(i),给定正整数n,计算M(n),其中n≤1011。

有了欧拉函数的经验,这次似乎就轻车熟路了吧,使用[n=1]=∑d|nμ(d)来试试?

1=∑i=1n[i=1]=∑i=1n∑d|iμ(d)=∑i=1n∑d=1⌊ni⌋μ(d)=∑i=1nM(⌊ni⌋)

因此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。

先做一番化简,变成积性函数前缀和的样子:

A(n)=∑i=1ni(n,i)=∑i=1n∑d|n[(n,i)=d]⋅id=∑d|n∑id=1nd[(nd,id)=1]⋅id=12(1+∑d|nd⋅φ(d))

设G(n)=2⋅F(n)−n,则

G(n)=2⋅F(n)−n=∑i=1n∑d|id⋅φ(d)=∑i=1n∑d=1⌊ni⌋d⋅φ(d)

因此要求的是ϕ′(n)=∑ni=1i⋅φ(i)。

而对于n=∏ti=1pkii,有

∑d|nd⋅φ(d)=∏i=1t∑j=0kipji⋅φ(pji)=∏i=1tp2ki+1i+1pi+1
这并不是什么好算前缀和的函数。

但是不难发现(id⋅φ)∗id=id2,即

∑d|nd⋅φ(d)⋅nd=n⋅∑d|nφ(d)=n2
,这是一个很好计算前缀和的函数,于是有

n⋅(n+1)⋅(2n+1)6=∑i=1ni2=∑i=1n∑d|id⋅φ(d)⋅id=∑id=1nid⋅∑d=1⎢⎣⎢⎢nid⎥⎦⎥⎥d⋅φ(d)=∑i=1ni⋅ϕ′(⌊ni⌋)

因此ϕ′(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,笔者不是很懂这题是否有其他做法,网上的一个解法是分段压缩打表,总之具体问题具体分析。


推荐题目

这里给出一些练手的题目供大家理解上述方法,这类题还是较少的,如有其他题的题源欢迎分享。

51Nod 1244 - 莫比乌斯函数之和

51Nod 1239 - 欧拉函数之和

BZOJ 3944 - Sum

HDU 5608 - function

51Nod 1238 - 最小公倍数之和 V3

51Nod 1237 - 最大公约数之和 V3

51Nod 1227 - 平均最小公倍数

Tsinsen A1231 - Crash的数字表格

51Nod 1222 - 最小公倍数计数(只利用正文的复杂度分析)

BZOJ 4176 - Lucas的数论

51Nod 1220 - 约数之和

ZOJ 3881 - From the ABC conjecture(可以不用正文的方法)

BZOJ 3512 - DZY Loves Math IV

ZOJ 5340 - The Sum of Unitary Totient(略诡异的一道题)
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: