首页 > 其他分享 >Möbius 反演

Möbius 反演

时间:2022-11-17 00:03:15浏览次数:37  
标签:frac nm sum 反演 alpha prod bigg bius

\(\textbf{QAQ}\)

令 \(h\) 为两个数论函数 \(f,g\) 的 Dirichlet 卷积 \(f*g\),则

\[h(n)=\sum_{d|n}f(d)g(\frac{n}{d}) \]

它满足结合律,交换律,分配律。

Dirichlet 卷积单位元 \(\epsilon\) 使得 \(\epsilon*f=f\),它是

\[\epsilon(n)=[n=1] \]

两个积性函数 \(f,g\) 的 Dirichlet 卷积 \(h=f*g\) 也是积性函数。

证明,设 \((n,m)=1\),则

\[\begin{aligned} h(nm)&=\sum_{d|nm}f(d)g(\frac{nm}{d})\\ &=\sum_{d_0|n}\sum_{d_1|n}f(d_0d_1)g(\frac{nm}{d_0d_1})\\ &=\sum_{d_0|n}\sum_{d_1|n}f(d_0)f(d_1)g(\frac{n}{d_0})g(\frac{m}{d_1})\\ &=\bigg(\sum_{d_0|n}f(d_0)g(\frac{n}{d_0})\bigg)\bigg(\sum_{d_1|n}f(d_1)g(\frac{m}{d_1})\bigg)\\ &=h(n)h(m) \end{aligned}\]

有积性函数 \(f\),算术基本定理分解 \(n=\prod_{i=1}^kp_i^{\alpha_i}\),那么有

\[f(n)=\prod_{i=1}^kf(p_i^{\alpha_i}) \]

线性筛积性函数的原理就是它可以用 \(n\) 的最小质因数 \(p_n\) 筛掉 \(n\),同时我们也可以知道 \(p_n\) 于 \(n\) 中的次数 \(k\),于是如果我们可以快速计算 \(f\) 在质数幂处 \(f(p^k)\) 的答案,那么我们就可以利用 \((\frac{n}{p_n^k},p^k_n)=1\) 来直接递推出 \(f(n)=f(\frac{n}{p_n^k})f(p_n^k)\)。

比如

\[\varphi(p^k)=p^k-p^{k-1}=(p-1)p^{k-1} \]

( 与 \(p^k\) 不互质的数只有 \(p\) 的倍数 \(p,2p,\dots,p^k-p\))

其实从这里就能得到

\[\varphi(n)=\prod_{i=1}^k\varphi(p_i^{\alpha_i})=\prod_{i=1}^k(p_i-1)p_i^{\alpha_i-1}=n\prod_{i=1}^k(1-\frac{1}{p_i}) \]

\(\mu(n)\)

\[\sum_{d|n}\mu(d)=[n=1] \]

标签:frac,nm,sum,反演,alpha,prod,bigg,bius
From: https://www.cnblogs.com/yukari1735/p/16898020.html

相关文章

  • 容斥原理 & 莫比乌斯反演
    tobefix:“扩展”部分的式子是假的二维子集反演莫比乌斯反演容斥原理&莫比乌斯反演一、函数卷积:定义函数卷积\(f(x,y)\)和\(g(x,y)\)是\(X\timesX\ri......
  • 积性函数(积性函数概念、欧拉筛求积性函数、莫比乌斯反演)学习笔记
    1、积性函数2、欧拉筛求积性函数3、莫比乌斯反演4、狄拉克雷卷积......
  • 炫酷反演魔术?
    记录一些自己做的简单题。P6478简单容斥。设\(f[x][i]\)表示\(x\)为根子树,钦定\(i\)对祖孙关系的方案数。可以用树形背包转移。(顺便给我科普了真正正确的树形背包......
  • 单位根反演
    单位根反演就是下面这个式子:\[[n|k]=\frac{1}{n}\sum_{i=0}^{n-1}w_n^{ik}\]证明:当\(n|k\)时,\(w_n^{ik}=1\),原式成立。当\(n\not{|}k\)时,原式等于\(\frac{1}{n......
  • 莫比乌斯反演
    线性筛莫比乌斯函数intss[N+5],mu[N+5],cnt,sum[N+5];boolvs[N+5];ilvoidinit(intn){for(riunsignedinti=2;i<=n;++i){if(!vs[i])ss[++cnt]=i,......
  • 拉格朗日反演推导扩展Cayley公式
    萌新初学拉格朗日反演,这个看起来很对所以应该是对的吧?把\(n\)个点连成有\(k\)棵树的森林,并且要求\(1,2,\cdots,k\)这\(k\)个点两两不在同一棵树的方案数。首先......
  • scau 18087 开始我是拒接的 mobius
    其实有一个很有用的技巧就是,把gcd=4的贡献,压去gcd=2时的贡献,就不需要考虑这么多的了。为什么可以把gcd=4的,压去gcd=2的呢,gcd=12的,压去gcd=6的去算呢,其实这就是m......
  • bzoj 2301: [HAOI2011]Problem b mobius反演 RE
    ​​http://www.lydsy.com/JudgeOnline/problem.php?id=2301​​设f(i)为在区间[1,n]和区间[1,m]中,gcd(x,y)=i的个数。设F(i)为在区间[1,n]和区间[1,m]中,gcd(x,y)%......
  • 【Coel.学习笔记】莫比乌斯反演
    闲话记得在差不多一年前写扩展欧拉定理的时候我提了一句这周终于把古代猪文搞定了,数论这块的内容就只剩个博弈论了别提莫比乌斯反演之类的东西,我不想搞甚至刚开始写......
  • luogu P5518 幽灵乐团 / 莫比乌斯反演基础练习题
    重新学习了一下莫比乌斯反演,再来写一次这道题。Part1\[\prod_{i=1}^A\prod_{j=1}^B\prod_{k=1}^C\dfrac{\text{lcm}(i,j)}{\gcd(i,k)}\]\[=\prod_{i=1}^A\prod_{j=1}^B......