【洛谷P3935】Calculating（整除分块以及证明）

传送门

---

解析：

首先这个结论要知道，不知道就记住，很简单的组合数学推理：

对于一个数$n={\prod }_{i=1}^t{p}_i^{k_i}$，它的因数个数是$d(n)={\prod }_{i=1}^t(k_i+1)$，就是考虑每个质因子出现0~$k_i$次，一共$k_i+1$种方案。

所以题目中：$f=d$

考虑差分，设$S(n)={\sum }_{i=1}^{n}d(i)$，那么询问的就是$S(r)-S(l-1)$

考虑如何计算$S$：

我们有如下结论：$$S(n)=\sum _{i=1}^n\lfloor \frac{n}{i}\rfloor$$

怎么理解？我们要统计每个数的约数个数，等价于统计每个数是全域内多少个数的约数。

比如$\lfloor \frac{n}{2}\rfloor$表示在$[1,n]$中，有$\lfloor \frac{n}{2}\rfloor$个数有因子2，它们是：$2\times 1,2\times 2,2\times 3...2\times \lfloor \frac{n}{2}\rfloor$

所以我们现在就有这么一个式子来求值。

---

整除分块：

考虑有很多$\lfloor \frac{n}{i}\rfloor$是相等的，这些我们可以放在一起计算，这就是整除分块的核心思想。

而所有不同的$\lfloor \frac{n}{i}\rfloor$最多只有$O(\sqrt{n})$种。

考虑当$i\le \sqrt{n}$的时候，显然只有不超过$\sqrt{n}$种不同的取值，当$i>\sqrt{n}$的时候，$\lfloor \frac{n}{i}\rfloor \le \sqrt{n}$也只有不超过$\sqrt{n}$种不同的取值，所以不同值的规模不超过$O(\sqrt{n})$

所以怎么分块，对于一个值$\lfloor \frac{n}{i}\rfloor$，要得到它的$i$的值需要满足$i\in [\lfloor \frac{n}{\lfloor \frac{n}{i}\rfloor +1}\rfloor +1,\lfloor \frac{n}{\lfloor \frac{n}{i}\rfloor }\rfloor ]$

---

博主自己口胡的，并不清楚有没有什么问题的证明：

考虑证明这个区间的上界是上确界（就是不能再扩展了），下界就显然了（上一个区间的上界+1）。

首先设$n÷i=k...s$，那么根据带余除法的定义，显然$\lfloor \frac{n}{i}\rfloor =k$。

接下来分类讨论：

---

$i\le \sqrt{n}$：

首先我们证明这个时候所有的$\lfloor \frac{n}{i}\rfloor$值都不相同，即证明$\lfloor \frac{n}{i}\rfloor \ne \lfloor \frac{n}{i+1}\rfloor$。

由于$i\le \sqrt{n}$，显然有$k\ge \sqrt{n}\ge i>s$

考虑反证，假设$\lfloor \frac{n}{i}\rfloor =\lfloor \frac{n}{i+1}\rfloor$

此时设$p=n-k(i+1)$，显然我们需要$0\le p\le i+1$

利用$n$建立等式：$$n=ik+s+(k-s+p)=n+(k-s+p)$$

而我们有$k-s>0,p\ge 0$，显然这里就出现了矛盾，假设恒不成立，原命题得证。

那么我们在这一段只需要证明$\lfloor \frac{n}{\lfloor \frac{n}{i}\rfloor }\rfloor =i$就行了。

接下来尝试证明$\lfloor \frac{n}{k}\rfloor =i$

设$n÷k=(i+t)...w$。

再次利用$n$构建等式：$$n=k(i+t)+w=ik+s$$$$kt+w=s$$

因为$s<i\le \sqrt{n}$，$k\ge \sqrt{n}$，而且$k,t,w,s\ge 0$

所以上式成立当且仅当$t=0,w=s$。

所以$\lfloor \frac{n}{\lfloor \frac{n}{i}\rfloor }\rfloor =\lfloor \frac{n}{k}\rfloor =i$，得证。

$i>\sqrt{n}$：

显然这时候有$k\le \sqrt{n}$，这时候我们要证明的就是$\lfloor \frac{n}{\lfloor \frac{n}{i}\rfloor }\rfloor =\lfloor \frac{n}{k}\rfloor =i_{max}$

由于除法运算的单调性，$i_{max}$显然有如下性质：$\lfloor \frac{n}{i_{max}}\rfloor =\lfloor \frac{n}{i}\rfloor =k$，$\lfloor \frac{n}{i_{max}+1}\rfloor \ne \lfloor \frac{n}{i}\rfloor =k$

也就是说我们要证明：$\lfloor \frac{n}{\lfloor \frac{n}{k}\rfloor }\rfloor =k,\lfloor \frac{n}{\lfloor \frac{n}{k}\rfloor +1}\rfloor \ne k$

好的这个刚才已经证明过了。

为什么？$k\le \sqrt{n}$，刚才$i\le \sqrt{n}$的部分是不是已经证明过了？

综上，原命题得证。

---

代码:

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define re register

ll mod=998244353;

inline ll solve(ll n){
	ll ans=0;
	for(ll re i=1,j;i<=n;i=j+1){
		j=n/(n/i);
		(ans+=(n/i)*(j-i+1)%mod)%=mod;
	}
	return ans%mod;
}

ll l,r;

signed main(){
	cin>>l>>r;
	cout<<(solve(r)-solve(l-1)+mod)%mod;
	return 0;
}