杜教筛

作用: 在低于线性复杂度内解决某一类函数的前缀和

求数论函数$f(x)$的前缀和$s(n)$, 即: $s(n)=\sum\limits_{i=1}^n f(i)$

找到一个数论函数$g(x)$, 使得$g(x)$与$f(x)$的狄利克雷卷积$(f\times g)(n)=\sum\limits_{d|n}g(d)\cdotp f(\frac{n}{d})$的前缀和易求得

$\begin{align} &\quad\sum\limits_{i=1}^n(f\times g)(i)\\ &=\sum\limits_{i=1}^n\sum\limits_{d|i}g(d)\cdotp f(\frac{i}{d})\\ &=\sum\limits_{d=1}^n\sum\limits_{d|i}^ng(d)\cdotp f(\frac{i}{d})\\ &=\sum\limits_{d=1}^n\sum\limits_{i=1}^{\lfloor\frac{n}{d}\rfloor}g(d)\cdotp f(i)\\ &=\sum\limits_{d=1}^ng(d)\sum\limits_{i=1}^{\lfloor\frac{n}{d}\rfloor}f(i)\\ &=\sum\limits_{d=1}^ng(d)\cdotp s(\lfloor\frac{n}{d}\rfloor)\\ &=g(1)\cdotp s(n)+\sum\limits_{d=2}^ng(d)\cdotp s(\lfloor\frac{n}{d}\rfloor)\\ \end{align}$

即: $g(1)\cdotp s(n)=\sum\limits_{i=1}^n(f\times g)(i)-\sum\limits_{d=2}^ng(d)\cdotp s(\lfloor\frac{n}{d}\rfloor)$

例1: 莫比乌斯函数$\mu(x)$前缀和

$\begin{cases} f(x)=\mu(x)\\ g(x)=1 \end{cases} \quad\Rightarrow \quad(f\times g)(x)=\sum\limits_{d|x}\mu(d)=e(x)= \begin{cases} 1\qquad(x=1)\\ 0\qquad(x\neq 1) \end{cases}$

即: $s(n)=1-\sum\limits_{i=2}^ns(\lfloor\frac{n}{i}\rfloor)$

例2: 欧拉函数$\varphi(x)$前缀和

$\begin{cases} f(x)=\varphi(x)\\ g(x)=1 \end{cases} \quad\Rightarrow \quad(f\times g)(x)=\sum\limits_{d|x}\varphi(d)=x$

即: $s(n)=\frac{(n+1)\cdotp n}{2}-\sum\limits_{i=2}^ns(\lfloor\frac{n}{i}\rfloor)$