埃式质数筛及性质

本文涉及的产品
应用实时监控服务-可观测链路OpenTelemetry版,每月50GB免费额度
云原生网关 MSE Higress,422元/月
容器服务 Serverless 版 ACK Serverless,952元额度 多规格
简介: 【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)都是寻找范围内所有质数的经典算法。两者的共同目标是高效地生成质数,但它们在实现细节上有所不同,导致在效率上有一些差异。
我们以后将继续讨论其优点和实现的方法。

目录
相关文章
|
机器学习/深度学习 算法
【算法基础】筛质数
【算法基础】筛质数
64 0
欧拉筛(最优的方法,对于找质数,细节讲解)
欧拉筛(最优的方法,对于找质数,细节讲解)
122 0
|
6月前
|
算法 测试技术 C#
【状态压缩 动态规划 数论】1799. N 次操作后的最大分数和
【状态压缩 动态规划 数论】1799. N 次操作后的最大分数和
|
存储
求解素数的筛选法
求解素数的筛选法
|
人工智能
Leetcode53/152—最大子数组和/最大子数组乘积(状态转移方程/不熟)
Leetcode53/152—最大子数组和/最大子数组乘积(状态转移方程/不熟)
110 0
|
算法
【递归与递推 3】AcWing 717. 简单斐波那契(求解斐波那契数列的若干方法)
【递归与递推 3】AcWing 717. 简单斐波那契(求解斐波那契数列的若干方法)
100 0
【递归与递推 3】AcWing 717. 简单斐波那契(求解斐波那契数列的若干方法)
095.奇数平方的有趣性质
095.奇数平方的有趣性质
81 0
|
算法
基础算法练习200题13、判断质数
基础算法练习200题13、判断质数
103 0
|
人工智能 BI
斐波那契II--规律/二分
小C养了一些很可爱的兔子。 有一天,小C突然发现兔子们都是严格按照伟大的数学家 斐波那契 提出的模型来进行繁衍:一对兔子从出生后第二个月起,每个月刚开始的时候都会产下一对小兔子。我们假定,在整个过程中兔子不会出现任何意外。 小C把兔子按出生顺序,把兔子们从1开始标号,并且小C的兔子都是1号兔子和1号兔子的后代。如果某两对兔子是同时出生的,那么小C会将父母标号更小的一对优先标号。如果我们把这种关系用图画下来,前六个月大概就是这样的:
199 0
斐波那契II--规律/二分
|
算法
数学:质数算法模板
数学:质数算法模板
66 0
下一篇
无影云桌面