令 n′=⌊nd⌋n'=\lfloor\frac{n}{d}\rfloorn′=⌊dn⌋,m′=⌊md⌋m'=\lfloor\frac{m}{d}\rfloorm′=⌊dm⌋。
最终化简为 ∑d=1nμ(d)(∑x=1n′⌊n′x⌋⋅∑y=1m′⌊m′y⌋)\sum\limits_{d=1}^n\mu(d)(\sum\limits_{x=1}^{n'} \lfloor\frac{n'}{x}\rfloor\cdot \sum\limits_{y=1}^{m'} \lfloor\frac{m'}{y}\rfloor)d=1∑nμ(d)(x=1∑n′⌊xn′⌋⋅y=1∑m′⌊ym′⌋),不难发现大量 n′n'n′,m′m'm′ 的值相同,可是我们如果对它整除分块再求内层的板子整除分块不就 O(n)O(n)O(n) 了么?