P2522 [HAOI2011]Problem b
Description
题目链接:P2522
有 $T$ 组数据,求
$$\sum\limits_{i=x}^n\sum\limits_{j=y}^m[gcd(i,j)=k]$$
$1\leq T,x,y,n,m,k\leq 5\times 10 ^4$。
Solution
可以根据容斥原理,原式可以分成四个子问题,每个子问题的式子为:
$$\sum\limits_{i=1}^n\sum\limits_{j=1}^m[gcd(i,j)=k]$$
考虑化简:
$$\sum\limits_{i=1}^{\lfloor\frac{n}{k}\rfloor}\sum\limits_{j=1}^{\lfloor \frac{m}{k}\rfloor}[gcd(i,j)=1]$$
根据莫比乌斯函数性质,将函数展开可以得到:
$$\sum\limits_{i=1}^{\lfloor\frac{n}{k}\rfloor}\sum\limits_{j=1}^{\lfloor \frac{m}{k}\rfloor}\sum\limits_{dgcd(i,j)}\mu(d)$$
变换求和顺序,先枚举 $dgcd(i,j)$,可以得到:
$$\sum\limits_{d=1}\mu(d)\sum\limits_{i=1}^{\lfloor\frac{n}{k}\rfloor}[di]\sum\limits_{j=1}^{\lfloor \frac{m}{k}\rfloor}[dj]$$
易知 $1 \sim \lfloor\frac{n}{k}\rfloor$ 中 $d$ 的倍数有 $\lfloor \frac{n}{kd} \rfloor$ 个,故原式化为:
$$\sum\limits_{d=1}\mu(d) \lfloor \frac{n}{kd} \rfloor\lfloor\frac{m}{kd} \rfloor$$
然后直接用数论分块求解即可。
时间复杂度:$\mathcal{O}(N+T\sqrt N)$
Code
1 |
|