今天来玩玩筛

英文:Sieve

有什么筛?

这里介绍:素数筛,欧拉筛,约数个数筛,约数和筛

为什么要用筛?

顾名思义,筛就是要漏掉没用的,留下有用的。最终筛出来1~n的数的一些信息。

为什么要用线性筛?

考虑最基础的线性筛素数,是O(n)的。

而一般的做法是:

1.对于每个m暴力枚举1~sqrt(m)看能否被整除。O(nsqrt(n))

2.对于每个找到的素数,用它去将所有它的倍数的数都干掉。O(nlogn)

但是,即使是第二种,也有一个log

这是因为一个合数会被它的所有质因子筛一次。要重复质因子个数次,除第一次之外都没用。

所以用线性筛

线性筛原理:

一个算法,使得每个合数只被它的最小质因子筛一次。

怎么保证呢?

素数线性筛:

先看代码:

#include<bits/stdc++.h>
using namespace std;
const int N=+;
int ps[N],cnt;
bool v[N];
int n,m;
void sieve(){
for(int i=;i<=n;i++){
if(v[i]==){
ps[++cnt]=i;
}
for(int j=;j<=cnt;j++){
if(i*ps[j]>n) break;
v[i*ps[j]]=;
if(i%ps[j]==) break;
}
}
}
int main()
{
scanf("%d%d",&n,&m);
sieve();
v[]=;
int t;
for(int i=;i<=m;i++){
scanf("%d",&t);
if(v[t]) printf("No\n");
else puts("Yes");
}
return ;
}

看不懂...................

解释:
对于一个质数,之前没有被标记。肯定只会有一次查到。把它记录到素数集合里去。

然后,不论这个数是否为质数,都将已有的质数从1~cnt循环一遍,把所有的i*ps[j]标记。

当i*ps>n break,可以理解。

当i%ps==0 break.???

这个时候,ps和i不互质了,而ps第一次整除i,所以ps就是i的最小质因数。叫他ps0

而之后,ps更大,ps*i的最小质因数就不是ps了。因为i里有ps0,这个合数就等着以后i更大了,通过ps0筛掉。

ps再大,后面的ps*i的最小质因数都不是ps,所以之前直接break掉就好。

由于每个合数只会被i*ps的形式找到一次(那一次的ps就是这个合数的最小质因子)。而内层循环每一次都对应一个将v[ps*i]=1的操作。

所以内层循环均摊O(1),总共O(n)

完毕。

欧拉线性筛:

代码:fai(i) 1~i中和i互质的数的个数。

可以容斥推出公式:假设:i=p1^q1*p2^q2*....pn^qn

那么,fai(i)=p1^(q1-1)*(p1-1) * p2^(q2-1)*(p2-1) * ......pn^(qn-1) * (pn-1)

证明不是本篇想讲的。

void sieve(){
   fai[]=;
for(int i=;i<=n;i++){
if(v[i]==){
fai[i]=i-;
pri[++cnt]=i;
}
for(int j=;j<=cnt;j++){
if(i*pri[j]>n) break;
v[i*pri[j]]=;
if(i%pri[j]==) {
fai[i*pri[j]]=fai[i]*pri[j];break;
}
else{
fai[i*pri[j]]=fai[i]*(pri[j]-);
}
}
}
}

并不想从积性函数性质入手解释。

显然的,当处理到fai[i]的时候,i的值应该就知道了。i是质数就现成赋值。

考虑公式。

当i%ps==0 时,i的质因子中有ps,那么i*ps的质因子ps的次数就大于一,那么,就是fai[i]*ps了

否则,i*ps 的 ps的次数就是1,那么,ps^(1-1)*(ps-1)=(ps-1) 所以是fai[i]*(ps-1)

之后的各种操作基于线性筛的要求和特质。(即每个数只被它的最小质因子筛一次)

例题:SDOI2008 仪仗队

约数个数线性筛:

推荐:线性筛约数个数和、约数和

设x=p1^q1*p2^q2*....pn^qn

要知道公式:个数=(q1+1)*(q2+1)*...*(qn+1) 乘法原理就可以知道。

设t[i]表示i的约数个数

设e[i]表示i的最小素因子个数

①i是质数:t[i]=2,e[i]=1;

②i%pj!=0 这个时候,pj里面没有i,根据积性函数,或者乘法原理,t[i*pj]=t[i]*t[pj]=2t[i];

而 e[i*pj]=1

③i%pj==0 这个时候,pj里面至少有一个i,i也是pj的最小质因子。

t[i*pj]=t[i]/(e[i]+1)*(e[i]+2) 考虑公式,i*pj只在pj的位置上加了1,所以先除掉,再乘上去。

e[i*pj]=e[i]+1 最小素因子个数多了一个。

约数和的线性筛:

推荐:线性筛 [约数个数/约数和]

(很详细的解释)

设x=p1^q1*p2^q2*....pn^qn

首先还是要知道公式:和=(1+p1^1+...+p1^q1)*(1+p2^1+...+p2^q2)*...*(1+pn^1+...+pn^qn)

证明很简单,加数的个数显然就是约数个数,每次选择就是这个约数个数的质因数分解形式,数值就是这个约数的数值。

设t[i]表示i的约数和

设e[i]表示i的最小素因子对约数和的答案的贡献,即:(1+p1^1+...+p1^q1)(假设p1是最小质因子)

①当i是质数的时候,t[i]=i+1;e[i]=i+1;

②i%pj!=0 根据公式、积性函数性质 : t[i*pj]=t[i]*t[pj]

e[i*pj]=1+pj;

③i%pj==0

t[i*pj]=t[i]/e[i]*(pj*e[i]+1)

证明:考虑公式,i里面有pj的贡献,乘了一个pj,相当于多了一个pj^(qj+1)所以除掉后,乘上错位,再加一

而 e[i*pj]=e[i]*pj+1

就这样。代码参考上面的写就是了,没什么难度。

莫比乌斯函数筛:

知道定义就好说:

μ(i)={

0 i有平方因子

1 i的质因子个数为偶数

-1 i的质因子个数为奇数

}

根据定义直接筛就好了。

void sieve(){
u[]=;
for(int i=;i<=N;i++){
if(!vis[i]){
u[i]=-;
pr[++cnt]=i;
}
for(int j=;j<=cnt;j++){
if(pr[j]*i>N) break;
vis[pr[j]*i]=;
if(i%pr[j]==) {
u[pr[j]*i]=;break;
}
else u[pr[j]*i]=-u[i];
}
}
}

例题:bzoj2440 完全平方数

SIEVE 线性筛的更多相关文章

  1. BZOJ 2693: jzptab [莫比乌斯反演 线性筛]

    2693: jzptab Time Limit: 10 Sec  Memory Limit: 512 MBSubmit: 1194  Solved: 455[Submit][Status][Discu ...

  2. BZOJ 2818: Gcd [欧拉函数 质数 线性筛]【学习笔记】

    2818: Gcd Time Limit: 10 Sec  Memory Limit: 256 MBSubmit: 4436  Solved: 1957[Submit][Status][Discuss ...

  3. BZOJ 3309: DZY Loves Math [莫比乌斯反演 线性筛]

    题意:\(f(n)\)为n的质因子分解中的最大幂指数,求\(\sum_{i=1}^n \sum_{j=1}^m f(gcd(i,j))\) 套路推♂倒 \[ \sum_{D=1}^n \sum_{d| ...

  4. Codeforces 893E Counting Arrays:dp + 线性筛 + 分解质因数 + 组合数结论

    题目链接:http://codeforces.com/problemset/problem/893/E 题意: 共q组数据(q <= 10^5),每组数据给定x,y(x,y <= 10^6 ...

  5. 洛谷 - P1891 - 疯狂LCM - 线性筛

    另一道数据范围不一样的题:https://www.cnblogs.com/Yinku/p/10987912.html $F(n)=\sum\limits_{i=1}^{n} lcm(i,n) $ $\ ...

  6. Codeforces 1047C (线性筛+因数分解)

    题面 传送门 分析 1.暴力做法 首先先把每个数除以gcd(a1,a2-,an)gcd(a_1,a_2 \dots,a_n )gcd(a1​,a2​-,an​) 可以O(namax)O(n\sqrt ...

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

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

  8. bzoj2693--莫比乌斯反演+积性函数线性筛

    推导: 设d=gcd(i,j) 利用莫比乌斯函数的性质 令sum(x,y)=(x*(x+1)/2)*(y*(y+1)/2) 令T=d*t 设f(T)= T可以分块.又由于μ是积性函数,积性函数的约束和 ...

  9. 【BZOJ-4514】数字配对 最大费用最大流 + 质因数分解 + 二分图 + 贪心 + 线性筛

    4514: [Sdoi2016]数字配对 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 726  Solved: 309[Submit][Status ...

随机推荐

  1. 干货,比较全面的c#.net公共帮助类(Common.Utility)

    Common.Utility 初衷 网上有各式各样的帮助类,公共类,但是比较零碎,经常有人再群里或者各种社交账号上问我有没有这个helper,那个helper,于是萌生了收集全部helper的念头,以 ...

  2. python爬虫xpath的语法

    有朋友问我正则,,okey,其实我的正则也不好,但是python下xpath是相对较简单的 简单了解一下xpath: XPath 是一门在 XML 文档中查找信息的语言.XPath 可用来在 XML ...

  3. 时区提示:Local time zone must be set--see zic manual page 2018的解决办法

    问题描述:在centos服务器上执行date命令时,显示的时间信息中的时区不正常,如下: [root@ulocalhost ~]# date Mon Apr 9 02:57:38 Local time ...

  4. Codeforces Round #504 (rated, Div. 1 + Div. 2, based on VK Cup 2018 Final)-D- Array Restoration

    我们知道不满足的肯定是两边大中间小的,这样就用RMQ查询两个相同等值的区间内部最小值即可,注意边界条件 #include<bits/stdc++.h> #define x first #d ...

  5. 【个人博客作业II】代码复审结果

    [代码复审结果] General Does the code work? Does it perform its intended function, the logic is correct etc ...

  6. Linux内核及分析 第五周 扒开系统调用的三层皮(下)

    实验内容: 1.执行rm menu -rf命令,强制删除原有的menu 2.使用git命令 git clone https://github.com/mengning/menu.git 克隆新的men ...

  7. 20145221 《Java程序设计》实验报告四:Android开发基础

    20145221 <Java程序设计>实验报告四:Android开发基础 实验要求 基于Android Studio开发简单的Android应用并部署测试; 了解Android组件.布局管 ...

  8. React16新特性

    React的16版本采用了MIT开源许可证,新增了一些特性. Error Boundary render方法新增返回类型 Portals 支持自定义DOM属性 setState传入null时不会再触发 ...

  9. Linux CentOS7 安装php简要过程以及nginx

    Copy From  https://www.cnblogs.com/freeweb/p/5425554.html 修改了下: 1. 下载php源码: wget  http://cn2.php.net ...

  10. 《ERP系统》客户信用及风控代码

    1.风控核心代码: <?php namespace core\models; class SalesCustomersFacade extends \common\models\Base{ /* ...