当前位置: 首页 > 编程日记 > 正文

狄利克雷卷积莫比乌斯反演证明

狄利克雷卷积简介

卷积这名字听起来挺学究的,今天学了之后发现其实挺朴实hhh。

卷积:

“(n)”表示到n的一个范围。
\(f,g\)是两个数论函数(也就是说,以自然数集为定义域的复数值函数),则卷积运算\(f\ast g\)定义为
\[(f\ast g)(n) = \sum_{ij=n}{f(i)g(j)}\]
另一种写法就是:
\[(f\ast g)(n) = \sum_{d\mid n}{f(d)g(\frac{n}{d})}\]
这里给一段数论函数的定义:

数论函数亦称算术函数,一类重要的函数,指定义在正整数集上的实值或复值函数,更一般地,也可把数论函数看做是某一整数集上定义的函数。

一些数论函数

首先最简单的就是常数函数,直接映射到一个正整数,比如\(f(x)=1,f(x)=2\)这样的。
再有就是一些整数域数列的通项公式函数,例如\(f(x)=x\)这样的。
还有就是\(\phi(x)\)欧拉函数,表示因数个数。
另外就是元函数e,写成表达式就是\(e(x)=[x=1]\).
还有特殊的常数函数,把所有的数字映射成1的\(u(x)=1\)
莫比乌斯函数:通常,莫比乌斯函数\(\mu\)定义为
\(\mu(1)=1;\)
\(\mu(n)=(-1)^k\)如果n能写成k个不同素数之积;
\(\mu(n)=0\),其他情况。

以下参考如何证明莫比乌斯反演?by Syu Gau

一些简单性质

交换律

根据\[(f\ast g)(n) = \sum_{ij=n}{f(i)g(j)}\]
这个定义,结论是显然的了。

结合律

只要证明\((f*g)*h=f*(g*h)\)就可以了。
于是左边就是
\[ \begin{align} ((f\ast g)\ast h)(n) &= \sum_{lk=n}(f\ast g)(l)h(k) \\ &= \sum_{lk=n}\left(\sum_{ij=l}f(i)g(j)\right)h(k)\\ &= \sum_{ijk=n} f(i)g(j)h(k) \end{align} \]
右边是
\[ \begin{align} (f\ast (g\ast h))(n) &= \sum_{il=n}f(i)(g\ast h)(l) \\ &= \sum_{il=n}f(i)\left(\sum_{jk=l}g(j)h(k)\right)\\ &= \sum_{ijk=n} f(i)g(j)h(k) \end{align} \]
得证。

加法的结合律

看不懂网上的证明,简单贴一下。

存在单位元\(\iota\) 使得\(\iota\ast f=f\)
我们需要
\[(\iota\ast f)(n)=\sum_{ij=n}\iota(i)f(j)=f(n)\]
故不难猜到\(\iota\) 应该定义为\(\iota(n)=\) \begin{cases} 1&n=1\ 0&n\neq1 \end{cases}
事实上,直接验证可得
\[(\iota\ast f)(n)=\sum_{ij=n}\delta_{i,1}f(j)=f(n)\]
以上说明数论函数在卷积意义下构成一个交换群。

卷积差不多就这些。。。

莫比乌斯反演证明

\(\mu\)函数的性质

为什么要发明这个函数呢,肯定是有道理的。
我们一般把\(\mu\)看做是\(u(x)=1\)在卷积意义下的逆元。就是说它满足:
\[\mu\ast u=e\]
1就是函数f(n)=1。展开来写就是
\[\sum_{d\mid n}\mu(d)*1\]
\(n=1\)时,显然成立。
\(n>1\)时,根据唯一分解定理我们可以把n拆成\(n=p^{k_1}_1*p^{k_2}_2*\cdots*p^{k_n}_n\)
\(\exists k_x=1\)时,\(\mu\)值肯定为0,所以我们把\(k_x\)都看作1。
而d枚举的就是n的因子,其实就是在n的质因子集合里取走任意个。所以这个式子可以写成这个样子:
\[ \begin{align} \sum_{d\mid n}\mu(d) =& \mu(1)+\mu(p_1)+\mu(p_2)+\cdots+\mu(p_k)+\mu(p_1p_2)+\cdots+\mu(p_1p_2\cdots p_k) \\ =& \binom{k}{0}+\binom{k}{1}(-1)+\binom{k}{2}(-1)^2+\cdots+\binom{k}{k}(-1)^k \\ =&(1-1)^k=0 \end{align} \]
那么\[\sum_{d\mid n}\mu(d)=1\]就得证了。

反演形式1证明

法1

莫比乌斯反演形式1就是,如果\(f(n)=\sum_{d\mid n}g(d)\),则\(g(n)=\sum_{d\mid n}\mu\left(\frac{n}{d}\right)f(d)\)
写成卷积的形式就是,如果\(f=g*e\),则\(g=f*\mu\)
这样写就比原来哪样要好记而且简介多了。
有了之前的铺垫,接下来就很容易了。
把原方程两边乘一个\(\mu\)
\[f*\mu=g*e*\mu\]
\[f*\mu=g*(e*\mu)\]
由于之前有证明\(\mu*e=1\)所以就有\(f*\mu=g\)于是得证。
感觉这种方法非常巧妙啊。。

法2

听知乎上大佬讲的,莫比乌斯反演其实就是偏序集上的容斥,简单理解了一下大概是这样的。
我们知道容斥定理的公式是
\[g(S)=\sum_{V\subset S}f(V)\implies f(S)=\sum_{V\subset S}(-1)^{\mid S\mid-\mid V\mid}*g(V)\]
用叉姐的话将就是:n 个坏事都不发生的概率,可以通过 2 n 个同时发生的概率计算,定义一个由数映射到它质因子集合的映射,映射关系显然是整除,V看做是S的质因子但不是V的质因子的乘积,那么莫比乌斯反演定理就和容斥的式子长得一模一样了。\(\mu\)就是\((-1)^{\mid S\mid-\mid V\mid}\)

反演形式2证明

以后再填坑。。感觉效率好低QAQ

\(\phi\)和μ的关系

有一个经典公式就是:
\[\sum_{d\mid n}\phi(d)=n\]
这个公式怎么证明呢?
我们可以把它简记为
\[\phi*e=id\]
然后两边乘一个\(\mu\)
\[\phi*(\mu*e)=id*\mu\]
\[\phi=id*\mu\]
再化回来
\[\phi(n)=\sum_{d\mid n}\mu(d)*\lfloor\frac{n}{d}\rfloor\]
μ只有在d质因数分解之后各个质因子个数为1的时候才有贡献,为奇数个因子的时候-,偶数为+,这不就是一个容斥求因子个数么。。于是左边等于右边,得证

转载于:https://www.cnblogs.com/terribleterrible/p/9799293.html

相关文章:

L1-027 出租 (C++暴力解法)

L1-027 出租 (20 分) 下面是新浪微博上曾经很火的一张图: 一时间网上一片求救声,急问这个怎么破。其实这段代码很简单,index数组就是arr数组的下标,index[0]2 对应 arr[2]1,index[1]0 对应 arr[0]8,index[…

oracle9i安装不上,终于成功安装oracle9i了(Cent OS 4.0+oracle9204)

本来没想过要做这个总结的,但就安装个数据库来说,在linux下安装oracle简直就是折磨人,它不难,但就是要很细心(=繁琐):操作系统:Cent OS-4ISOs(相当于RedHat Enterprise linux 4.0)or…

UESTC 1811 Hero Saving Princess

九野的博客,转载请注明出处 http://blog.csdn.net/acmmmm/article/details/11104265 题目链接 :http://222.197.181.5/problem.php?pid1811 题意:T个测试数据 n m //n个点 m条边 m条无向边 que//下面有que个数据 a b // 表示a点的钥匙在b中…

VC:其他控件(CProgressCtrl、CScrollBar、CDateTimeCtrl、CMonthCalCtrl)

1、进度条 m_progressCtrl.SetRange(0,100); for(int i0;i<100;i) { m_progressCtrl.SetPos(i); Sleep(100); } AfxMessageBox("进度条到达终点"); 2、滑块控件&#xff1a;添加WM_VSCROLL消息。 void COtherCtrlDlg::OnHScroll(UINT nSBCode, UINT nPos, CScroll…

获取checkbox所选中的值

<input name"demand" type"checkbox" value"222" />//获取所有name为demand的对象var obj document.getElementsByName(demand);var demand ;for (var i 0; i < obj.length; i) {if (obj[i].checked) {demand obj[i].value ,;//如…

oracle plsql开启并行,Oracle开启并行的几种方法

并行执行是同时开启多个进程/线程来完成同一个任务&#xff0c;并行执行的每一个进程/线程都会消耗额外的硬件资源&#xff0c;所以并行执行的本质就是以额外的硬件资源消耗来换取执行时间的缩短。这里的额外硬件资源消耗是指对数据库服务器上多个CPU、内存、从个I/O通道&#…

L1-044 稳赢 (暴力法)

L1-044 稳赢 (15 分) 大家应该都会玩“锤子剪刀布”的游戏&#xff1a;两人同时给出手势&#xff0c;胜负规则如图所示&#xff1a; 现要求你编写一个稳赢不输的程序&#xff0c;根据对方的出招&#xff0c;给出对应的赢招。但是&#xff01;为了不让对方输得太惨&#xff0c;…

一些有用的webservice

http://developer.51cto.com/art/200908/147125.htm 下面总结了一些常用的Web Service&#xff0c;是平时乱逛时收集的&#xff0c;希望对大家有用。 天气预报Web Service&#xff0c;数据来源于中国气象局 Endpoint Disco WSDL IP地址来源搜索Web Service&#xff08;是目前…

TSQL语句中的Like用法

SQL Server&#xff1a;SQL Like 的特殊用法 %&#xff1a;匹配零个及多个任意字符&#xff1b; _&#xff1a;与任意单字符匹配&#xff1b; []&#xff1a;匹配一个范围&#xff1b; [^]&#xff1a;排除一个范围 SymbolMeaninglike 5[%]5%like [_]n_nlike [a-cdf]a, b, c, d…

MySQL数据类型

--------MySQL常用数据类型概括&#xff1a; #1. 数字&#xff1a;整型&#xff1a;tinyint int bigint小数&#xff1a;float &#xff1a;在位数比较短的情况下不精准double &#xff1a;在位数比较长的情况下不精准decimal&#xff1a;&#xff08;如果用小数&#xff0c;…

L1-047 装睡 (结构体解决)

L1-047 装睡 (10 分) 你永远叫不醒一个装睡的人 —— 但是通过分析一个人的呼吸频率和脉搏&#xff0c;你可以发现谁在装睡&#xff01;医生告诉我们&#xff0c;正常人睡眠时的呼吸频率是每分钟15-20次&#xff0c;脉搏是每分钟50-70次。下面给定一系列人的呼吸频率与脉搏&am…

sum_series() 求一列数的指定个数的数和(5个数字的和)

1 #include <stdio.h>2 #include <stdarg.h>3 /*用sum_series() 求一列数的指定个数的数和(5个数字的和)*/4 double sum_series(int num, ...);5 6 int main()7 {8 double s;9 s sum_series(5, 0.5, 0.25, 0.125, 0.06254, 2.0); 10 printf("Sum…

oracle创建用户名授权,oracle创建用户及授权创建表

----Oracle 用户、对象权限、系统权限--建立表空间和用户的步骤&#xff1a;用户建立&#xff1a;create user 用户名 identified by "密码";授权&#xff1a;grant create session to 用户名;grant create table to 用户名;grant create tablespace to 用户名;gra…

过滤器、拦截器、aop的先后顺序和作用范围&拦截器preHandle(),postHandle(),afterComplation()方法执行顺序

在Spring框架中,过滤器(Filter)、拦截器(Interceptor)和面向切面编程(AOP)都是用于处理请求和处理流程的组件,但它们的作用范围和触发时机有所不同。下面我会解释这三者的先后顺序和作用范围。执行顺序:请注意,这个顺序可能因具体的配置和使用的技术而有所不同。在实际应用中,建议根据项目的具体需求来合理配置和使用这些组件。拦截器执行流程图:实现拦截器需要实现这个接口,这个 接口中有三个默认方法,这三个方法的执行顺序:我们实现接口然后重写这三个方法,就会在对应的时机被自动执行。这里就是调用处理

[IoC容器Unity]第四回:使用范例

1.引言  前面几个章节介绍了Unity的基本使用&#xff0c;主要分为程序和配置文件两种方法的使用&#xff0c;可以参考一下链接&#xff0c; [IoC容器Unity]第一回&#xff1a;Unity预览[IoC容器Unity]第二回&#xff1a;Lifetime Managers生命周期[IoC容器Unity]第三回&#x…

Zookeeper概要、协议、应用场景

Zoopkeeper提供了一套很好的分布式集群管理的机制,就是它这种基于层次型的目录树的数据结构并对树中的节点进行有效管理,从而可以设计出多种多样的分布式的数据管理模型,作为分布式系统的沟通调度桥梁。

L1-056 猜数字 (结构体解决)

L1-056 猜数字 (20 分) 一群人坐在一起&#xff0c;每人猜一个 100 以内的数&#xff0c;谁的数字最接近大家平均数的一半就赢。本题就要求你找出其中的赢家。 输入格式&#xff1a; 输入在第一行给出一个正整数N&#xff08;≤104&#xff09;。随后 N 行&#xff0c;每行给…

不同的source control下配置DiffMerge

TFS&#xff1a; 1. 打开Option -> Source Control -> Visual Studio TFS -> Configure User Tools; 2. 添加 .*, Compare, C:\Program Files (x86)\SourceGear\DiffMerge\DiffMerge.exe, /title1%6 /title2%7 %1 %2; 3. 添加 .*, Merge, C:\Program Files (x86)\Sour…

下载oracle修复补丁下载,Oracle数据库修复工具下载_FROMBYTE Reconstructor for Oracle官方版下载[修复软件]-下载之家...

FROMBYTE Reconstructor for Oracle(Oracle数据库修复工具)官方版是一款专为Oracle的数据库进行修复软件&#xff0c;可以通过Oracle数据库修复工具软件创建一个修复区域&#xff0c;随后对数据库所在的位置扫描&#xff0c;将扫描的结果显示在主区域&#xff0c;让您可以查看哪…

SEO查询指令,非常值得你收藏!

用好搜索引擎一些特殊指令&#xff0c;是干SEO这行的一个基本功。初步整理了10个功能&#xff0c;单独使用是最基本的能力&#xff0c;如果综合使用&#xff0c;你会发现搜索的奥妙无穷。 1. site:  某个特定网站收录情况  比如site:www.baidu.com 2. cache:  上一次搜索…

GITHup的使用

一个源码管理工具&#xff0c;由于不擅长敲GIt命令&#xff0c;还不太喜欢用英文版本的软件&#xff0c;所以想办法用中文版的图形工具步骤如下&#xff1a; 下载了GIT64位&#xff0c;安装&#xff0c;下载了TortoiseGit和TortoiseGit中文语言包&#xff0c;先后安装。然后设置…

debug:g2o cmake时报错“Qt5 not found. Install it and set Qt5_DIR accordingly

** debug&#xff1a;g2o cmake时报错“Qt5 not found. Install it and set Qt5_DIR accordingly” ** 完整报错&#xff1a; ubuntu:~/WorkSpace/g2o/build$ cmake …/ – Compiling on Unix – Found CHOLMOD and its dependencies – Compiling with OpenGL support – C…

oracle表中怎么去重复,Oracle里去掉表里组合字段重复的记录步骤是什么呢?

当设计表的时候没有建组合字段唯一约束&#xff0c;以后需要增加这一约束时&#xff0c;却发现表里已经有了很多重复记录了。请看看我用的去掉表里组合字段重复的记录方法&#xff1a;假设原始表名为source_table,字段名1为field_name1,字段名2为field_name2。(当然稍加修改也可…

Windows Server 2012

安装Windows Server 2012之后&#xff0c;为了使用的方便性、性能&#xff0c;作如下配置&#xff1a; 一、方便使用&#xff1a; 1、启动时不需要按CtrlAltDel&#xff1a; 控制面板|管理工具|本地安全设置&#xff0c;弹出本地安全设置窗口&#xff0c;然后选择“安全设置…

从网站上扒网页,保存为file文件格式

保存下来的页面总是有部分特效缺失&#xff0c;可是文件包里已经有好几个js文件了。  例如想保存易迅的搜索页面&#xff0c;条件筛选栏的按钮全部失效了&#xff0c;按钮-更多、多选等 都没有反应&#xff0c;搜索结果的鼠标悬浮显示完整信息也没有了。 在 Chrome 地址栏中键…

CSDN:新的开始

这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题&#xff0c;有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注…

oracle直查和call哪个更快,让oracle跑的更快1读书笔记二

当前位置:我的异常网 数据库 <>读书笔记二<>读书笔记二www.myexceptions.net 网友分享于&#xff1a;2013-08-23 浏览&#xff1a;9次<>读书笔记21 绑定变量1)硬分析和软分析硬分析需要判断是否已经在共享池中&#xff0c;如果有的话&#xff0c;则直接拿…

WordPress 开启 Gzip 为网页加载提速减少响应时间

2019独角兽企业重金招聘Python工程师标准>>> 大家都晓得&#xff0c;开启Gzip能极大地压缩文本数据的体积。对于使用 WordPress 的博主来说&#xff0c;开启服务器的GZip压缩是一个为博客加速的好方法。GZip可对多种类型的文 件进行压缩&#xff0c;对于 CSS&#x…

20180829-Java多线程编程

Java 多线程编程 Java给多线程编程提供了内置的支持。一个多线程程序包含两个或多个能并发运行的部分。 程序的每一部分都称作一个线程&#xff0c;并且每个线程定义了一个独立的执行路径。 多线程是多任务的一种特别的形式。多线程比多任务需要更小的开销。 这里定义和线程相关…

b-blkid查看磁盘设备文件系统类型

blkid命令对查询设备上所采用文件系统类型进行查询。blkid主要用来对系统的块设备&#xff08;包括交换分区&#xff09;所使用的文件系统类型、LABEL、UUID等信息进行查询 改命令存在于util-linux-2.23.2-26.el7.x86_64软件包之中 常用命令展示 blkid查询所有设备的文件系统…