数学数论莫比乌斯反演本页总览莫比乌斯反演参考资料 莫比乌斯反演 - OI Wiki 简介 莫比乌斯函数 μ(n)\mu(n)μ(n) 是一个积性函数:μ(1)=1\mu(1)=1μ(1)=1;nnn 含平方因子时 μ(n)=0\mu(n)=0μ(n)=0;否则 μ(n)=(−1)k\mu(n)=(-1)^kμ(n)=(−1)k,kkk 为 nnn 的不同质因子个数。它满足 ∑d∣nμ(d)=[n=1]\sum_{d\mid n}\mu(d)=[n=1]∑d∣nμ(d)=[n=1]。 莫比乌斯反演:若 f(n)=∑d∣ng(d)f(n)=\sum_{d\mid n}g(d)f(n)=∑d∣ng(d),则 g(n)=∑d∣nμ(nd)f(d)g(n)=\sum_{d\mid n}\mu\left(\frac nd\right)f(d)g(n)=∑d∣nμ(dn)f(d)。它常用来把 gcd\gcdgcd 形式的和式拆开,配合数论分块在 O(n)O(\sqrt n)O(n) 内求解。 例题 题面code洛谷 P3455 [POI 2007] ZAP-QueriesTTT 组询问,每组给定 a,b,da,b,da,b,d,求 ∑i=1a∑j=1b[gcd(i,j)=d]\sum_{i=1}^a\sum_{j=1}^b[\gcd(i,j)=d]∑i=1a∑j=1b[gcd(i,j)=d]。