这个题……主要问题在于\(d(ij)\)应该怎么变形……容易想到改变成gcd的形式,不过不知道怎么改……
后来听大佬说有这么一个性质:
\[d(ij) = \sum_{x|i}\sum_{y|j}[gcd(x,y) = 1]\]
这个不知道怎么严格证明……不过可以感性理解一下,就是首先肯定是要枚举i,j的因子的,然后如果这两个枚举的数不互质的话,那就可以把他们的gcd挪到一边使其变为互质的,也就是说如果二者不互质还计算,就会导致重复计数。(好吧这确实只是感性理解……)
那我们要求的就是
\[\sum_{i=1}^n\sum_{j=1}^m\sum_{x|i}\sum_{y|j}[gcd(x,y)=1]\]
这个式子的形式好像特别熟悉啊……把\(\sum\)之间的限制互换,再用莫比乌斯函数的性质,再替换一下,这些熟悉的操作之后,这个式子就成了这样:
\[\sum_{d=1}^n\mu(d)\sum_{x=1}^{\frac{n}{d}}\sum_{y=1}^{\frac{m}{d}}\left\lfloor\frac{n}{dx}\right\rfloor\left\lfloor\frac{m}{dx}\right\rfloor\]
然后发现外层的d可以用整除分块做,内层的可以先用整除分块预处理。然后就做完了。
#include #include #include #include #include #include #include #include