Min25筛


我是沙雕。。。

yyb博客蒯的

要求:\(\sum_{i=1}^nF(x)\)

\(F(x)\)是积性函数。

\(Min25\)筛能用的前提:质数处的\(f(p)\)值是关于\(p\)的多项式,质数次方处的\(f(p^e)\)值 可以快速计算。

预处理

设完全积性函数\(F'(x)\),在质数处取值\(F(p)=F'(p)\)。

预处理一个\(g\)函数。\(g(n,j)=\sum_{i=1}^nF'(i)[i\in\mathbb{P}\text{ or }\min_{p|i}p>P_j]\)

也就是\(i\)是质数或者\(i\)最小值因子\(>P_j\)的贡献(注意求的是\(F'\))

转移:

\(g(n,j)=\begin{cases}g(n,j-1) (P_j^2>n)\\g(n,j-1)-F'(P_j)[g(\frac{n}{P_j},j-1)-g(P_{j-1},j-1)](P_j\leq n)\end{cases}\)

考虑\(g(n,j-1)-g(n,j)\)。如果\(P_j^2>n\)显然没有多余贡献。

否则会多余的一定是\(P_j\)的倍数,那么因为\(F'\)是完全积性函数,可以将多余的数全部除以\(P_j\),并乘上贡献\(F'(P_j)\)。那么减掉的是\(F'(P_j)\)乘【\(\frac{n}{P_j}\)以内最小质因数\(\geq P_j\)的数的贡献和】。这个值就是\(g(\frac{n}{P_j},j-1)-g(P_{j-1},j-1)\)。前面多算了\(<P_j\)的质数,后面减掉了这一部分。

可以看出只有\(\sqrt n\)内的质数有用,线性筛到\(\sqrt n\)就行了。

后面的\(g(P_{j-1},j-1)\)按照定义等于\(\sum_{i=1}^{P_{j-1}}F'(i)\)。线性筛时预处理一下就行了。

这个\(g\)后面只用了质数处的\(F'\),所以是对的而且很妙

求值

设\(S(n,j)=\sum_{i=1}^nF(i)[\min_{p|i}p>P_j]\),即最小质因数大于\(P_j\)的所有数的\(F\)和,那么要求的答案是\(S(n,0)\)。

\(S\)的递推式为:\(S(n,j)=g(n,|P|)-\sum_{i=1}^{j-1}f(P_i)+\sum_{p_k^e\leq n,k>j}F(p_k^e)(S(\frac{n}{p_k^e},k)+[e>1])\)

前面部分是质数的贡献,后面是合数的

后面的\(\sum\)意思就是枚举合数最小的质因子及次数,因为是积性函数可以直接乘起来。\([e>1]\)意思是如果\(e>1\)那么有一个\(p_k^e\)没算进答案(\(S\)不计算\(1\)的贡献,但\(e=1\)时\(p_k^e\)就是质数已经在前面算过了),要算进答案。

代码

一些细节:

  • \(n\)一直整除一个数之后还是\(n\)整除一个数,也就是只需要用到所有\(\frac ni\)。开两个数组\(a1,a2\),对于\(\sqrt n\)的向\(a1\)存,下标为\(\frac ni\),否则向\(a2\)存,下标为\(i\)。两个数组都是\(\sqrt n\)的。
  • 由于\(S\)没有算\(1\),最后还要加上\(1\)的贡献。
#include<bits/stdc++.h>
#define il inline
#define vd void
#define mod 1000000007
typedef long long ll;
il ll gi(){
ll x=0,f=1;
char ch=getchar();
while(!isdigit(ch))f^=ch=='-',ch=getchar();
while(isdigit(ch))x=x*10+ch-'0',ch=getchar();
return f?x:-x;
}
ll n;
int qt;
int pr[100010],yes[100010],cnt,gp1[100010],gp2[100010];
ll w[200010],sw;
int g1[200010],g2[200010];
int id1[100010],id2[100010];
il int S(ll x,int y){
if(pr[y]>=x)return 0;
int p=x<=qt?id1[x]:id2[n/x];
int ret=((0ll+g2[p]-g1[p]-(gp2[y]-gp1[y]))%mod+mod)%mod;
for(int i=y+1;i<=cnt&&1ll*pr[i]*pr[i]<=x;++i){
ll pe=pr[i];
for(int e=1;pe<=x;++e,pe*=pr[i]){
int o=pe%mod;
ret=(ret+1ll*o*(o-1)%mod*(S(x/pe,i)+(e!=1)))%mod;
}
}
return ret;
}
int main(){
#ifdef XZZSB
freopen("in.in","r",stdin);
freopen("out.out","w",stdout);
#endif
n=gi();qt=sqrt(n);
yes[1]=1;
for(int i=2;i<=qt;++i){
if(!yes[i])pr[++cnt]=i;
for(int j=1;j<=cnt&&i*pr[j]<=qt;++j){
yes[i*pr[j]]=1;
if(i%pr[j]==0)break;
}
}
for(int i=1;i<=cnt;++i)gp1[i]=(gp1[i-1]+pr[i])%mod,gp2[i]=(gp2[i-1]+1ll*pr[i]*pr[i])%mod;//递推时用的质数处F前缀和
for(ll l=1,r;l<=n;l=r+1){//预处理(n/i) & 计算g的j=0边界,边界就是F'的前缀和,由于质数处F(p)是多项式所以可以快速算
r=n/(n/l);w[++sw]=n/r;
g1[sw]=w[sw]%mod;
g2[sw]=(1ll*g1[sw]*(g1[sw]+1)%mod*(g1[sw]*2+1)%mod*166666668%mod-1)%mod;//1..w[sw]平方和
g1[sw]=(1ll*g1[sw]*(g1[sw]+1)%mod*500000004-1)%mod;//1..w[sw]等差数列和
if(n/r<=qt)id1[n/r]=sw;else id2[r]=sw;
}
//j从1到|P|递推g
for(int i=1;i<=cnt;++i){
ll sqr_pi=1ll*pr[i]*pr[i];
for(int j=1;j<=sw&&sqr_pi<=w[j];++j){
ll p=w[j]/pr[i];
p=(p<=qt?id1[p]:id2[n/p]);//定位p的坐标
g1[j]=(g1[j]-1ll*pr[i]*(g1[p]-gp1[i-1]+mod)%mod+mod)%mod;
g2[j]=(g2[j]-1ll*pr[i]*pr[i]%mod*(g2[p]-gp2[i-1]+mod)%mod+mod)%mod;
}
}
printf("%d\n",(S(n,0)+1)%mod);
return 0;
}

Min25筛的更多相关文章

  1. LOJ# 572. 「LibreOJ Round #11」Misaka Network 与求和(min25筛,杜教筛,莫比乌斯反演)

    题意 求 \[ \sum_{i = 1}^{n} \sum_{i = 1}^{n} f(\gcd(i, j))^k \pmod {2^{32}} \] 其中 \(f(x)\) 为 \(x\) 的次大质 ...

  2. BZOJ-5244 最大真因数(min25筛)

    题意:一个数的真因数指不包括其本身的所有因数,给定L,R,求这个区间的所有数的最大真因数之和. 思路:min25筛可以求出所有最小因子为p的数的个数,有可以求出最小因子为p的所有数之和. 那么此题就是 ...

  3. loj#6235. 区间素数个数(min25筛)

    题意 题目链接 Sol min25筛的板子题,直接筛出\(g(N, \infty)\)即可 筛的时候有很多trick,比如只存\(\frac{N}{x}\)的值,第二维可以滚动数组滚动掉 #inclu ...

  4. 「学习笔记」Min25筛

    「学习笔记」Min25筛 前言 周指导今天模拟赛五分钟秒第一题,十分钟说第二题是 \(\text{Min25}​\) 筛板子题,要不是第三题出题人数据范围给错了,周指导十五分钟就 \(\text{AK ...

  5. [总结] min-25筛

    再不写总结我又会忘掉啊啊啊啊啊啊啊啊啊 这个\(min-25\)筛主要用来求一个积性函数的前缀和,就像这样\[\sum_{i=1}^n f(i)\] 不过这个积性函数要满足两个条件:质数\(p\)的函 ...

  6. min25筛学习总结

    前言 杜教筛学了,顺便把min25筛也学了吧= =刚好多校也有一道题需要补. 下面推荐几篇博客,我之后写一点自己的理解就是了. 传送门1 传送门2 传送门3 这几篇写得都还是挺好的,接下来我就写下自己 ...

  7. CodeForces - 83D:Numbers (数学&递归 - min25筛 )

    pro:给定三个整数L,R,P求[L,R]区间的整数有多少个是以P为最小因子的.L,R,P<2e9; sol: 一: 比较快的做法是,用函数的思想递归. 用solve(N,P)表示求1到N有多少 ...

  8. 莫比乌斯反演/线性筛/积性函数/杜教筛/min25筛 学习笔记

    最近重新系统地学了下这几个知识点,以前没发现他们的联系,这次总结一下. 莫比乌斯反演入门:https://blog.csdn.net/litble/article/details/72804050 线 ...

  9. hdu6607 min25筛+杜教筛+伯努利数求k次方前缀和

    推导过程类似https://www.cnblogs.com/acjiumeng/p/9742073.html 前面部分min25筛,后面部分杜教筛,预处理min25筛需要伯努利数 //#pragma ...

随机推荐

  1. Maven的仓库和settings.xml配置文件

    (尊重劳动成果,转载请注明出处:https://blog.csdn.net/qq_25827845/article/details/83549846冷血之心的博客) 快速导航: Maven基础概念和安 ...

  2. python二维数组切片

    python中list切片的使用非常简洁.但是list不支持二维数组.仔细研究了一下发现,因为list不是像nampy数组那么规范.list非常灵活.所以没办法进行切片操作. 后来想了两个办法来解决: ...

  3. kafka汇总

    Kafka 1. kafka概念 kafka是一个高吞吐亮的.分布式.基于发布/订阅(也就是一对多)的消息系统,最初由Linkedln公司开发的,使用Scala语言编写的,目前是Apache的开源项目 ...

  4. springCloud学习4(Zuul服务路由)

    镇博图 springcloud 总集:https://www.tapme.top/blog/detail/2019-02-28-11-33 本篇中 Zuul 版本为 1.x,目前最新的是 2.x,二者 ...

  5. Flask 和 Django 框架的区别

    1)Flask Flask确实很“轻”,不愧是Micro Framework,从Django转向Flask的开发者一定会如此感慨,除非二者均为深入使用过 Flask自由.灵活,可扩展性强,第三方库的选 ...

  6. 基于web站点的xss攻击

    XSS(Cross Site Script),全称跨站脚本攻击,为了与 CSS(Cascading Style Sheet) 有所区别,所以在安全领域称为 XSS. XSS 攻击,通常指黑客通过 HT ...

  7. 【android,eclipse解决】eclipse insert "}" to complete ClassBodyR.java

    Android开发:eclipse搭建后,如果出现 eclipse insert "}" to complete ClassBodyR.java/appcompat_v7/gen/ ...

  8. vue v-show无法动态更新的问题

    本人之前学过angularJS,记得v-for绑定的数组,只要切换v-if = ''item.show'' 只要改变相关的值,就可以对应的值,视图就会重新渲染,但是在vue中却不灵了,找到答案了,需要 ...

  9. thrift简单示例 (go语言)

    这个thrift的简单示例来自于官网 (http://thrift.apache.org/tutorial/go), 因为官方提供的例子简单易懂, 所以没有必要额外考虑新的例子. 关于安装的教程, 可 ...

  10. centos8 网络配置

    目录 centos8已经发布了,下载了一个体验一下,新安装好的centos8默认网卡是没有启动的,安装好后需要先配置网络.在/etc/sysconfig/network-scripts目录下存放着网卡 ...