Loading

数论函数与筛法 学习笔记

0 参考(照抄)资料:

1 线性筛求积性函数

设现在要求一积性函数 \(f(x)\)

\(x = p^k\),其中 \(p\) 为素数时,\(f(x)\) 不能由之前的 \(f\) 值转移,所以必须 \(\mathcal{O}(1)\) 独立算出来。

其他情况下,\(x\) 一定能被表示为 \(p ^ k \times q\),其中 \(p\) 为素数,\(k > 0\)\(q > 1\)。此时,\(f(x) = f(p^k)\times f(q)\),可以在线性筛的过程中顺带求解。

2 数论分块

2.1 数论分块简介

数论分块一般用于处理如下形式的计算:\(\sum_{i = 1}^n f(i)g(\lfloor\frac{i}{n}\rfloor)\)

当可以在 \(\mathcal{O}(1)\) 的时间复杂度内计算出 \(\sum_{i = l}^r f(i)\) 时,原式便可以使用数论分块在 \(\mathcal{O}(\sqrt{n})\) 的时间复杂度内求解。

2.2 数论分块思想

数论分块的思想其实是将 \(\lfloor\frac{i}{n}\rfloor\) 相同的数进行打包计算。我们考虑维护 \(l, r\) 表示 \(\lfloor\frac{i}{n}\rfloor = k\)\(k\) 为常数)的区间,然后这一段区间的和即为 \(g(k) \times \sum_{i = l}^r f(i)\)。当可以快速计算 \(\sum_{i = l}^r f(i)\) 时,上述式子便很容易计算。

2.3 引理 1

\(\text{Trick:} \ \forall a, b, c \in \mathbb{Z}, \lfloor\frac{a}{bc}\rfloor = \lfloor\frac{\lfloor\frac{a}{b}\rfloor}{c}\rfloor\)

\(\text{Proof:}\) 显然(?)

2.4 引理 2

\(\text{Trick:} \ \forall n \in \mathbb{N}_{+}, \left|\left\{ \lfloor \frac{n}{d} \rfloor \mid d \in \mathbb{N}_{+},d\leq n \right\}\right| \leq \lfloor 2\sqrt{n} \rfloor\)

\(\text{Proof:}\)

对于 \(d \leq \sqrt{n}\)\(\lfloor \frac{n}{d} \rfloor\) 至多有 \(\sqrt{n}\) 种取值。
对于 \(d > \sqrt{n}\)\(\lfloor \frac{n}{d} \rfloor \leq \sqrt{n}\),至多有 \(\sqrt{n}\) 种取值。

2.5 结论

\(\text{Trick:} \ \left\lfloor\dfrac ni\right\rfloor=\left\lfloor\dfrac nj\right\rfloor\)\((j)_{\text{max}} = \left\lfloor\dfrac n{\lfloor\frac ni\rfloor}\right\rfloor\)

\(\text{Proof:}\)

不妨设 \(k = \left\lfloor\dfrac ni\right\rfloor\)
\(j \times k \leq n\),得 \(j \leq \frac{n}{k}\)
\((j)_{\text{max}} = \left\lfloor\dfrac n{\lfloor\frac ni\rfloor}\right\rfloor\)

2.6 数论分块具体流程

我们可以枚举 \(\left\lfloor\dfrac ni\right\rfloor\) 的取值,对于每一个取值 \(k\),找出对应值为 \(k\) 的区间 \(l, r\)。这一部分对答案的贡献就是 \(g(k) \times \sum_{i = l}^r f(i)\)。时间复杂度 \(\mathcal{O}(\sqrt{n})\)

3 Dirichlet 卷积

3.1 Dirichlet 卷积的定义

对于两个数论函数 \(f(x), g(x)\),它们的 Dirichlet 卷积为:

\[h(x)=\sum_{d\mid x}{f(d)g\left(\dfrac xd \right)}=\sum_{ab=x}{f(a)g(b)} \]

上述可以简记为 \(h = f * g\)。Dirichlet 卷积是数论函数的基本运算。

3.2 Dirichlet 卷积的性质

一些小性质:Dirichlet 卷积具有 交换律,结合律,分配律

4 欧拉函数

4.1 欧拉函数定义

\[\varphi(x) = \sum_{i = 1}^x [\gcd(i, x) = 1] \]

4.2 欧拉函数性质

性质 1:当 \(p\) 为质数时,\(\begin{cases}\varphi(p) = p - 1\\ \varphi(p^k) = p^k - \frac{p^k}{p} = (p - 1)p ^ {k - 1}\end{cases}\)

太简单了。不证。

性质 2:\(\varphi\) 为积性函数。

\(\gcd(x, y) = 1\) 时,容易发现 \(x, y\) 质因子不重合,于是当 \(\varphi(x)\)\(\varphi(y)\) 两两匹配时,所诞生的数一定与 \(xy\) 互质。也就是说:

\[\varphi(xy) = \varphi(x)\varphi(y) \]

性质 3:\(\varphi * 1 = \text{id}\)

证明待补。

5 莫比乌斯函数

5.1 莫比乌斯函数定义

\[\mu(n)= \begin{cases} 1&n=1\\ 0&n\text{ 含有平方因子}\\ (-1)^k&k\text{ 为 }n\text{ 的本质不同质因子个数}\\ \end{cases} \]

感觉这个函数十分奇怪。但是它有很多奇妙的小性质。

5.2 莫比乌斯函数性质

性质 1:\(\mu(n)\) 为积性函数。

性质 2:\( \sum_{d\mid n}\mu(d)= \begin{cases} 1&n=1\\ 0&n\neq 1\\ \end{cases} \)

这个性质看着就非常舒服,因为它和 Dirichlet 卷积的形式有大部分重复。

证明待补。

性质 3:由性质 2 可以衍生出一个性质:\(\mu * 1 = \epsilon\)

证明:

\[\begin{aligned} h(n) & = \sum_{d \ | \ n}\mu(d)g(\frac{n}{d})\\ & = \sum_{d \ | \ n}\mu(d)\\ & = \begin{cases} 1&n=1\\ 0&n\neq 1\\ \end{cases} \end{aligned} \]

性质 4:\([\gcd(i, j)] = \sum_{d \ | \ i, d \ | \ j} \mu(d)\)

为性质 2 的衍生结论,稍加推理即可。

5.3 莫比乌斯函数计算

因为 \(\mu(n)\) 为积性函数,所以可以用线性筛进行计算。时间复杂度 \(\mathcal{O}(n)\)

5.4 莫比乌斯反演

现在有两个数论函数 \(f, g\)

\(f(x) = \sum_{d \ | \ x} g(d)\),则 \(g = \mu * f\),即 \(g(n) = \sum_{d \ | \ x} \mu(d)f(\frac{n}{d})\)

\(\text{Proof:}\)

\[\begin{aligned} & \sum_{d \ | \ n} \mu(d)f(\frac{n}{d})\\ = & \sum_{d \ | \ n} \mu(d) \sum_{d' \ | \ \frac{n}{d}} g(d')\\ = & \sum_{d' \ | \ n} g(d') \sum_{d \ | \ \frac{n}{d'}} \mu(d)\\ = & \sum_{d \ | \ n} g(d) [\frac{n}{d} = 1]\\ = & g(n) \end{aligned} \]

6 杜教筛

6.1 杜教筛概述

杜教筛是一种用于在亚线性时间复杂度内求解数论函数的前缀和的一种算法。

6.2 杜教筛思想

我们考虑构造两个数论函数 \(f, g\)

我们设 \(S_g(x) = \sum_{i = 1}^x g(i)\),则有下列推导:

\[\begin{aligned} & \sum_{i = 1}^n (f * g)(i) \\ = & \sum_{i = 1}^n \sum_{d \ | \ i} f(d)g(\frac{i}{d})\\ = & \sum_{d = 1}^n \sum_{p = 1}^{\left\lfloor \frac{n}{d} \right\rfloor} f(d) \times g(p)\\ = & \sum_{d = 1}^n f(d) \sum_{p = 1}^{\left\lfloor \frac{n}{d} \right\rfloor} g(p)\\ = & \sum_{d = 1}^n f(d)S_g(\left\lfloor \frac{n}{d} \right\rfloor) \end{aligned} \]

于是我们成功的化出了一个 \(g\) 的前缀和。由于我们现在想要知道 \(S(n)\) 的值,则可以如下转换:

\[\begin{aligned} f(1)S(n) & = \sum_{d = 1}^n f(d)S_g(\left\lfloor \frac{n}{d} \right\rfloor) - \sum_{d = 2}^n f(d)S_g(\left\lfloor \frac{n}{d} \right\rfloor)\\ & = \sum_{i = 1}^n (f * g)(i) - \sum_{d = 2}^n f(d)S_g(\left\lfloor \frac{n}{d} \right\rfloor) \end{aligned} \]

现在整理一下思路。如果我们能构造一个满足下列两条性质的数论函数 \(f\),使得:

  1. 可以快速计算 \(\sum_{i = 1}^n (f * g)(i)\)

  2. \(\sum_{d = 2}^n f(d)S_g(\left\lfloor \frac{n}{d} \right\rfloor)\) 非常的数论分块,于是需要可以快速计算 \(\sum_{i=l}^r f(i)\)

如果可以,那么就可以较快的计算出 \(g\) 的前缀和。

6.3 杜教筛时间复杂度

杜教筛的时间复杂度为 \(\mathcal{O}(n^{\frac{2}{3}})\)

吗的。不会证。

6.4 杜教筛应用

I. P4213 【模板】杜教筛

先考虑如何计算 \(S(n) = \sum_{i = 1}^n \mu(i)\)

\(\mu\) 函数的小性质,我们知道 \(\mu(i) * 1 = \epsilon\),于是有:

\[\begin{aligned} \mu(1)S(n) & = \sum_{i = 1}^n\epsilon(i) - \sum_{d = 2}^n S(\left\lfloor\frac{n}{d}\right\rfloor)\\ S(n) & = 1 - \sum_{d = 2}^n S(\left\lfloor\frac{n}{d}\right\rfloor) \end{aligned} \]

可以方便得计算。


再考虑如何计算 \(P(n) = \sum_{i = 1}^n \varphi(i)\)

显然也可以使用杜教筛计算。但是有更好得方法。

\[\begin{aligned} P(n) & = \sum_{i = 1}^n \varphi(i)\\ & = \sum_{i = 1}^n \sum_{j = 1}^{i} [\gcd(i, j) = 1]\\ & = \sum_{i = 1}^n \sum_{j = 1}^{i} \sum_{d \ | \ i, d \ | \ j} \mu(d)\\ & = \sum_{d = 1}^n \mu(d)(\left\lfloor\frac{n}{d}\right\rfloor)^2 \end{aligned} \]

由于我们已经知道了 \(\mu\) 的前缀和,所以此时显然可以直接数论分块。

7 Min_25 筛

咕了。

posted @ 2024-03-23 13:28  DE_aemmprty  阅读(52)  评论(1)    收藏  举报