余数之和[BZOJ1257]

欢迎大家访问我的老师的OJ———caioj.cn

题面描述

传送门

思路

$\because k\mathrm{mod}i=k-\lfloor k/i\rfloor \ast i$，原问题转化为:
$$n\ast k-\sum _{i=1}^n\lfloor k/i\rfloor \ast i$$
对于$\forall x\in [1,k]$，设$g(x)=\lfloor k/\lfloor k/x\rfloor \rfloor$，

显然，函数$f(x)=k/x$单调递减，故$g(x)\ge \lfloor k/(k/x)\rfloor =x$，转化得:$\lfloor k/g(x)\rfloor \le \lfloor k/x\rfloor$。

另外,$g(x)\le k/\lfloor k/x\rfloor$,则$\lfloor k/g(x)\rfloor \ge \lfloor k/(k/\lfloor k/x\rfloor )\rfloor =\lfloor k/k\ast \lfloor k/x\rfloor \rfloor =\lfloor k/x\rfloor$

$$\begin{gathered} \therefore \lfloor \\ k/g(x)\rfloor =\lfloor \\ k/x\rfloor \end{gathered}$$

故$\forall i\in [x,g(x)=\lfloor k/\lfloor k/x\rfloor \rfloor ],\lfloor k/i\rfloor$的值都相等.

$\forall i\in [1,k]，\lfloor k/i\rfloor$至多有$2\sqrt{k}$种取法

$\because$当$i<\sqrt{k}$，$i$有$\sqrt{k}$中取法，所以$\lfloor k/i\rfloor$至多有$\sqrt{k}$种。

又当$i>\sqrt{k}$,$\lfloor k/i\rfloor$至多有$\sqrt{k}$种。

所以最多有$2\sqrt{k}$种

最后用一下等差数列求和。

首项为$x$,末项为$g(x)$，公差为1.

再乘上个$\lfloor k/x\rfloor$就为所求。

AC code

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<cstdlib>
#define ll long long
using namespace std;
ll n,k,ans;
int main()
{
	scanf("%lld%lld",&n,&k);ans=n*k;
	ll gx;
	for(int x=1;x<=n;x=gx+1)
	{
		gx=k/x?min(k/(k/x),n):n;
		ans-=(k/x)*(x+gx)*(gx-x+1)/2;
	}
	printf("%lld\n",ans);
	return 0;
}