来讲一下下我对除法分块的理解
我看了一堆大佬的博客才搞懂啊
除法分块适用于给定n,k求型如
\[ \sum_{i=1}^{n}\frac{k}{i} \]
的式子
可将\(O(n)\)的复杂度降至\(O(\sqrt n)\)
首先定义\(l=1,r\)
其次有
\[r=min(n,\left \lfloor \frac {k}{\left \lfloor \frac{k}{l} \right \rfloor} \right \rfloor)\]
可以在\(O(1)\)的时间内递推出结果
在l~r内所得的商是相同的(自行打表验证)容易证明(其实我也不会)这一段的商均为\(\left \lfloor \frac{k}{l} \right \rfloor\)
然后再\(l=r+1\)
若\(l>n\)则退出循环
若\(l>k\)则\(r=n\)防止出现除0的情况
贴个板题代码
作变换
\begin{split}
\sum_{i=1}^{n}k\ mod \ i &=\sum_{i=1}^{n}(k-i* \left \lfloor \frac{k}{i} \right \rfloor) \newline
&=n* k-\sum_{l<=n}(r-l+1)* \frac{r+l}{2} * \left \lfloor \frac{k}{l} \right \rfloor
\end{split}
其中\((r-l+1)\)是区间长度,\(\frac{r+l}{2}\)是\(i\)的平均值,\(\left \lfloor \frac{k}{l} \right \rfloor\)是区间内的商
公式推出来了代码就好写了
#include<bits/std++.h>
using namespace std;
long long minn(long long a,long long b)
{
if(a<b) return a;
return b;
}
int main()
{
long long n,k;
scanf("%lld%lld",&n,&k);
long long ans=n*k;
long long l=1,r;
for(;l<=n;l=r+1)
{
if(k/l) r=minn(n,(k/(k/l)));
else r=n;
ans-=(k/l)*(r-l+1)*(l+r)/2;
}
printf("%lld",ans);
return 0;
}