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

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

 狄利克雷卷积

数论函数及其运算

数论函数是指定义域是正整数,值域是一个数集的函数。

加法,逐项相加,即\((f+h)(n)=f(n)+h(n)?\);

数乘,这个数和每一项都相乘,即 \((xf)(n)=x·f(n)?\)

狄利克雷卷积

定义两个数论函数的狄利克雷卷积 \(*:?\)

若\(t=f*g?\),则\(t(n)=\sum_{d|n}^{}f(d)·g(\frac{n}{d})?\),又或者写成\(t(n)=\sum_{ij=n}f(i)\cdot g(j)?\)。

卷积性质

  1. 交换律:\(f*g=g*f\)
  2. 结合律: \((f*g)*h=f*(g*h)\)
  3. 分配律:\((f+g)*h=f*h+g*h\)
  4. 单位元:\(\epsilon*f=f?\),其中\(\epsilon=[n=1]?\)
  5. 逆 元: 对于每个\(f(1)\not=0\)的\(f\),都存在一个\(g\),使得\(f*g=\epsilon\),\(g\)为\(f\)的逆。

积性函数

定义不再重复。

常见的积性函数

1.\(\phi(n)=n\prod_{i=1}^{k}{\frac{p_i-1}{p_i}}\)

2.\(id^k(n)=n^k?\),特别的记\(I(n)=id^0(n)=1,\ \ id(n)=id^1(n)=n?\)

3.\(\epsilon(n)=[n=1]?\)

4.\(\mu(n)=\cases{0,n存在两个或以上相同质因子\\ (-1)^k,n不存在两个或以上相同质因子},k为质因子个数?\)

积性函数性质

1.积性函数的狄利克雷卷积还是积性函数。

2.积性函数的逆还是积性函数。

由积性函数的性质可知,通过计算出它在质因子幂处的取值,就可以得到它本身的值。

例如:\(\phi(n)=\prod_{i=1}^{cnt}\phi(p_i^{c_i})?\)

另外,容易发现\((\phi\ *\ I)(p^k)=p^k?\),由性质1可得\(\phi*I=id?\)。

莫比乌斯反演

运用上述知识,从卷积的角度来认识莫比乌斯反演。

首先重新认识一下\(\mu?\),定义\(\mu?\)为\(I?\)的逆。

由于\(I\)是积性的,而\(\mu\)是\(I\)的逆,所以\(\mu?\)也是积性的。

利用\(I*\mu=\epsilon?\),可以得出:
\[
\mu(p^k)=\cases{1\ \ \ \ \ k=0\\-1\ \ k=1\\0\ \ \ \ \ k>1}
\]
再利用积性函数的性质1,可以得到上面写到的\(\mu?\)函数。

这个时候,我们顺便发现了一个\(\phi?\)与\(\mu?\)的关系:
\[
\phi=id*I^{-1}=id*\mu\\phi(n)=\sum_{d\mid n}d\cdot\mu(\frac{n}{d})
\]

进入正题。

如果数论函数\(f,g\)满足:
\[
f(n)=\sum_{d|n}g(n)\\]
那么,
\[
g(n)=\sum_{d|n}\mu(d)\cdot f(\frac{n}{d})
\]

证明:直接写成卷积形式即可。

同时存在另外一种形式的莫比乌斯反演:
\[
f(n)=\sum_{n|X}g(X)\g(n)=\sum_{n|X}\mu(\frac{X}{n})\cdot f(X)
\]

证明:

定义新运算\((f\odot g)(n)=\sum_{n|X}f(\frac{X}{n})\cdot g(X)\)

下面先证明:\((f*g)\odot h=f\odot (g\odot h)?\)
\[
(f\odot (g\odot h))(n)=\sum_{n|X}f(\frac{X}{n})\sum_{X|P}g(\frac{P}{X})h(P)\=\sum_{n|X}\sum_{X|P}f(\frac{X}{n})g(\frac{P}{X})h(P)\=\sum_{n|P}(f*g)(\frac{P}{n})h(P)\=((f*g)\odot h)(n)
\]
所以就有
\[
g=(\mu*I)\odot g=\mu\odot(I\odot g)=\mu\odot f
\]

应当注意的是:
\[
\sum_{n|X}\mu(\frac{X}{n})\cdot f(X)\not=\sum_{n|X}\mu(X)\cdot f(\frac{X}{n})
\]

原文地址:https://www.cnblogs.com/Bhllx/p/11566044.html

时间: 2024-10-31 08:50:45

狄利克雷卷积 && 莫比乌斯反演的相关文章

数论入门——莫比乌斯函数,欧拉函数,狄利克雷卷积,线性筛,莫比乌斯反演,杜教筛

一个菜鸡对数论的一点点理解... 莫比乌斯函数 定义函数\(\mu(n)\)为: 当n有平方因子时,\(\mu(n)=0\). 当n没有平方因子时,\(\mu(n)=(-1)^{\omega(n)}\),\(\omega(n)\)表示n不同质因子的个数. 性质1: \(\sum_{d|n}\mu(d)=[n=1]\) 证明:我们把n分解质因数,则原式\(=(-1+1)^{\omega(n)}=0\). 因为对于不同的质因子,只有选和不选两种方案,这是一个组合数相加的形式,偶数加奇数减,根据二项式

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

1.数论函数 定义两个数论函数\(f(n)\)与\(g(n)\) 则\((f+g)(n)=f(n)+g(n)\) 2.狄利克雷卷积 定义两个数论函数的狄利克雷卷积\(*\) 定义数论函数\(t=f*g\) 则\(\mathbf t(n)=\sum_{ij=n}\mathbf f(i)\mathbf g(j)\) 显然,\(f*g=g*f,f*(g*k)=(f*g)*k,f*(g+k)=f*g+f*k\) 定义数论函数\(f\)的单位元\(?\),使得\(\epsilon\ast\mathbf f

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

狄利克雷卷积是函数与函数之间的运算 运算定义为:$(f*g)(x) = \sum_{d|x}{f(d) * g(\frac{x}{d})}$ 该运算有交换律:$f*g=g*f$ 有结合律:$f*(g*h)=(f*g)*h$ 有分配率:$f*(g+h)=f*g+f*h$ 在这种新定义的运算中有许多特殊的元素 $e$ 满足 $e(n) = [n==1]$ 即当只有$n=1$时$e(n)=1$,否则为$0$ (对命题$P$,引入符号$[P]$,如果命题成立则值为$1$,否则为$0$.) $d$ 满足$

Dirichlet卷积和莫比乌斯反演

半夜不睡写博客 1.Dirichlet卷积 定义2个数论函数f,g的Dirichlet卷积$(f*g)n=\sum_{d|n}f(d)g(\frac{n}{d})$ Dirichlet卷积满足交换律,结合律,加分分配律,若f,g为积性函数,则f*g也为积性函数 2.莫比乌斯反演 如果有2个函数f,g满足$f(n)=\sum_{d|n}g(d)$ 则有$g(n)=\sum_{d|n}\mu(d)f(\frac{n}{d})$ 两者可以互相推得,即$f=g*1 \Leftrightarrow g=\

[莫比乌斯反演]【学习笔记】[更新中]

参考资料: [大部分还没看完,目前主要看了popoqqq那篇 orz] http://wenku.baidu.com/link?url=Kzzxkk64CFU7sfDeJbGKNpZpFJzJY1ZwNoaPgGo7tPSpv4KJvGAkStkpzytG46gjQuqNX7NB0merxfS4knD2H5fw7s4oHu1o1-6p16_VbEm http://wenku.baidu.com/view/77396ebb27d3240c8547ef2e.html?re=view 浅谈一类积性函数

【bzoj4407】于神之怒加强版 莫比乌斯反演+线性筛

题目描述 给下N,M,K.求 输入 输入有多组数据,输入数据的第一行两个正整数T,K,代表有T组数据,K的意义如上所示,下面第二行到第T+1行,每行为两个正整数N,M,其意义如上式所示. 输出 如题 样例输入 1 2 3 3 样例输出 20 题解 莫比乌斯反演+线性筛 $\sum\limits_{i=1}^n\sum\limits_{j=1}^m\gcd(i,j)^k\\=\sum\limits_{d=1}^{\min(n,m)}d^k\sum\limits_{i=1}^n\sum\limits

【Luogu3768】简单的数学题(莫比乌斯反演,杜教筛)

[Luogu3768]简单的数学题(莫比乌斯反演,杜教筛) 题面 洛谷 \[求\sum_{i=1}^n\sum_{j=1}^nijgcd(i,j)\] $ n<=10^9$ 题解 很明显的把\(gcd\)提出来 \[\sum_{d=1}^nd\sum_{i=1}^n\sum_{j=1}^nij[gcd(i,j)==d]\] 习惯性的提出来 \[\sum_{d=1}^nd^3\sum_{i=1}^{n/d}\sum_{j=1}^{n/d}ij[gcd(i,j)==1]\] 后面这玩意很明显的来一发

【Project Euler】530 GCD of Divisors 莫比乌斯反演

[题目]GCD of Divisors [题意]给定f(n)=Σd|n gcd(d,n/d)的前缀和F(n),n=10^15. [算法]莫比乌斯反演 [题解]参考:任之洲数论函数.pdf 这个范围显然杜教筛也是做不了的,而且考虑直接化简f(n)也遇到了困难,所以考虑将前缀和的Σ一起化简. $$F(n)=\sum_{i=1}^{n}\sum_{d|i}(d,\frac{i}{d})$$ 这一步很常见的是第一重改为枚举倍数,但这样化简后面就推不下去了. 这道题必须最后转成$\sigma_0(n)$才

莫比乌斯反演&#183;学习记录

莫比乌斯反演·学习记录 cyw在6.8左右学的莫比乌斯反演,记录一下 这个东西感觉不大好描述,我一开始也不知道这玩意能干嘛(其实现在也不知道) CYW认为,对关于一些因数/倍数关系进行操作的行为,可以用莫比乌斯反演来解决 莫比乌斯函数 这并不是什么高大上的东西,但是很有用 对于 莫比乌斯函数 的定义是 $d=1,\mu(d)=1 $ \(d=\prod_{k=1}^n p_k\;(k\in prime),\mu(d)=(-1)^k\) 即数\(d\)可以被表示为若干互异素数相乘的形式(指数不超过