数论 Part : Dirichlet 卷积 & 莫比乌斯反演 & 杜教筛
24.08.24:启动本文企划,正式着笔。
25.02.07: 鸽了 4 months 回来补完杜教筛。
本文使用
- 单位函数
。 - 幂函数
。 - 恒等函数(幂函数的一种)
。 - 单位元函数
- 欧拉函数
- 莫比乌斯函数
- 约数幂函数
- 约数个数函数
。 - 约数和函数
两个数论函数
后者形式通常用于证明某些命题。
- 交换律:
,显而易见的,读者自证不难。 - 结合律:
。下文给出证明。 - 分配律:
,读者自证不难。 - 两个积性函数的卷积仍是积性函数。
性质二的证明:
可发现任意的顺序运算最终结果均为此。
若用
- 封闭性:两个数论函数的
卷积显然仍是一个数论函数。 - 单位元:该群的单位元是
,即任意数论函数 都有 。 - 结合律:于
节已证。 - 逆元:对于一个数论积性函数
,满足 的函数 称之为 的 逆,记作 。可以证明,任意积性数论函数均有其逆元。 - 交换律:于
节已证。
莫比乌斯函数除了
。由 节已证。 。证明见下文。 。证明见下文。 。证明见下文。 。证明见下文。
对上述第二点的证明:
对上述第三点的证明:
对上述第四点的证明:要证它,即证
- 当
时,等式显然成立。 - 当
时,等式左边为 ,等式成立。 - 当
时,等式左边等于 ,等式成立。 - 当
时,由 卷积的性质三, 也是一个积性函数,则 。 - 证毕。
对上述第五点的证明:根据第四点,等式两边同卷积
定理:对于两个数论函数
证明:使用
根据容斥原理,题目所求和式可以化为四个如下前缀和式的和差,所以只需考虑该和式如何求解。
由于若
根据
然后配合数论分块食用,附赠小食 - 数论分块。
杜教筛是一种用于求解积性函数前缀和的思想,亚线性复杂度。
我们要求一个积性函数
考虑构造两个函数
考虑提出求和式的第一项
然后便可以递归求解。所以我们选取的
如求
对于
时间复杂度我不会证明,太菜了 /ll。是
鸽了。
本文作者:LaDeX
本文链接:https://www.cnblogs.com/LaDeX-Blog/p/18705783/Dirichlet-Sieve-Mu
版权声明:本作品采用知识共享署名-非商业性使用-禁止演绎 2.5 中国大陆许可协议进行许可。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步