小题,可是想了半天,还是看题解看来半晚上才明白,可怜的中年妇女智商啊!
如何枚举商?我们用[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<iostream>
using namespace std;
long long n,k,s,ans;
int main(){
cin>>n>>k;//k=20,n=20
ans=n*k;
if(n>k)n=k;
for(long long l=1,r=0;l<=n;l=r+1)
{
if(k/l)r=min(n,k/(k/l));//左端点是l,商是k/l , l=7, k/2=2, k/2=10 ,那么右端点是k/(k/l)
// else r=n; //k<l<=n的情况 ,处理了n>k 后,这句就不用了
// cout<<l <<" "<<r<<endl;
ans-=(k/l)*(r-l+1)*(l+r)/2;
}
cout<<ans<<endl;
}