p3935 Calculating 莫比乌斯反演式的套路+数论分块整理

题意:定义函数$f(x)={\sum }_{i=1}^x[i|x]$,即x的因子个数,给定$l$,$r$求$({\sum }_{i=l}^{r}f(i))\%998244353$
求和数论题在优化复杂度时经常使用把遍历每个数变成遍历每个因子的套路,是很多题的突破口.

数论分块

就在这里写了,数论分块只是一个简单的工具,就不单独拿出来整理.
给定$n$,求$({\sum }_{i=1}^n\lfloor \frac{n}{i}\rfloor )$%998244353.$n\le 10^{12}$
复杂度$O(\sqrt{n})$

for(int l=1,r;l<=n;l=r+1)
{
    r=n/(n/l);
    ans+=(r-l+1)*(n/l);
    ans %= MOD;
}

题解

题目给出的是左右边界,那么我们应该求出一个前缀和来得到答案.
设$g(x)={\sum }_{i=1}^{x}f(i)$,那么结果是$g(r)-g(l-1)$.
接下来考虑
$$\sum _{i=1}^{n}f(i)$$
$f(i)$已经可以表示为i的因子个数,可以表示为$$\sum _{d|n}1=\sum _{i=1}^n[i|n]$$
整合进$g$中
$$g(n)=\sum _{i=1}^n\sum _{d|n}1$$
接下来要更换枚举项:
这个函数的意思是:$1\sim n$每个数的因子个数加起来的总和
我们换个说法:在$1\sim n$中是$i$的倍数的数有$x_i$个,求$$\sum _{i=1}^n{x}_i$$
$1\sim n$中是$d$的倍数的数有多少个呢? $\lfloor \frac{n}{d}\rfloor$个$$\sum _{i=1}^n{x}_i=(\sum _{i=1}^n\lfloor \frac{n}{i}\rfloor =g(n))$$
括号这一部分整除分块,$O(\sqrt{n})$解决.

#include<iostream>
#include<cstdio>
using namespace std;
typedef long long ll;

const int mod = 998244353;
ll l,r;

ll f(ll x){
	ll ans=0;
	for(ll l=1,r;l<=x;l=r+1)           
	{
		r=x/(x/l);                     
		ans+=((r-l+1)*(x/l)%mod)%mod; 
	}
	return ans;
}

int main(){
	scanf("%lld%lld",&l,&r);
	printf("%lld",( (f(r)%mod-f(l-1)%mod+mod)%mod ));
}