数论-整除分块

数论-整除分块

这个蒟蒻太蒻了,希望这篇文章能成为自己恶补数论的开始。

参考资料

https://blog.csdn.net/beautiful_CXW/article/details/83143756


跳转按钮

\(\texttt{讲解证明}\)


\(\texttt{代码实现}\)


\(\texttt{经典例题}\)


\(\texttt{讲解证明}\)

整除分块就是用来求像

\[\sum\limits_{i=1}^n\lfloor \frac{n}{i}\rfloor\]

这样的式子的。

很明显,直接求要 \(\Theta(n)\),但是整除分块只需要 \(\Theta(\sqrt n)\)。

整除分块的第一步是发现不同的 \(\lfloor \frac{n}{i}\rfloor\) 的数量

如果 \(i\le\sqrt n\):

很明显,因为 \(i\) 最多 \(\sqrt n\) 种,所以 \(\lfloor \frac{n}{i}\rfloor\) 最多 \(\sqrt n\) 种。

如果 \(i>\sqrt n\):

因为 \(\frac{n}{i}<\sqrt n\),所以 \(\lfloor \frac{n}{i}\rfloor\) 也不到 \(\sqrt n\) 种。

总结:不同的 \(\lfloor \frac{n}{i}\rfloor\) 不到 \(2\sqrt n\) 种。

第二步是计算答案。因为 \(f(i)=\lfloor \frac{n}{i}\rfloor\) 的单调性,所以 \(\lfloor \frac{n}{i}\rfloor\) 相同的 \(i\) 是相邻的

显而易见的结论:对于 \(\lfloor \frac{n}{i}\rfloor=d\),\(i\in(\lfloor\frac{n}{d+1}\rfloor,\lfloor\frac{n}{d}\rfloor]\)。

比如 \(n=100,d=6\)。所以 \(i\in(14,16]\)

所以可以以 \(l=\lfloor\frac{n}{d+1}\rfloor+1,r=\lfloor\frac{n}{d}\rfloor\) 为循环变量,

\[l=\texttt{上一次的}r+1,r=\lfloor\frac{n}{\lfloor\frac{n}{l}\rfloor}\rfloor\]


\(\texttt{代码实现}\)

讲解证明一定要仔细看,要不然代码是看不懂的。特短。必须要全局开 \(\texttt{long long}\),这代码可是要过 \(n=10^{12}\) 的数据的!

code

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

//&Start
#define lng long long
#define lit long double
const int inf=0x3f3f3f3f;
const lng Inf=1e17;

//&Main
lng n,ans;
int main(){
    scanf("%lld",&n);
    for(lng l=1,r;l<=n;l=r+1)
        r=n/(n/l),ans+=(r-l+1)*(n/l);
    printf("%lld\n",ans);
    return 0;
}

\(\texttt{经典例题}\)

[CQOI2007]余数求和
求 \(G(n,k)=\sum\limits_{i=1}^nk\bmod i\)。
数据范围:\(1\le n,k\le 10^9\)。


推一下(这总得看得懂吧):

\[\sum\limits_{i=1}^nk\bmod i=nk-\sum\limits_{i=1}^n i\times\lfloor\frac{k}{i}\rfloor\]

\[\sum\limits_{i=1}^n i\times\lfloor\frac{k}{i}\rfloor=\sum\limits_{l,r}^n\lfloor\frac{k}{l}\rfloor\times\frac{(l+r)(r-l+1)}{2}\]

(首项加末项乘项数除以 \(2\))。


注意了,有可能 \(k<n\)。所以

\[ r= \begin{cases} \min(\lfloor\frac{k}{\lfloor\frac{k}{l}\rfloor}\rfloor,n)~~(\lfloor\frac{k}{l}\rfloor>0)\\ n~~~~~~~~~~~~~~~~~~~~~~~(\lfloor\frac{k}{l}\rfloor=0) \end{cases} \]


code

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

//&Start
#define lng long long
#define lit long double
const int inf=0x3f3f3f3f;
const lng Inf=1e17;

//&Main
lng n,k,ans;
int main(){
    scanf("%lld%lld",&n,&k),ans=n*k;
    for(lng l=1,r;l<=n;l=r+1)
        r=(k/l)?min(k/(k/l),n):n,ans-=(l+r)*(r-l+1)/2*(k/l);
    printf("%lld\n",ans);
    return 0;
}

我还是太蒻了 数论-整除分块祝大家学习愉快!

上一篇:用VUEJS做一个网易云音乐


下一篇:【GMOJ4496】互补约数