首页 > 其他分享 >【笔记】莫比乌斯反演

【笔记】莫比乌斯反演

时间:2024-01-24 22:01:41浏览次数:29  
标签:right frac 乌斯 sum mu 反演 莫比 alpha left

0 约定

\([n]=[1,n]\cap\mathtt Z\)

1 数论分块

形如 $S(n)=\sum\limits_{i=1}^nf(i)g(\left \lfloor \dfrac{n}{i} \right \rfloor) $。

可以在 \(O(\sqrt n)\) 的时间复杂度内求解。

1.1 解法

  1. 对于 \(1\le i\le \sqrt n\),

    显然,\(i\) 最多 \(\sqrt n\) 种取值,故而 \(\left \lfloor \dfrac{n}{i} \right \rfloor\) 最多有 \(\sqrt n\) 种取值。

  2. 对于 \(\sqrt n<i\le n\),

    有 \(\left \lfloor \dfrac{n}{i} \right \rfloor\le\sqrt n\),最多亦有 \(\sqrt n\) 种取值。

综上,如果可以 \(O(1)\) 得到 \(f\) 的区间和,那么可以通过枚举 \(\left \lfloor \dfrac{n}{i} \right \rfloor\) 的取值,\(O(2\sqrt n)\approx O(\sqrt n)\) 求解。

具体代码如下:

int res = 0;
for (int i = 1, j; i <= n; i = j+1) {
    j = n/(n/i);
    res += (f(j) - f(i-1)) * g(n/i);
}

其中 \(j\) 为对于当前 \(i\) 满足 \(\left \lfloor \dfrac{n}{i} \right \rfloor=\left \lfloor \dfrac{n}{j} \right \rfloor\) 的最大的 \(j\)。

2 莫比乌斯函数

对于一些函数 \(f(n)\),如果很难直接求出它的值,而容易求出其倍数和或约数和 \(g(n)\),那么可以通过莫比乌斯反演,简化运算得到 \(f(n)\) 的值。

2.1 定义

定义莫比乌斯函数:

\[\mu(n)= \begin{cases} 1&n=1\\ 0&n\text{ 含有平方因子}\\ (-1)^k&k\text{ 为 }n\text{ 的不同质因子个数}\\ \end{cases}\]

注:

  1. 「含有平方因子」是指存在 \(p\) 为质数,\(\alpha\) 为满足 \(p^{\alpha}=n\) 的最大整数,\(\alpha\ge2\)。eg. \(\mu(8)=0\)。

2.2 性质

  1. \(\mu(n)\) 是 不完全 积性函数,即 \(\mu(x)\mu(y)=\mu(xy)\) 当且仅当 \((x,y)=1\)。

  2. 狄利克雷卷积 相关:

    1. \((\mu*\text I)=\begin{cases} 1&n=1\\ 0&n\neq 1\\ \end{cases}\)

      证明与下类似。

    2. \((\mu*\text{Id})=\varphi\)

      证明:

      设:\(n=p_1^{\alpha_1}p_2^{\alpha_2}\cdots p_k^{\alpha_k}\),\(p\) 为质数,\(\alpha\) 为正整数。

      \[\begin{aligned} (\mu*\text{Id})(n) &=\sum_{d|n}\mu(d)\dfrac n d\\ &\begin{array}{c} =\left(\mu(1)\frac{p_1^{\alpha_1}}{1}+\mu(p_1)\frac{p_1^{\alpha_1}}{p_1}+\cdots+\mu(p_1^{\alpha_1})\frac{p_1^{\alpha_1}}{p_1^{\alpha_1}}\right) \\ \hspace{1.5em}\vdots \\ \hspace{1.5em}\left(\mu(1)\frac{p_k^{\alpha_k}}{1}+\mu(p_k)\frac{p_k^{\alpha_k}}{p_k}+\cdots+\mu(p_k^{\alpha_k})\frac{p_k^{\alpha_k}}{p_k^{\alpha_k}}\right) \\ \end{array}&\text{【直接把括号展开,就可以发现她是对的】}\\ &=\left(p_1^{\alpha_1}-\frac{p_1^{\alpha_1}}{p_1}\right)\left(p_2^{\alpha_2}-\frac{p_2^{\alpha_2}}{p_2}\right)\cdots\left(p_k^{\alpha_k}-\frac{p_k^{\alpha_k}}{p_k}\right)&\text{【把 } \mu \text{ 的值带进去】}\\ &=\frac{(p_1-1)p_1^{\alpha_1}}{p_1}\times\frac{(p_2-1)p_2^{\alpha_2}}{p_2}\times\cdots\times\frac{(p_k-1)p_k^{\alpha_k}}{p_k}\\ &=(p_1-1)p_1^{\alpha_1-1}(p_2-1)p_2^{\alpha_2-1}\cdots(p_k-1)p_k^{\alpha_k-1}\\ &=\varphi(n)&\text{【 }\varphi\text{ 的一种公式计算法】} \end{aligned}\]

3 莫比乌斯反演

设一个数论函数 \(f(x)\),和另一个数论函数 \(F(x)\) 表示 \(f\)

则有:

\[f(x)=\sum\limits_{i=1}^{\left\lfloor \frac n x\right\rfloor}\mu(i)F(ix) \]

4 例题

4.1

感性感知一下,\(\gcd(i,j)\) 的取值实际上很少,所以突破口在于枚举她的取值。

设:

\(f(d)=\sum\limits_{i,j\in[n]\\\gcd(i,j)=d}ij\)

\(F(d)\)

\(G(x)=\sum\limits_{i=1}^ni=\dfrac{n(n+1)}2\)

答案即为 \(Ans=\sum\limits_{d=1}^nf(d)d\)。

下考虑求解 \(F(d)\):

\[\begin{aligned}F(d)&=\sum_{d|i}\sum_{d|j}ij\\ &=\sum_{d|i}i\times\sum_{d|j}j\\ &=\left(\sum_{i=1}^{\left\lfloor\frac n i\right\rfloor}id\right)^2\\ &=\left(G\left(\left\lfloor\frac n i\right\rfloor\right) d\right)^2\\ \end{aligned}\]

从而:

\[Ans=\sum\limits_{d=1}^nd\sum\limits_{i=1}^{\left\lfloor \frac n i\right\rfloor}\mu(i)F(ix) \]

推柿子:

\[\begin{aligned}\sun\end{aligned} \]

\[\]

标签:right,frac,乌斯,sum,mu,反演,莫比,alpha,left
From: https://www.cnblogs.com/CloudWings/p/17985949

相关文章

  • 【GEE】GEE反演地表温度相关问题说明(空洞、Landsat9数据集等)
    ​     之前分享了基于GEE-Landsat8数据集地表温度反演(LST热度计算),最近有很多小伙伴私信我很多问题,一一回复太慢了,所以今天写篇文章统一回答一下大家的问题。问题1:数据有很多空洞、某些条带没有数据等问题2:如何使用Landsat9数据进行温度反演问题3:该反演算法的来源......
  • 二项式反演学习笔记
    前置知识二项式定理:\((a+b)^n=\sum_{i=0}^n\binom{n}{i}a^ib^{n-i}\)。二项式反演反演公式1:\[f(n)=\sum_{i=0}^n\binom{n}{i}g(i)\iffg(n)=\sum_{i=0}^n(-1)^{n-i}\binom{n}{i}f(i)\]证明:\[\begin{aligned}\sum_{i=0}^n(-1)^{n-i}\binom{n}{i}f(i)&=\sum_{i=0......
  • 莫比乌斯反演学习笔记
    前置知识狄利克雷卷积:\(f*g=\sum_{d|n}f(d)g(\frac{n}{d})\)。积性函数,线性筛。数论分块。单位函数:\(\varepsilon(n)=[n=1]\)。(积性函数)常数函数:\(1(n)=1\)。(积性函数)莫比乌斯函数引理1:\(f(n)\)是积性函数等价于\(g(n)=\sum_{d|n}f(d)\)是积性函数。证明:显然,\(g=......
  • 【学习笔记】数论函数与莫比乌斯反演
    一.数论函数基础数论函数:满足值域为整数的函数。本文下述的数若无特殊说明均为整数。若无特殊说明则钦定\(\displaystylen=\prod_{i=1}^kp_i^{e_i},p_i\in\mathbb{P}\)。\(\mathbb{P}\)表示质数集合,\(p_i\)互不相同。介绍几个常见的数论函数:\(I(n)\):恒等函数,无论\(n\)......
  • 【算法】莫比乌斯反演
    参考博客OI-Wiki|Biuld-数学|Million-组合计数学习笔记|狄利克雷卷积和莫比乌斯反演|算法学习笔记(35):狄利克雷卷积狄利克雷卷积莫反的前置知识,主要引入了一个新运算。常用积性函数单位函数\(\varepsilon(n)=\begin{cases}1&n=1\\0&\text{otherwise}\end{cases}......
  • Landsat 7大气校正法的地表温度反演:ENVI实现
    本文介绍基于ENVI软件,实现对Landsat7遥感影像加以大气校正方法的地表温度反演操作。(基于ENVI的Landsat7地表温度(LST)大气校正方法反演与地物温度分析)1图像前期处理与本文理论部分更新:基于GEE的地表温度Landsat反演可以看谷歌地球引擎GEE批量计算Landsat地表温度,自动批量操作......
  • 各类反演总结
    反演就是有两个函数\(f\)和\(g\),可以简单得出\(g\)转化成\(f\)的式子,那么就可以从\(f\)推回\(g\)。内容:子集反演二项式反演莫比乌斯反演欧拉反演斯特林反演子集反演若\(f(S)=\sum_{T\inS}g(T)\),那么\(g(S)=\sum_{T\inS}(-1)^{|S|-|T|}......
  • 莫比乌斯函数平方前缀和
    考虑求\(\sum_{i=1}^n\mu(i)^2\)结论是\(\mu(i)^2=\sum_{j^2|i}\mu(j)\)考虑证明这个式子。先证明若\(\mu(i)\neq0\)此时\(\mu(i)^2=1\)显然只有\(j=1\)在右式造成贡献\(1\)等式成立。若存在\(j\neq1\)也在右式造成贡献,那么显然\(i\)有次数\(\ge2\)质因子了\(\mu(i)=0\)与......
  • 反演
    0.二项式反演0.1.形式\[F(n)=\sum_{i=0}^{n}(-1)^{i}{n\choosei}G(i)\iffG(n)=\sum_{i=0}^{n}(-1)^{i}{n\choosei}F(i)\]\[F(n)=\sum_{i=0}^{n}{n\choosei}G(i)\iffG(n)=\sum_{i=0}^{n}(-1)^{n-i}{n\choosei}F(i)\]\[F(x)=\sum_{i=x}^{n}......
  • 莫比乌斯反演
    定义\[\mu(n)=\begin{cases}1~~~~~~~~~~~~~~\text{(n=1)}\\0~~~~~~~~~~~~~~\text{(n存在完全平方因子)}\\(-1)^{\omega(n)}~~\text{(otherwise)}\end{cases}\]式子\[\sum_{d|n}\mu(d)=[n=1]\]证明:设\(n\)的本质不同质因子为\(p_1,p_2,...,p_k\),则选同一......