筛法进阶
素数筛法
引入
如果我们想要知道小于等于 有多少个素数呢?
一个自然的想法是对于小于等于 的每个数进行一次质数检验。这种暴力的做法显然不能达到最优复杂度。
埃拉托斯特尼筛法
过程
考虑这样一件事情:对于任意一个大于 的正整数 ,那么它的 倍就是合数()。利用这个结论,我们可以避免很多次不必要的检测。
如果我们从小到大考虑每个数,然后同时把当前这个数的所有(比自己大的)倍数记为合数,那么运行结束的时候没有被标记的数就是素数了。
实现
以上为 Eratosthenes 筛法(埃拉托斯特尼筛法,简称埃氏筛法),时间复杂度是 。
证明
现在我们就来看看推导过程:
如果每一次对数组的操作花费 1 个单位时间,则时间复杂度为:
其中 表示第 小的素数, 表示 的素数个数。 表示第一层 for 循环,其中累加上界 为 if (prime[i])
进入 true 分支的次数; 表示第二层 for 循环的执行次数。
根据 Mertens 第二定理,存在常数 使得:
所以 Eratosthenes 筛法 的时间复杂度为 。接下来我们证明 Mertens 第二定理的弱化版本 :
根据 ,可知第 个素数的大小为 。于是就有
当然,上面的做法效率仍然不够高效,应用下面几种方法可以稍微提高算法的执行效率。
筛至平方根
显然,要找到直到 为止的所有素数,仅对不超过 的素数进行筛选就足够了。
这种优化不会影响渐进时间复杂度,实际上重复以上证明,我们将得到 ,根据对数的性质,它们的渐进相同,但操作次数会明显减少。
只筛奇数
因为除 2 以外的偶数都是合数,所以我们可以直接跳过它们,只用关心奇数就好。
首先,这样做能让我们内存需求减半;其次,所需的操作大约也减半。
减少内存的占用
我们注意到筛选时只需要 bool
类型的数组。bool
数组的一个元素一般占用 字节(即 比特),但是存储一个布尔值只需要 个比特就足够了。
我们可以使用 位运算 的相关知识,将每个布尔值压到一个比特位中,这样我们仅需使用 比特(即 字节)而非 字节,可以显著减少内存占用。这种方式被称为「位级压缩」。
值得一提的是,存在自动执行位级压缩的数据结构,如 C++ 中的 vector<bool>
和 bitset<>
。
另外,vector<bool>
和 bitset<>
对程序有常数优化,时间复杂度 的埃氏筛在使用 bitset<>
或 vector<bool>
优化后,性能甚至超过时间复杂度 的欧拉筛。
分块筛选
由优化「筛至平方根」可知,不需要一直保留整个 is_prime[1...n]
数组。为了进行筛选,只保留到 的素数就足够了,即 prime[1...sqrt(n)]
。并将整个范围分成块,每个块分别进行筛选。这样,我们就不必同时在内存中保留多个块,而且 CPU 可以更好地处理缓存。
设 是一个常数,它决定了块的大小,那么我们就有了 个块,而块 () 包含了区间 中的数字。我们可以依次处理块,也就是说,对于每个块 ,我们将遍历所有质数(从 到 )并使用它们进行筛选。
值得注意的是,我们在处理第一个数字时需要稍微修改一下策略:首先,应保留 中的所有的质数;第二,数字 和 应该标记为非素数。在处理最后一个块时,不应该忘记最后一个数字 并不一定位于块的末尾。
以下实现使用块筛选来计算小于等于 的质数数量。
分块筛法的渐进时间复杂度与埃氏筛法是一样的(除非块非常小),但是所需的内存将缩小为 ,并且有更好的缓存结果。 另一方面,对于每一对块和区间 中的素数都要进行除法,而对于较小的块来说,这种情况要糟糕得多。 因此,在选择常数 时要保持平衡。
块大小 取 到 之间,可以获得最佳的速度。
线性筛法
埃氏筛法仍有优化空间,它会将一个合数重复多次标记。有没有什么办法省掉无意义的步骤呢?答案是肯定的。
如果能让每个合数都只被标记一次,那么时间复杂度就可以降到 了。

上面的这种 线性筛法 也称为 Euler 筛法(欧拉筛法)。
???+ note 注意到筛法求素数的同时也得到了每个数的最小质因子。
筛法求欧拉函数
注意到在线性筛中,每一个合数都是被最小的质因子筛掉。比如设 是 的最小质因子,,那么线性筛的过程中 通过 筛掉。
观察线性筛的过程,我们还需要处理两个部分,下面对 分情况讨论。
如果 ,那么 包含了 的所有质因子。
那如果 呢,这时 和 是互质的,根据欧拉函数性质,我们有:
实现
筛法求莫比乌斯函数
定义
根据莫比乌斯函数的定义,设 是一个合数, 是 的最小质因子,,有:
若 是质数,有 。
实现
筛法求约数个数
用 表示 的约数个数, 表示 的最小质因子出现次数。
约数个数定理
定理:若 则 。
证明:我们知道 的约数有 共 个,根据乘法原理, 的约数个数就是 。
实现
因为 是积性函数,所以可以使用线性筛。
在这里简单介绍一下线性筛实现原理。
- 当 为质数时,,同时设 ,其中 为 的最小质因子。
- 当 为 的质因子时,。
- 当 互质时,。
筛法求约数和
表示 的约数和, 表示 的最小质因子的 .