概论:
杜教筛可以做到在亚线性的时间复杂度下求出部分数论函数的前缀和.
事实上感觉和”筛”好像没啥关系
实现:
假设需要求解的前缀和为$S_f(n) = \sum_{i=1}^n f(i)$, 引入一个函数$g(n)$并考虑如下式子:
将$g(1)S_f(n)$分离出来, 便有:
(注意后面这个和式是从2开始的)
这个等式便是杜教筛的核心式. 若我们能找到函数$g$, 使得:
- $\sum_{i=1}^n (f*g)(i)$ 易求
- $g(i)$ 的区间和易求
则可以使用数论分块加速求解$S_f(n)$
一些例子:
- $\mu$
已知$\mu * I = \epsilon$, 取$g(n) = I$, 有:
- $\varphi$
已知$\varphi * I = id$, 取$g(n) = I$, 有:
- $id \cdot \varphi$
根据点积对狄利克雷卷积的分配律, 有:
取$g(n)=id$, 有:
复杂度分析:
若使用递归的方法实现杜教筛, 暂时忽略前面的卷积和项, 设时间复杂度为$T(n)$, 则有:
同时对于$i \in \left[1,\lfloor \sqrt{n} \rfloor \right]$, 有$i < n/i$, 所以:
对于$T(n/i)$, 由于继续展开后均为高阶无穷小, 所以只展开一层, 即取数论分块的时间复杂度$O(\sqrt{n/i})$:
若线性筛出前$m$个数的前缀和, 则有:
当$m = n/\sqrt{m}$时取得最小值, 此时$m=n^{2/3}$, 时间复杂度为$O(n^{2/3})$
事实上从上面的分析也可以看出, 省略的项比较多, 所以常数稍大.
同时需要将计算$\sum (f*g)$的时间复杂度考虑进去, 若$\sum (f*g)$的时间复杂度小于等于$O(n^{2/3})$则总体时间复杂度不变.
注意到计算过程中$S_f(\lfloor n/i \rfloor)$也将被计算, 同时使用数论分块时计算$g$的区间和只需要计算全体$S_g(\lfloor n/i \rfloor)$即可(可以参见数论分块来证明), 因此若事先使用杜教筛将$S_g(\lfloor n/i \rfloor)$算出并储存, 总体时间复杂度也不变.
综上, 使用杜教筛在$O(n^{2/3})$时间内计算$S_f$的条件如下:
- $f$能够使用线性筛计算得到.
- 能够找到函数$g$, 使得:
- 可使用杜教筛在$O(n^{2/3})$时间内计算$S_g$
- 计算$S_{f*g}$的时间复杂度小于等于$O(n^{2/3})$
至于如何存储$S(\lfloor n/i \rfloor)$, 可以使用unordered_map, 也可以使用根号分治的方法将$\lfloor n/i \rfloor$分为两类存储.
示例代码:
1 |
|