1.什么是min_25筛

         min_25 筛和洲阁筛、杜教筛一样,是一种低于线性的用于求积性函数前缀和的筛法。常用 min_25 筛的时间复杂度为\(O(\frac{n^{\frac34}}{\log n})\),而经过优化可以达到\(O(n^{\frac23})\)(但是常数巨大且一般用不着)。

2.前置知识

2.1.数论函数

        数论函数:定义域为\(\mathbb{N_+}\)子集的函数。

        积性函数:若数论函数\(f(x)\)满足\(\forall a,b\in \mathbb N_+,(a,b)=1\Rightarrow f(ab)=f(a)f(b)\),则称\(f(x)\)为积性函数。

        完全积性函数:若数论函数\(f(x)\)满足\(\forall a,b\in \mathbb N_+\Rightarrow f(ab)=f(a)f(b)\),则称\(f(x)\)完全积性函数。

        狄利克雷卷积:对于数论函数\(f(x)\)和\(g(x)\),它们的狄利克雷卷积\((f*g)(x)=\sum_{i|x}f(i)g(\frac x i)\)

        常见的积性函数有:\(\varphi,\mu,\)题目定义的\(,......\)

        常见的完全积性函数有:

        \(id(x)=x; \epsilon(x)=[x=1]; I(x)=1; ......\)

        一些有趣的性质:

\[1. \mu * I = \epsilon
\]

\[2. \mu * id = \varphi
\]

        \(P\)为质数集合,\(p(i)(i>0)\)表示第\(i\)个质数,\(mp(i)(i>0)\)表示\(i\)的最小质因子。

2.2.埃拉托色尼筛

        算法思想:对于质数\(p\),将\(p\)的倍数全部筛掉。时间复杂度为\(O(n\log\log n)\)

        注意:对于质数\(p\),被筛掉数一定\(\ge p^2\);否则它一定会有\(< p\)质因子。

2.3.欧拉筛

        算法思想:对于每个数\(i\),筛掉那些\(mp\le mp(i)\)的数。可以发现每个数只会在\(mp\)处被筛掉,因此是线性筛。

3.min_25筛

        一般筛不够优秀的原因就是,它们枚举了数据范围内的每一个数,因此时间不会低于线性。

        而低于线性的筛,就是利用算数基本原理,先计算质数的贡献,再推出合数的贡献。

         min_25 筛的计算条件为:积性函数\(f(x)\)在质数处可以被表示为简单多项式,并且对于质数,\(f(p^c)\)可以被高速算出。

3.1.计算质数贡献

        我们考虑先计算质数的贡献。即:

\[\sum_{i=1}^{n} [i\in P] f(i)
\]

        由于\(f\)在质数处可以被表示为简单多项式,所以我们可以对于多项式的每一项分别计算。即只用考虑:

\[\sum_{i=1}^n [i\in P] i^k
\]

        考虑这样一个 DP :

        \(g(a,b)\):前\(a\)个数进行\(b\)轮埃筛之后的贡献和。

        可以表达为:

\[g(a,b)=\sum_{i=2}^a [i\in P\text{或者} mp(i)> p(b)]i^k
\]

        设\(P'=[1,\lfloor\sqrt n\rfloor]\cap P\),即\(\sqrt n\)范围内的质数。不难发现,由于每个合数\(m\)必然有一个\(\le \sqrt m\)的质因子,因此我们只需要将\(P'\)中的质数全部筛一遍,\([1,n]\)剩下的都是质数了。故\(g(a,|P'|)\)就是我们需要的质数的贡献。

        初始状态为:

\[g(a,0)=\sum_{i=2}^a i^k
\]

        可以得到转移为:

\[g(a,b)=\begin{cases}g(a,b-1)& a< p(b)^2\\g(a,b-1)-p(b)^k(g(\lfloor\frac a{p(b)}\rfloor,b-1) - g(p(b-1),b-1))&a\ge p(b)^2\end{cases}
\]

        当\(a< p(b)^2\)的时候,不会筛掉任何数;否则考虑减掉的贡献。显然那些最小质因子为\(p(b)\)的数会被筛掉,即\(g(\lfloor\frac a{p(b)}\rfloor,b-1)\);但是这个东西里面有\(1\sim b-1\)的质数,不应该减掉,因此还要再补上\(g(p(b-1),b-1)\)。

        这一部分可以用滚动数组优化。

3.2.计算总贡献

        对于总的贡献,我们设这样一个函数\(S(a,b)\):

\[S(a,b)=\sum_{i=2}^a [mp(i)\ge p(b)] f(i)
\]

        请注意这里并没有质数的专门贡献,且里面的要求是 " 最小质因子不小于\(p(b)\) " 。

        其中质数的贡献已经算出来了。对于合数的情况,我们枚举它的最小质因子和其指数,可以得到:

\[S(a,b)=g(a,|P'|)-\sum_{i=1}^{b-1}f(p(i))+\sum_{i=b}^{|P'|}\sum_{1\le e, p(i)^{e+1}\le a}\left(S(\lfloor\frac a{p(i)^e}\rfloor,i+1)+f(p(i)^{e+1})\right)
\]

        其中\(\sum_{i=1}^{b-1}f(p(i))\)可以预先筛出来。然后\(S(\lfloor\frac a{p(i)^e}\rfloor,i+1)\)可以递归下去继续算。

3.3.实现

        首先需要对\([1,\sqrt n]\)里面的数进行一发线性筛求出质数。

        根据整除分块理论,我们在代入\(S(n,1)\)计算的时候,实际上\(a\)的取值只有\(O(\sqrt n)\)个。因此我们可以预处理这\(O(\sqrt n)\)个取值的离散化后下标。设其中一种取值为\(x\),那么当\(x\le \sqrt n\)的时候,我们直接将下标存下来;否则,由于\(\lfloor\frac n x\rfloor\le \sqrt n\),我们将下标存在\(\lfloor\frac n x\rfloor\)里面。

4.例题

4.1.[LOJ]区间素数个数

        这里不需要求\(S\)的步骤,直接用第一步就可以了。

        代码如下:

#include <cmath>
#include <cstdio> typedef long long LL; const int MAXS = 1e6 + 5; template<typename _T>
void read( _T &x )
{
x = 0;char s = getchar();int f = 1;
while( s > '9' || s < '0' ){if( s == '-' ) f = -1; s = getchar();}
while( s >= '0' && s <= '9' ){x = ( x << 3 ) + ( x << 1 ) + ( s - '0' ), s = getchar();}
x *= f;
} template<typename _T>
void write( _T x )
{
if( x < 0 ){ putchar( '-' ); x = ( ~ x ) + 1; }
if( 9 < x ){ write( x / 10 ); }
putchar( x % 10 + '0' );
} LL val[MAXS << 1], g[MAXS];
int id1[MAXS], id2[MAXS];
int prime[MAXS], pn;
LL N;
int s, tot;
bool isPrime[MAXS]; void EulerSieve( const int siz )
{
isPrime[1] = true;
for( int i = 2 ; i <= siz ; i ++ )
{
if( ! isPrime[i] ) prime[++ pn] = i;
for( int j = 1 ; j <= pn && 1ll * i * prime[j] <= siz ; j ++ )
{
isPrime[i * prime[j]] = true;
if( ! ( i % prime[j] ) ) break;
}
}
} int getID( const LL x ) { return x <= s ? id1[x] : id2[N / x]; } signed main()
{
read( N );
s = sqrt( N ), tot = 0;
EulerSieve( s );
for( LL l = 1, r, v ; l <= N ; l = r + 1 )
{
v = N / l, r = N / ( N / l );
if( v <= s ) id1[v] = ++ tot;
else id2[N / v] = ++ tot;
val[tot] = v, g[tot] = v - 1;
}
for( int j = 1 ; j <= pn ; j ++ )
for( int i = 1 ; i <= tot && 1ll * prime[j] * prime[j] <= val[i] ; i ++ )
g[i] -= g[getID( val[i] / prime[j] )] - ( j - 1 );
write( g[getID( N )] ), putchar( '\n' );
return 0;
}

4.2.[LG P4213]杜教筛

        正所谓 " 树套树的题怎么能用树套树做呢? " ,杜教筛的题怎么能用杜教筛?

        考虑 min_25。事实上, min_25 最重要的地方就是求出\(g\),而后推\(S\)其实就是板子的事情了。

        当\(p\)为质数时, \(\varphi(p)=p-1, \mu(p)=-1\),因此我们只需要用\(g\)求出素数个数和素数和即可。之后就是递归的事情了。

        代码如下:

#include <cmath>
#include <cstdio> typedef long long LL; #define int LL const int MAXS = 1e5 + 5; template<typename _T>
void read( _T &x )
{
x = 0;char s = getchar();int f = 1;
while( s > '9' || s < '0' ){if( s == '-' ) f = -1; s = getchar();}
while( s >= '0' && s <= '9' ){x = ( x << 3 ) + ( x << 1 ) + ( s - '0' ), s = getchar();}
x *= f;
} template<typename _T>
void write( _T x )
{
if( x < 0 ){ putchar( '-' ); x = ( ~ x ) + 1; }
if( 9 < x ){ write( x / 10 ); }
putchar( x % 10 + '0' );
} template<typename _T>
_T MAX( const _T a, const _T b )
{
return a > b ? a : b;
} LL gPhi[MAXS], gMu[MAXS], g1[MAXS], g2[MAXS];
LL ps[MAXS], ms[MAXS];
int val[MAXS], id1[MAXS], id2[MAXS];
int prime[MAXS], pn;
int N, s, cnt, tot;
bool isPrime[MAXS]; LL sqr( const LL x ) { return x * x; }
int getID( const int x ) { return x <= s ? id1[x] : id2[N / x]; } void EulerSieve( const int siz )
{
isPrime[1] = true;
for( int i = 2 ; i <= siz ; i ++ )
{
if( ! isPrime[i] ) prime[++ pn] = i;
for( int j = 1 ; j <= pn && 1ll * i * prime[j] <= siz ; j ++ )
{
isPrime[i * prime[j]] = true;
if( ! ( i % prime[j] ) ) break;
}
}
for( int i = 1 ; i <= pn ; i ++ ) ps[i] = ps[i - 1] + prime[i] - 1, ms[i] = ms[i - 1] - 1;
} LL SPhi( const int a, const int b )
{
if( a < prime[b] ) return 0;
LL ret = gPhi[getID( a )] - ps[b - 1];
if( b > tot ) return a <= prime[tot] ? 0 : ret;
LL phi, p, tmp;
for( int i = b ; i <= tot && 1ll * prime[i] * prime[i] <= a ; i ++ )
{
phi = prime[i] - 1, p = prime[i];
for( int j = 1 ; p * prime[i] <= a ; j ++, p *= prime[i], phi *= prime[i] )
ret += ( SPhi( a / p, i + 1 ) * phi + p * ( prime[i] - 1 ) );
}
return ret;
} LL SMu( const int a, const int b )
{
if( a < prime[b] ) return 0;
LL ret = gMu[getID( a )] - ms[b - 1];
if( b > tot ) return a <= prime[tot] ? 0 : ret;
for( int i = b ; i <= tot && 1ll * prime[i] * prime[i] <= a ; i ++ ) ret -= SMu( a / prime[i], i + 1 );
return ret;
} signed main()
{
int T;
read( T );
EulerSieve( 1e5 );
while( T -- )
{
read( N );
s = sqrt( N );
for( tot = 1 ; prime[tot] <= s ; tot ++ );
tot --, cnt = 0;
for( int l = 1, r, v ; l <= N ; l = r + 1 )
{
r = N / ( v = N / l );
if( v <= s ) id1[v] = ++ cnt;
else id2[N / v] = ++ cnt;
val[cnt] = v;
g1[cnt] = v - 1, g2[cnt] = ( 1ll * v * ( v + 1 ) >> 1 ) - 1;
}
for( int j = 1, k ; j <= tot ; j ++ )
for( int i = 1 ; i <= cnt && 1ll * prime[j] * prime[j] <= val[i] ; i ++ )
{
k = val[i] / prime[j];
g1[i] -= g1[getID( k )] - ( j - 1 );
g2[i] -= 1ll * prime[j] * ( g2[getID( k )] - g2[getID( prime[j - 1] )] );
}
for( int i = 1 ; i <= cnt ; i ++ ) gPhi[i] = g2[i] - g1[i], gMu[i] = - g1[i];
write( SPhi( N, 1 ) + 1 ), putchar( ' ' );
write( SMu( N, 1 ) + 1 ), putchar( '\n' );
}
return 0;
}

min_25筛入门的更多相关文章

  1. 关于 min_25 筛的入门以及复杂度证明

    min_25 筛是由 min_25 大佬使用后普遍推广的一种新型算法,这个算法能在 \(O({n^{3\over 4}\over log~ n})\) 的复杂度内解决所有的积性函数前缀和求解问题(个人 ...

  2. ●杜教筛入门(BZOJ 3944 Sum)

    入门杜教筛啦. http://blog.csdn.net/skywalkert/article/details/50500009(好文!) 可以在$O(N^{\frac{2}{3}})或O(N^{\f ...

  3. 【UOJ448】【集训队作业2018】人类的本质 min_25筛

    题目大意 给你 \(n,m\),求 \[ \sum_{i=1}^n\sum_{x_1,x_2,\ldots,x_m=1}^i\operatorname{lcm}(\gcd(i,x_1),\gcd(i, ...

  4. Min_25 筛 学习笔记

    原文链接https://www.cnblogs.com/zhouzhendong/p/Min-25.html 前置技能 埃氏筛法 整除分块(这里有提到) 本文概要 1. 问题模型 2. Min_25 ...

  5. UOJ188 Sanrd Min_25筛

    传送门 省选之前做数论题会不会有Debuff啊 这道题显然是要求\(1\)到\(x\)中所有数第二大质因子的大小之和,如果不存在第二大质因子就是\(0\) 线性筛似乎可以做,但是\(10^{11}\) ...

  6. 【SPOJ】DIVCNTK min_25筛

    题目大意 给你 \(n,k\),求 \[ S_k(n)=\sum_{i=1}^n\sigma_0(i^k) \] 对 \(2^{64}\) 取模. 题解 一个min_25筛模板题. 令 \(f(n)= ...

  7. 【51NOD1847】奇怪的数学题 min_25筛

    题目描述 记\(sgcd(i,j)\)为\(i,j\)的次大公约数. 给你\(n\),求 \[ \sum_{i=1}^n\sum_{j=1}^n{sgcd(i,j)}^k \] 对\(2^{32}\) ...

  8. 【51NOD1965】奇怪的式子 min_25筛

    题目描述 给你\(n\),求 \[ \prod_{i=1}^n{\sigma_0(i)}^{i+\mu(i)} \] 对\({10}^{12}+39\)取模. \(\sigma_0(i)\)表示约数个 ...

  9. min_25筛

    min_25筛 用来干啥? 考虑一个积性函数\(F(x)\),用来快速计算前缀和\[\sum_{i=1}^nF(i)\] 当然,这个积性函数要满足\(F(x),x\in Prime\)可以用多项式表示 ...

随机推荐

  1. BitArray虽好,但请不要滥用,又一次线上内存暴增排查

    一:背景 1. 讲故事 前天写了一篇大内存排查在园子里挺火,这是做自媒体最开心的事拉,干脆再来一篇满足大家胃口,上个月我写了一篇博客提到过使用bitmap对原来的List<CustomerID& ...

  2. 【python爬虫】scrapy入门5--xpath等后面接正则

    比如我们要调试某网页:https://g.widora.cn/ shell不依赖工程环境 scrapy shell https://g.widora.cn/ 类似页面F12,可用对象都列出来了,一般常 ...

  3. excel导入mysql数据

    excel加载mysql数据 1.第一步,选择从mysql导入数据 2.单击会出现弹框: 3.可能有的同学的,这里缺少插件,例如: 4.去下载 这个 插件安装即可.https://dev.mysql. ...

  4. [C# WPF] 关于将文本框竖起来(旋转文字)

    xx.xmal.cs 后台代码中动态添加控件到 UI 文字显示在一个 Canvas 中(定位用Canvas.SetLeft() / Canvas.SetTop() ), 为了实现排版效果,可适当在 T ...

  5. Java集合(九)哈希冲突及解决哈希冲突的4种方式

    Java集合(九)哈希冲突及解决哈希冲突的4种方式 一.哈希冲突 (一).产生的原因 哈希是通过对数据进行再压缩,提高效率的一种解决方法.但由于通过哈希函数产生的哈希值是有限的,而数据可能比较多,导致 ...

  6. 00016-layui 动态加载菜单 laytpl

    <%@ page contentType="text/html;charset=UTF-8" language="java" %> <%@ i ...

  7. 利用Python网络爬虫采集天气网的实时信息—BeautifulSoup选择器

    相信小伙伴们都知道今冬以来范围最广.持续时间最长.影响最重的一场低温雨雪冰冻天气过程正在进行中.预计,今天安徽.江苏.浙江.湖北.湖南等地有暴雪,局地大暴雪,新增积雪深度4-8厘米,局地可达10-20 ...

  8. Docker容器同步主机时间

    方法一: 查看本地是否有/etc/localtime文件 cat /etc/localtime   如果没有就新建文件 cp /usr/share/zoneinfo/Asia/Shanghai /et ...

  9. ASP.NET MVC 数据传递进阶 从数据库拿到数据后的三种方式

    目录 回顾 数据 显示 因为这个小练习有EF的一些东西,我们来回顾一下. 一.回顾 回顾一点EF的知识怎么生成数据库模型. 1.首先我们在Models文件夹右键添加新建项,在数据分栏下有ADO.NET ...

  10. Java实现LeetCode #986 - Interval List Intersections

    class Solution { public: vector<Interval> intervalIntersection(vector<Interval>& A, ...