题解:LCM

题意:

推式子

我们考虑把这个式子的形式转变一下

首先,分别整除可以转变成他们的 \(gcd\) 整除

其次,考虑整除一个平方项,我们可以联想到一个欧拉函数 \(\mu\)

于是,我们要求的式子就变成了

\[ \large \sum_{a=1}^A \sum_{b=1}^B [\mu(gcd(a,b))\neq 0] \frac{a*b}{gcd[a,b]} \]

很明显这里就是一个莫比乌斯反演的式子,然后按照套路把 \(gcd\) 提出来

\[ \large \sum_{\mu(k) \ neq 0 } \frac{1}{k} \sum_{a=1}^A \sum_{b=1}^B [gcd(a,b)==k] \frac{a*b}{gcd[a,b]} \]

\[ \large \sum_{\mu(k) \ neq 0 } k \sum_{a=1}^{\frac{A}{k}} \sum_{b=1}^{\frac{A}{k}} [gcd(a,b)==k] a*b \]

然后接下来的一部分和简单数学题一样,把后面的部分进行莫比乌斯反演,然后带回来,得到

\[ \large Ans=\sum_{\mu(k) \ neq 0 } k \sum_{d=1}^{\frac{A}{k}} \mu(d) S\Big( \Big\lfloor \frac{n}{kd} \Big\rfloor \Big)^2 \]

按照套路 \(T=kd\)

\[ \large Ans=\sum_{T=1}^A S\Big(\Big\lfloor \frac{A}{T} \Big\rfloor \Big)^2 \sum_{d|T \mu(k) \neq 0 } \mu \Big(\frac{T}{d}\Big) \Big(\frac{T}{d}\Big)^2 d \]

到了这一步,我们已经基本上可以做了,打一个简单的 \(nlogn\) 的筛加上整除分块,复杂度就变成了 \(nlogn+T\sqrt{n}\) ,常数优秀一点就可以切掉了,但是我们还有更优秀的线性筛

猜你喜欢

转载自www.cnblogs.com/zijinjun/p/11051142.html
lcm
今日推荐