热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

蒟蒻林荫小复习——莫比乌斯反演

莫比乌斯反演积性函数:对于函数f,如果有质数p,q,使得f(p)f(q)f(pq),则函数f为积性函数设积性函数f,有和函数显然,F由f决定,这种关系是否可以反过来? F(1)

莫比乌斯反演

积性函数:对于函数f,如果有质数p,q,使得f(p)f(q)=f(pq),则函数f为积性函数

设积性函数f,有和函数

 

显然,F由f决定,这种关系是否可以反过来?

  F(1)=f(1)F(1)=f(1)      
  F(2)=f(1)+f(2)F(2)=f(1)+f(2)      
  F(3)=f(1)+f(3)F(3)=f(1)+f(3)      
  F(4)=f(1)+f(2)+f(4)F(4)=f(1)+f(2)+f(4)   
  F(5)=f(1)+f(5)F(5)=f(1)+f(5)      
  F(6)=f(1)+f(2)+f(3)+f(6)F(6)=f(1)+f(2)+f(3)+f(6)      
  F(7)=f(1)+f(7)F(7)=f(1)+f(7)    
  F(8)=f(1)+f(2)+f(4)+f(8)F(8)=f(1)+f(2)+f(4)+f(8)     

可以发现,我们可以由F去反推f

形式化的说,f(x)等于形式上一些±F(x/d)的和

则可能有这样的式子:

 

其中μ是算术函数,如果等式成立,则

μ(1)=1

μ(2)=-1

μ(3)=-1

μ(4)=0

μ(5)=-1

μ(6)=1

当有质数p时,f(p)=F(p)-F(1)

则我们可以发现,μ(1)=1,对于任何一个质数,μ(p)=-1

因为F(p^2)=f(1)+f(p)+(fp^2),f(p^2)=F(p^2)-F(p)

则μ(p^2)=0

这要求对于质数p有p^2=0,向下递推可知f(p^3)=F(p^3)-F(p^2)

发现,μ(1)=1,μ(p)=-1,μ(p^2)=0,μ(p^3)=0;

可知,μ(p^k)=0;

设质数p1p2p3互不相同

 

对于f(p1p2)=F(p1p2)-F(p1)-F(p2)+F(1)

则此时μ(p1p2)=1

对于f(p1p2p3)=F(p1p2p3)-F(p1p2)-F(p1p3)-F(p2p3)+F(p1)+F(p2)+F(p3)-F(1)

可以发现,μ(p1p2p3)=-1,μ(p1p2)=1。

同理,μ(p1p2p3p4)=1,μ(p1p2p3p4p5)=-1

 

则可知,对于μ(1)=1,μ(p1p2p3p4...pk)(互为不同质数)=(-1)^k

 

假设我们现在定义一个合数x且x的质因数分解中有相同的质数记作

x=p1pk^2

那么f(p1pk^2)=F(p1pk^2)-F(p1pk)-F(pk^2)+F(pk^2)

可以发现,μ(p1)=-1,μ(pk^2)=0,μ(p1pk^2)=0

则可以推断出,如果x的质因数分解形如x=p1p2p3p4...pk^2,则μ(x)=0

综上,证明得出莫比乌斯函数μ(x)



  1. x=1时μ(x)=1

  2. x的质因数分解形如x=p1p2p3p4....pk,p1p2p3p4...互不相同,则μ(x)=(-1)^k

  3. 如果不属于以上两种情况,即对x进行质因数分解有重复质数,μ(x)=0

  4. 莫比乌斯函数是积性函数

莫比乌斯函数的性质:

容易发现,n=1时易证,

n>1时,根据积性函数定义可知F(n)=F(P1^a1)F(P2^a2)F(Pt^at)

其中n=p1^a1*p2^a2​...*pt^at。

则对于F(p^k)有(k>2时)

 

k<=2时,1+(-1)=0

因此,n>1时F(n)=0

莫比乌斯反演:

对于:

有:

 

 

另外一种形式:

对于:

有:

 



推荐阅读
  • DedeCMS栏目列表调用中currentstyle中也支持autoindex的方法
    在《DedeCMS自增函数autoindexitemindex用法全解析》中,余斗给大家详细说明了DedeCMS中的autoindex和itemindex的日常用法,而我们在DedeCMS建站过程中,调用顶级栏目之类的会用到currentstyle属性,来实现当 ... [详细]
  • 算法题解析:最短无序连续子数组
    本题探讨如何通过单调栈的方法,找到一个数组中最短的需要排序的连续子数组。通过正向和反向遍历,分别使用单调递增栈和单调递减栈来确定边界索引,从而定位出最小的无序子数组。 ... [详细]
  • 如何解决录音时麦克风音量过低的问题
    本文详细介绍了在录音过程中遇到麦克风音量过低时的解决方案,涵盖硬件和软件设置的调整方法。 ... [详细]
  • 本文深入探讨了线性代数中向量的线性关系,包括线性相关性和极大线性无关组的概念。通过分析线性方程组和向量组的秩,帮助读者理解这些概念在实际问题中的应用。 ... [详细]
  • 本文介绍如何在 C++ 中使用链表结构存储和管理数据。通过具体示例,展示了静态链表的基本操作,包括节点的创建、链接及遍历。 ... [详细]
  • 获取Jedis和Commons Pool JAR包的两种方法及详细步骤
    本文介绍如何通过网盘链接或官方网站获取Jedis和Commons Pool的JAR包,并提供详细的图文教程。同时,还附有导入JAR包到项目的相关建议。 ... [详细]
  • 云计算的优势与应用场景
    本文详细探讨了云计算为企业和个人带来的多种优势,包括成本节约、安全性提升、灵活性增强等。同时介绍了云计算的五大核心特点,并结合实际案例进行分析。 ... [详细]
  • 本文旨在提供一套高效的面试方法,帮助企业在短时间内找到合适的产品经理。虽然观点较为直接,但其方法已被实践证明有效,尤其适用于初创公司和新项目的需求。 ... [详细]
  • 本文详细介绍了如何判断自己是否患有假胯宽,并提供了科学有效的改善方法,帮助您塑造更加优美的腿部线条。 ... [详细]
  • 在成功安装和测试MySQL及Apache之后,接下来的步骤是安装PHP。为了确保安全性和配置的一致性,建议在安装PHP前先停止MySQL和Apache服务,并将MySQL集成到PHP中。 ... [详细]
  • 本文探讨了使用C#在SQL Server和Access数据库中批量插入多条数据的性能差异。通过具体代码示例,详细分析了两种数据库的执行效率,并提供了优化建议。 ... [详细]
  • 解决FCKeditor应用主题后上传问题及优化配置
    本文介绍了在Freetextbox收费后选择FCKeditor作为替代方案时遇到的上传问题及其解决方案。通过调整配置文件和调试工具,最终解决了上传失败的问题,并对相关配置进行了优化。 ... [详细]
  • 在跨浏览器开发中,一个常见的问题是关于如何在鼠标悬停时显示图片提示信息。本文深入探讨了 IE 浏览器对 IMG 元素 alt 属性的特殊处理,并提供了最佳实践建议。 ... [详细]
  • 反向投影技术主要用于在大型输入图像中定位特定的小型模板图像。通过直方图对比,它能够识别出最匹配的区域或点,从而确定模板图像在输入图像中的位置。 ... [详细]
  • 本问题探讨了在特定条件下排列儿童队伍的方法数量。题目要求计算满足条件的队伍排列总数,并使用递推算法和大数处理技术来解决这一问题。 ... [详细]
author-avatar
俣小沫-WU
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有