当前位置: 首页 > news >正文

介绍几种常见的质数筛选法

质数筛选法

  • 1.暴力筛选法 :smirk:
  • 2.普通优化 :rofl:
  • 3.埃氏筛法:cold_sweat:
  • 4.线性筛选法:scream:

质数:除了1和他本身没有其它因数的正整数就是质数。1不是质数,2是质数。

1.暴力筛选法 😏

  • 原理
    x的质数,令y从2到 x \sqrt[]{x} x (向下取整,比如2.4=2)依次尝试 ,如果x%y=0,那么x不是质数。(2要单独讨论,否则按照这个逻辑2不是质数)。
    • 为什么取 x \sqrt[]{x} x ?
      :如果取到 x \sqrt[]{x} x 还没有找到x的约数,那么就可以断定x一定是质数!!。 x \sqrt[]{x} x * x \sqrt[]{x} x =x,这是一个特殊的位置。可以将这个等式抽象为a * b=x。a和b的关系是你消我涨,即a= x b {x \over b} bx x \sqrt[]{x} x 是a=b的特殊情况,如果a小于等于 x \sqrt[]{x} x 的数里没有x的约数,那么当a大于 x \sqrt[]{x} x 的时候一样没有,因为a小于等于 x \sqrt[]{x} x 的时候,b是大于等于 x \sqrt[]{x} x 的。排除a不是x的约数的同时将b也排除了,因为约数是成对出现的。所以当a大于 x \sqrt[]{x} x 的时候实际上在做重复的计算,相当于把a,b交换了一个位置,实际上当a取值小于等于 x \sqrt[]{x} x 的时候已经把所有可能的约数排除了。
    • 为什么 x \sqrt[]{x} x 要向下取整而不是向上取整?
      :第一个问题解释了,约数是成对出现的,只需要枚举a从2到 x \sqrt[]{x} x 即可,那么b= x a {x \over a} ax同时被考虑到了。如果 x \sqrt[]{x} x 不是整数,那么就向下取整,去掉小数部分,这样可以保证a的枚举没有遗漏(a小于等于 x \sqrt[]{x} x )。如果向上取整,那么a的取值大于 x \sqrt[]{x} x ,b小于 x \sqrt[]{x} x 这个组合实际上之前可能已经被排除了,所以重复计算了一对约数。可能会遗漏约数导致判断错误。
    • 为什么2要单独考虑?
      :代码的逻辑是:从2到 x \sqrt[]{x} x 依次找x的约数,但是2本身可以被2整除,这样就会误判2有约数,所以2要特判一下。
  • 代码
#include<iostream>
#include<cmath>
using namespace std;bool violence(int n)  //violence  暴力 
{if (n == 1)return false;if (n == 2)return true;for (int i = 2; i <= sqrt(n); i++)   //sqrt函数向下取整的{if (n % i == 0)return false;   //可以被i整除,不是质数}return true;
}int main()
{for (int i = 1; i <= 100; i++)  // 找到1-100内的质数{if (violence(i))cout << i << " ";}return 0;
}
  • 运行结果
    运行结果

2.普通优化 🤣

  • 优化原理
    • 先贴上代码好理解,否则讲半天不知道在说什么。(看完回到这里😊😊)
    • 如果看懂了跳过,否则看下一行
    • 唯一的难点🙁:为什么当 st[i] == false,则 i 一定是质数呢?
      :当遍历到 i 的时候,2~i-1的所有倍数都被标记成合数了,如果此时i没有被标记,说明i一定是质数。因为i的约数一定是在[2,i-1]的区间内的,而这个区间的所有数的倍数都不能构成i,说明这些数都不是i的约数,那么i就是质数。
int primes[N], cnt;     // primes[]存储所有质数,cnt记录质数的下标
bool st[N];         // st[i]==true表示i不是质数void get_prime(int n)  //挑选2到n中所有的质数
{for(int i = 2; i <= n; i ++){if(!st[i])   //当前的数是i,如果st[i]==false,那么说明i这个数一定是质数(理解不了先不解释,看后面的代码)primes[cnt ++] = i;    //存储当前的质数for(int j = i + i; j <= n; j += i)   //将i的所有倍数都标记为true,因为i的倍数一定不是质数。st[j] = true;  }
}

3.埃氏筛法😰

  • 数的公理( 两种形式)
    ( 1 ) 任意一个正整数(大于等于 2 ) = x 1 k 1 ∗ x 2 k 2 ∗ . . . . ∗ x n k n (1)任意一个正整数(大于等于2)=x_1^{k_1}*x_2^{k_2}*....*x_n^{k_n} (1)任意一个正整数(大于等于2=x1k1x2k2....xnkn
    ( 2 ) 任意一个正整数(大于等于 2 ) = x 1 k 1 ∗ ( x 2 k 2 ∗ . . . . ∗ x n k n ) (2)任意一个正整数(大于等于2)=x_1^{k_1}*(x_2^{k_2}*....*x_n^{k_n}) (2)任意一个正整数(大于等于2=x1k1(x2k2....xnkn)
    其中 x n x_n xn都是质因数, k n k_n kn是大于等于0的正整数

    • 用人话说就是一个数分解开来,一定是若干个质数相乘,这些分开的数一定是质数😡,如果发现分解的数有合数,那么就没有分解彻底,再把合数分解成质数😡
  • 优化原理
    普通优化是将 i 之前的所有数的倍数都标记,以此判断i是不是合数。但是数的公理第2个形式说明了,一个数必然是由若干个质数的乘积构成的,那么就不需要取将i之前所有数的倍数标记,只需要将i之前的所有质数的乘积标记就可以了。

int primes[N], cnt;     // primes[]存储所有质数,cnt记录质数的下标
bool st[N];         // st[i]==true表示i不是质数void get_primes(int n)//挑选2到n中所有的质数
{for (int i = 2; i <= n; i ++ ){if (st[i])   //如果st[i]==true,说明i不是质数continue;  primes[cnt ++ ] = i;for (int j = i + i; j <= n; j += i)  //只要把质数的倍数筛选掉就可以了。st[j] = true;}
}

4.线性筛选法😱

  • 前集回顾
    埃式筛选法有一个很明显的缺陷,即筛选(标记)合数的时候有大量重复的步骤。比如:
    当 i = 3的时候,将6,9,,,51,,都标记了。当 i = 17 的时候,会标记,34,51,,,发现有重复的项51

  • 目的和公理

    • 目的
      让每个合数只会被筛选一次。
    • 数学公理
      每个数都有一个最小质因数,比如2的最小质因数是2,4的最小质因数是2,5的最小质因数是5,6的最小质因数是2,7的是7,8的是2,9的是3,10的是2,11的是11,12的是2…
  • 原理
    任何数只有一个最小质因数,只要保证每个合数都是最小质因数筛选的,就可以保证不会重复筛选。(有点难以理解)

int primes[N], cnt;     // primes[]存储所有质数,cnt记录质数的下标
bool st[N];         // st[i]==true表示i不是质数void get_primes(int n)
{for (int i = 2; i <= n; i ++ ){if (!st[i]) primes[cnt ++ ] = i;  //合理性证明最底下for (int j = 0; primes[j] <= n/i; j ++ ){st[primes[j] * i] = true;  //筛选的合数primes[j] * i的最小质因数一定是primes[j],就用primes[j]去筛选它if (i % primes[j] == 0) //为了避免重复筛选合数。//如果i % primes[j] == 0,则primes[j]是i的最小质因数,同时说明primes[j]是i*primes[j]的最小质因数(因为primes[j]是递增的),//如果继续循环,下一步就是st[primes[j+1]*i]=true,因为primes[j+1]>primes[j],primes[j+1]<=i,所以primes[j+1]*i的最小质因数仍然是primes[j],//但是根据原理,一个数需要被他的最小质因数筛选才不会重复,这里却用primes[j+1]筛选了primes[j+1]*i。重复筛选了。break;}}
}
i筛掉的数
24
36,9
48
510,15,25
612
714,21,35,49
816
919,27
1020
1122,33,55,77,121

Question区:

1.为什么st[i]=false可以表示是质数(明明下面的for循环和埃式筛选法不一样)
:i= x 1 x_1 x1* x 2 x_2 x2 x 1 x_1 x1表示x的最小质因数, x 1 x_1 x1是[2,i-1]里面的一个质数, x 2 x_2 x2可以是质数也可以是合数。(1) x 2 x_2 x2是质数:我们从代码可以归纳出,当k(2~i-1)是质数的时候,它会筛掉所有的k * primes[j](j从0到cnt-1), 所以i会被[2,i-1]内的某一个质数筛掉。(2) x 2 x_2 x2是合数:我们从代码归纳出,当k是合数的时候,会筛选出[2,k的最小质因子] * primes[j], 而 x 1 x_1 x1是最小质因数,那么一定有一个k会筛选出 x 2 x_2 x2.
2.为什么要if (i % primes[j] == 0)break;
:按照原理来的,每个数都要由他的最小质因数来更新,如果说这一步不退出而是继续循环,那么下一步i * primes[j+1]将被筛选掉,但是i * primes[j+1]的最小质因数是primes[j](因为i不变,上一步i%primes[j]==0且primes[j+1]>primes[j]),而现在i * primes[j+1]由primes[j+1]来筛选了,这样导致筛选过程提前了,后面又会筛选导致重复(当i变大的时候会再次筛选一次)。

线性筛选法还是很难理解的。本质在于:每个数只被筛选一次,且是被去最小质因数筛选的。

http://www.lryc.cn/news/277562.html

相关文章:

  • Qt/QML编程学习之心得:Linux下读写GPIO(23)
  • Unity中URP下深度图的线性转化
  • Low Poly Cartoon House Interiors
  • [算法与数据结构][c++]:左值、右值、左值引用、右值引用和std::move()
  • 【QT】day3
  • c++ fork, execl 参数 logcat | grep
  • QT:单例
  • IPv6路由协议---IPv6动态路由(OSPFv3-4)
  • 移动通信原理与关键技术学习(4)
  • 第二百五十八回
  • freesurfer-reconall后批量提取TIV(颅内总体积)
  • 【GO】如何用 Golang 的 os/exec 执行 pipe 替换文件
  • 基于Spring-boot-websocket的聊天应用开发总结
  • 2023年度总结 - 职业生涯第一个十年
  • setup 语法糖
  • Javaweb之Mybatis的基础操作的详细解析
  • 知名开发者社区Stack Overflow发布《2023 年开发者调查报告》
  • vue element plus Form 表单
  • zmq_connect和zmq_poll
  • TinyLog iOS v3.0接入文档
  • react-native 配置@符号绝对路径配置和绝对路径没有提示的问题
  • element的Table表格组件树形数据与懒加载简单使用
  • 游戏、设计选什么内存条?光威龙武系列DDR5量大管饱
  • linux磁盘清理_docker/overlay2爆满
  • Redis过期清理策略和内存淘汰机制
  • 2_并发编程同步锁(synchronized)
  • Python 常用模块pickle
  • CentOS 6 制作openssh 9.6 p1 rpm包(含ssh-copy-id、openssl) —— 筑梦之路
  • Tomcat Notes: Deployment File
  • 某邦通信股份有限公司IP网络对讲广播系统挖矿检测脚本