推式子+整除性质
式子挺好推的,最后枚举商即可
如何枚举商?我们用[l,r]表示枚举到的商对应的除数所在区间。
如果快速找出区间?假设l,r是上一次做完的区间,对于左端只需要l=r+1。对于右端,只需要r=k/(k/l),因为对于一个区间[l,r],能发生整除的一定是在k/r的位置,所以可以用整除的原理搞过去。
为什么这样分出来的块是sqrt(k)级别的?1~sqrt(k)中的每个数都去除k,那么这里就已经有sqrt(k)个块。对于sqrt(k)~k的数,如果存在一段连续相同的商,那么这一段的右端点一定是可以整除k的,于是我们考虑sqrt(k)~k有多少个可以整除k的数。我们发现如果能整除,商一定是1~sqrt(k)的数,这样建立了一一对应,一定就是sqrt(k)级别的。
include<cstdio>
#define ll long long
using namespace std;
int main()
{
int n, k;
ll ans = 0;
scanf("%d%d",&n,&k);
if(n>k)ans+=1ll*(n-k)*k, n=k;
ans+=1ll*n*k;
for(ll l = 1, r; l <= n; l = r+1)
{
r = k/(k/l);
if(r>n)
{
r = n;
}
ans-=(l+r)*(r-l+1)/2*(k/l);
}
printf("%lld\n",ans);
}