BZOJ 1257（分块思想）

题意： 给定$n,k$，问${\sum }_{i=1}^{n}k\mathrm{m}\mathrm{o}\mathrm{d}i$，其中$1\le n,k\le 10^9$

题解：
由：$k\mathrm{m}\mathrm{o}\mathrm{d}i=k-\lfloor \frac{k}{i}\rfloor \times i$
得：${\sum }_{i=1}^{n}k\mathrm{m}\mathrm{o}\mathrm{d}i=n\times k-{\sum }_{i=1}^n\lfloor \frac{k}{i}\rfloor \times i$

可以知道一定有一些数$i$的$\lfloor \frac{k}{i}\rfloor$相同，这里采用分块思想：
同一块数的$\lfloor \frac{k}{i}\rfloor$相同，长度为$min(n,k/(k/i))-i+1$，这里的$i$是一个块的左端点，$min(n,k/(k/i))$是一个块的右端点。
这里考虑$k$和$n$大小关系

• 当$k\le n$时，自然是$k$的所有值大于$0$分块全部算上，所以当某个分块为$0$时，直接设右边为$n$即可，下一步就可以结束计算了。
• 当$k>n$时，$k$的分块某些部分不能被算上，所以每次枚举右端点时，要取$min(n,r)$，保证取的分块不会大于$n$。

代码：

#include<bits/stdc++.h>
using namespace std;

typedef long long ll;
const int N = 1e5 + 10;

struct Node{
	int x, y;
};

inline ll read() {
	ll x = 0, f = 1;
	char ch = getchar();
	while(!isdigit(ch)) {if(ch == '-') f = -1; ch = getchar(); }
	while(isdigit(ch)) x = x * 10 + ch - '0', ch = getchar();
	return x * f;
}

void solve() {
	ll n = read();
	ll k = read();
	ll res = n * k;

	for(ll l = 1, r; l <= n; l = r + 1) {
		r = k / l ? min(n, k / (k / l)) : n;
		res -= (k / l) * (r - l + 1) * (l + r) / 2;
	}
	printf("%lld\n", res);
}

int main()
{
    int T = 1;
    //scanf("%d", &T);
    for(int i = 1; i <= T; ++i){
        solve();
	}
	return 0;
}