紫书 例题10-25 约瑟夫的数论问题 UVa1363

解题思路：

被除数固定，除数逐次加1，直观上余数也应该有规律。假设k/i的整数部分等于p，则k
mod i = k-i*p。因为k/(i+1)和k/i差别不大，如果k/(i+1)的整数部分也等于p，则k mod (i+1) = k-
(i+1)*p = k-i*p - p = k mod i - p。换句话说，如果对于某一个区间i, i+1, i+2,…, j，k除以它们
的商的整数部分都相同，则k除以它们的余数会是一个等差数列。
这样，可以在枚举i时把它所在的等差数列之和累加到答案中。这需要计算满足[k/j]=
[k/i]=p的最大j。
1，当p=0时这样的j不存在，所以等差序列一直延续到序列的最后。
2，当p>0时j为满足k/j≥p的最大j，即j≤k/p。除了首项之外的项数j-i≤(k-i*p)/p = q/p。

代码如下：

#include <bits/stdc++.h>
using namespace std;
long long ans, x, y;
int main(){
    int n, k;
    while(scanf("%d%d", &n, &k) != EOF)
    {
        ans = 0;
        int i, j = 0, p;
        for(i = 1; i <= n; i = j + 1){
            p = k / i;
            if(p == 0) j = n;
            else j = min(k / p, n);
            x = k % i;
            y = k % j;
            ans += 1LL*(x + y) * (j - i + 1) / 2;
        }
        cout << ans << endl;
    }
    return 0;
}