埃式质数筛及性质

本文涉及的产品
容器镜像服务 ACR,镜像仓库100个 不限时长
应用实时监控服务-可观测链路OpenTelemetry版,每月50GB免费额度
服务治理 MSE Sentinel/OpenSergo,Agent数量 不受限
简介: 【10月更文挑战第8天】本文介绍质数,或素数,指大于1且仅能被1和自身整除的自然数。它们在数学中有独特地位,如算术基本定理指出任何大于1的自然数可唯一分解为质数乘积。质数的寻找方法多样,包括试除法、埃拉托斯特尼筛法等,后者通过筛除合数高效找出质数。质数在密码学中尤为重要,如RSA加密算法依赖大质数的乘积安全性。此外,还有多种算法和理论,如欧拉筛法、费马小定理、梅森质数等,丰富了质数的研究领域。

1 简介

质数,也称素数,是指在大于1的自然数中,除了1和它本身外,不能被其他自然数整除的数。质数有以下性质:

质数的约数只有两个:1和它本身。
算术基本定理表明,任何一个大于1的自然数都可以唯一分解成有限个质数的乘积。
质数的个数是无限的,这是由欧几里得证明的。
除了2以外,所有的质数都是奇数。
所有大于2的质数都可以表示为6n±1的形式。
任何不是1的自然数至少存在一个质数约数。
寻找质数的方法有很多,以下是一些知名的算法:

在实际应用中,选择哪种算法取决于所需的精确度和效率。

例如,在密码学中,通常会需要非常大的质数,这时就需要使用更高效的算法来生成。质数在密码学领域扮演着重要的角色,特别是在公钥密码学中,如RSA加密算法,它使用了大质数的乘积作为公钥和私钥的一部分。

计算质数的乘积很简单,但是将大合数分解为质因数非常困难,这保证了RSA加密算法的安全性.

coffe大海.jpg

2 寻找质数

试除法:对每一个自然数n,从2开始试除到sqrt(n),如果都无法整除,则n是质数。

埃拉托斯特尼筛法(Sieve of Eratosthenes):这是一种高效的生成一定范围内所有质数的算法。它通过逐步筛除合数来找出质数。例如,找出100以内的所有质数,先把2的倍数筛掉(保留2),再把3的倍数筛掉(保留3),如此重复下去,直到7的倍数被筛掉,剩下的就是100以内的质数。

这种生成素数的想法是由希腊数学家埃拉托色尼提出的。该算法通过将数组中的所有数字标记为素数,然后划掉所有倍数(非素数)。

使用该方法的质数产生器一般也称之为埃式筛。它将目标范围的平方根内的全部非质数排除后,剩下的作为质数输出。

什么是素数 素数.“p”是一个只有两个因数的自然数,1 和数本身,即 p。即素数不能分解为超过 2 个自然数。

示例:2、3、5、7、9,...

素数的性质

除 2 外,所有质数都是奇数。
除 2 和 3 外的所有素数均为 6n+1 或 6n-1。

示例:31 = 6 * 5 + 1
示例:941 = 6 * 157 - 1

[梅森的素数]如果表格中的数字2^N-1是素数.那么 'n' 必须是素数,但不能相反(如果n为素数,2^N-1不一定是)。

示例:数字 31 是素数。它的形式是 2^5-1,那么 5 必须是素数,它。
示例:数字 11 是素数。但这并不能使 2^11-1 (2047) 素数。2047 可以被 23 和 89 整除

Prime Sieve Algorithm的时间复杂度为O(N log log N)

我们将数组中的数字标记为非素数(复合)的次数是 n/2 + n/3 + n/5 + n/7 + ....最多 N。
N/2 + N/3 + N/5 + N/7 + N/11.....最多 n = n 。(1/2 + 1/3 + 1/5 + 1/7 + 1/11 + ….最多 n)。
数学证明 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + ....最多 n = ln ln n。
因此,n.(1/2 + 1/3 + 1/5 + 1/7 + 1/11 + ....最多 n) 为:n ln ln n i.e n log l

其他方法:

试除法:对每一个自然数n,从2开始试除到sqrt(n),如果都无法整除,则n是质数。

埃拉托斯特尼筛法(Sieve of Eratosthenes):这是一种高效的生成一定范围内所有质数的算法。它通过逐步筛除合数来找出质数。例如,找出100以内的所有质数,先把2的倍数筛掉(保留2),再把3的倍数筛掉(保留3),如此重复下去,直到7的倍数被筛掉,剩下的就是100以内的质数。

欧拉筛法:这是一种优化的埃拉托斯特尼筛法,它利用了前缀和的概念,可以在更短的时间内找出一定范围内的所有质数。

费马小定理:这是一个关于质数的数论定理,可以用来检测一个数是否为质数。

梅森质数:梅森质数是形式为2^p-1的质数,其中p本身也是一个质数。

哥德巴赫猜想:每个不小于6的偶数都可以表示为两个质数之和,尽管这是一个猜想,但它也启发了一些寻找质数的方法。

黎曼猜想:虽然它是一个未解决的数学问题,但它与质数分布有着密切的关系。

质数定理:描述了质数在自然数中的分布情况。

2 带发生器的埃式质数筛

具有动态类型功能的 Mypy

        import itertools

        def iter_primes():
             # An iterator of all numbers between 2 and
             # +infinity
             numbers = itertools.count(2)

             # Generate primes forever
             while True:
                 # Get the first number from the iterator
                 # (always a prime)
                 prime = next(numbers)
                 yield prime

                 # This code iteratively builds up a chain
                 # of filters...
                 numbers = filter(prime.__rmod__, numbers)

        for p in iter_primes():
            if p > 1000:
                break
            print(p)

具有静态类型的 Mypy

    import itertools
    from typing import Iterator

    def iter_primes() -> Iterator[int]:
         # An iterator of all numbers between 2 and
         # +infinity
         numbers = itertools.count(2)

         # Generate primes forever
         while True:
             # Get the first number from the iterator
             # (always a prime)
             prime = next(numbers)
             yield prime

             # This code iteratively builds up a chain
             # of filters...
             numbers = filter(prime.__rmod__, numbers)

    for p in iter_primes():
        if p > 1000:
            break
        print(p)
  • 埃式质数筛的另一个实现版本

计算函数接受定义一个名为GeneratePrimes的函数,参数是num_range,表示要生成素数的范围。

    import math

    def GeneratePrimes (num_range) :

        # Mark all numbers as prime
        #创建一个布尔值列表list_numbers,长度为num_range,初始值全部为True,表示所有数字都是素数。
        list_numbers = num_range * [True] 

        # Cross out 0, 1 as they are not primes
        # 剔除0和1,将索引为0和1的元素设为False,因为0和1不是素数。
        list_numbers[0] = list_numbers[1] = False

计算num_range的平方根,并将结果转换为整数,赋值给square_root。这个值是用来减少内循环的计算量。

             square_root = int(math.sqrt(num_range))

        #循环从0到square_root(不包括square_root)。
        for p in range(square_root) :
            # 检查list_numbers中的第p个元素是否为True,即判断当前数字p是否为素数。
            if (list_numbers[p] == True) :
                #如果p是素数,从p的平方开始,标记所有p的倍数为非素数。
                #range(p*p, num_range, p)表示从p*p开始,以p为步长,到num_range结束。
                for i in range (p*p, num_range, p) : 
                    # 将list_numbers中索引为i的元素设为False,标记为非素数。

                    # 因为 任何一个数的平方加上这个数本身不可能是素数 p**2 + p, 
                    # 等同于 p(p+1), (这违背了素数的定义,只能被1和自身整除)。
                    # Cross out non primes by marking them false
                    list_numbers[i] = False

        # 打印一条消息,表示将显示到num_range的素数。
        print ("Primes upto "+str(num_range)+" :")
        # 初始化一个变量total,用于计数素数的总数。
        total = 0
        # 循环遍历list_numbers列表的每个索引。
        for p in range(len(list_numbers)) :
            # 检查list_numbers中的第p个元素是否为True,即判断当前数字p是否为素数。
            if(list_numbers[p] == True) :
                # 如果p是素数,打印p,并在末尾加一个空格(而不是换行)。
               print (p, end = ' ')
               # 将total加1,表示找到一个素数。
               total += 1

        # 打印一个换行符,然后打印素数的总数total。
        print("\n total:\n", total) 

    if __name__ == "__main__":
        GeneratePrimes(100)
        GeneratePrimes(1000)
        GeneratePrimes(10000)

3 小结

欧拉筛法(Euler's Sieve)和埃拉托斯特尼筛法(Sieve of Eratosthenes)都是寻找范围内所有质数的经典算法。两者的共同目标是高效地生成质数,但它们在实现细节上有所不同,导致在效率上有一些差异。
我们以后将继续讨论其优点和实现的方法。

目录
相关文章
|
Shell Linux API
【Shell 命令集合 文件管理】Linux 移动文件命令 mv命令使用指南
【Shell 命令集合 文件管理】Linux 移动文件命令 mv命令使用指南
416 0
|
11月前
|
数据采集 监控 算法
原子钟的基本介绍
【10月更文挑战第7天】本文介绍原子钟是一种利用原子跃迁频率作为基准的高精度计时设备,广泛应用于通信、导航、科学研究等领域。铯原子钟是最精确的计时设备之一,基于铯133原子的超精细跃迁,频率为9,192,631,770 Hz。其关键部件包括铯束源、微波腔、磁态选择器、检测系统和反馈回路。原子钟在GPS、电信、金融市场等应用中至关重要,软件开发需考虑高精度时间同步、数据处理、硬件接口和性能监控。
1005 59
VM虚拟机的配置文件(.vmx)损坏修复
     VM虚拟机中使用.vmx文件保存虚拟机的所有软硬件配置,如果意外损坏的话将会出现不能正常打开虚拟机的故障,症状为:用文本查看软件打开虚拟机目录中的.vmk文件发现内容变为乱码(正常为可读文本,显示虚拟机中的配置信息)修复方法:    本方法仅适用.vmx文件损坏而其他文件完好无损的情况。
5913 0
|
9月前
|
SQL 存储 关系型数据库
Mysql并发控制和日志
通过深入理解和应用 MySQL 的并发控制和日志管理技术,您可以显著提升数据库系统的效率和稳定性。
348 10
|
11月前
|
存储 安全 Java
Java“ArrayStoreException”解决
Java中的ArrayStoreException发生在尝试将错误类型的对象存储到特定类型对象的数组中时。解决方法包括:确保数组元素类型与赋值对象类型一致,使用泛型集合替代数组以增强类型安全。
175 4
|
10月前
|
前端开发 JavaScript
除了 jsPDF,还有哪些前端库可以用于生成 PDF?
【10月更文挑战第21天】这些前端库都有各自的特点和优势,你可以根据具体的项目需求、技术栈以及对功能的要求来选择合适的库。不同的库在使用方法、性能表现以及功能支持上可能会有所差异,需要根据实际情况进行评估和选择。
|
12月前
|
Prometheus 监控 Cloud Native
prometheus学习笔记之node-export
prometheus 监控 node-exporter
|
存储 对象存储 Python
`openpyxl`是一个用于读写Excel 2010 xlsx/xlsm/xltx/xltm文件的Python库。它不需要Microsoft Excel,也不需要.NET或COM组件。
`openpyxl`是一个用于读写Excel 2010 xlsx/xlsm/xltx/xltm文件的Python库。它不需要Microsoft Excel,也不需要.NET或COM组件。
|
关系型数据库 MySQL 分布式数据库
云原生数据库PolarDB MySQL版深度评测报告
作为一名开发人员,在日常工作中频繁与数据库打交道,对于数据库的性能、灵活性和易用性有着极高的要求。此次,我有幸对阿里云自主研发的云原生数据库PolarDB MySQL版进行了深入评测,旨在了解其是否能够满足现代应用的高性能、高可用性和弹性扩展需求。
250 4
|
JSON 前端开发 Java
SpringBoot3怎么做统一结果封装?
在Spring Boot应用中,统一结果封装有助于团队协作,确保一致的API响应格式,提升代码质量和维护性。主要优点包括:简化前端集成工作,减少后端重复编码,以及增强接口的可维护性。实现上,首先定义`Result`类来封装响应状态码、消息、数据及时间戳;其次,通过`ResultCode`枚举类标准化状态信息。示例代码展示了如何构建这些类,并通过一个简单的控制器方法演示了如何使用它们返回JSON格式的响应结果。
557 2

热门文章

最新文章