算法证明_PRIMES is in P | 算法正确性证明

最新推荐文章于 2022-05-12 16:41:24 发布
最新推荐文章于 2022-05-12 16:41:24 发布
阅读量2k 收藏 15
点赞数
文章标签： 算法证明
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_39800875/article/details/111708866
版权

公众号创建于上学期的期中季，距今已有半年之久。本意是为了倾吐那个黯淡学期的诸多复杂情绪，却因ddl过多至今未写过一篇文章。近来受疫情所迫居家学习，虽时有压抑情绪，但与之前的心境已大有不同，故重新开启此号，随心记录学习生活中的一些点滴，也算是忙碌之余的些许消遣。

《PRIMES is in P》的算法证明是我本学期算分小班负责的pre之一。原文的证明十分精简，省去了诸多推导过程，阅读起来颇为费力。此外文章引理4.3的证明存在一定的疏漏之处(参考：Errata: PRIMES is in P)。本文对原文的证明进行了整理，细节之处添加了一些证明，并对原文证明的错误之处进行了更正，希望有助于读者进一步理解AKS算法的正确性证明。

一、引言 da8e717c0b12490866f54896e73234e7.gif

《PRIMES is in P》给出了在多项式时间内判断一个数是否是素数的确定性的算法，是关于素性测试的经典论文。

算法的正确性证明中使用到了诸多数学概念，建议阅读前对群环域、费马小定理、分圆多项式、欧拉函数、初等数论等相关知识有所了解。

二、AKS素性测试算法 da8e717c0b12490866f54896e73234e7.gif

1577abee878f072376a6a525ba31f30b.png

三、算法正确性证明 da8e717c0b12490866f54896e73234e7.gif

1f88201ae8044dea8ba7f30716bee974.png

735fc48b895b7c4ba276328230842614.png

f173a07f9ebb7bde5f2a3f15579f2af5.png

9f24e8fe6f55686d6db4f2fbb0103ddc.png

6e9173386a933f6db42f041ee9cbf41a.png

四、参考文献 da8e717c0b12490866f54896e73234e7.gif

[1]Manindra Agrawal,Neeraj Kayal,Nitin Saxena. PRIMES Is in P[J]. Annals of Mathematics,2004,160(2).

[2]Agrawal Manindra,Kayal Neeraj,Saxena Nitin. Errata: PRIMES is in P[J]. Annals of Mathematics,2019,189(1).

weixin_39800875
关注
  • 0
    点赞
  • 踩
  • 15
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
第12周项目1- Prime算法的验证
Rachel_71的博客
11-16 327
问题及代码： /* * Copyright(c) 2017,烟台大学计算机学院 * All rights reserved. * 文件名称:cpp1. * 作 者:薛瑞琪 * 完成日期:2017 年 11 月 16 日 * 版 本 号:v1.0 * * 问题描述: Prime算法的验证 * 输入描述:无需输入 * 程序输出:实现各种算法的函数的测试结果
Parker_7_primes
05-06
标题"Parker_7_primes"和描述"Parker_7_Journals"暗示了这是一个与编程相关的项目，特别是关于寻找或处理素数（primes）的。考虑到标签为"Java"，我们可以推断这个项目是用Java语言实现的，可能是一个算法或者程序，...
数据结构（一）算法的正确性证明
很注重数学和408
08-27 3148
算法的正确性证明 直接证明法 反证法 要证明定理是正确的，首先假设定理是错误的，然后使用正确的命题和推理规则进行推理，出现： 1.与已知条件矛盾 2.与公理矛盾 3.与正确命题矛盾 4.自相矛盾 则得到结果（按照从浅显的正确性到稍微加深的部分进行） 例：证明：没有最大的整数 思路：假设有最大的整数设为P，令N=p+1则存在比P大的整数 （考虑可以在整数上进行的运算） 数学归纳法 强归纳法：保证归纳...
prim算法直观理解与证明
Quillan_car的博客
12-21 1716
今天刚学完最小生成树，乘着知识还在脑袋里热乎着，便写下来记录下，也便日后复习回忆。 prim算法是用来求解最小生成树的。首先让我们来规定符号： 根据每个店加入生成树的先后顺序不同分别记为 , 总的来说算法步骤就是： 1.将距离集合（即最小生成树）的距离最近的点加入到集合中，如果集合中当前没有点，则可以任意加入某一个点。（该点到集合的距离定义为该点到集合中每个点的距离中最小的那一个距离。） 2.用新加入到集合中的点来更新未被加入到集合中的点到集合的距离。 3.重复1,...
*LeetCode-Count Primes
Coding Interview
09-27 298
用一个数字记录是否1-n被mark掉 从2开始 mark掉所有2的倍数 然后就找到下一个还没被mark掉的 从这个数字的平方开始mark 因为小于他平方的 已经被mark过了 然后停止条件是sqrt (n) ！！！很重要！ public class Solution { public int countPrimes(int n) { int [] mark = new
最小生成树的prim算法贪心正确性的证明
luojinping的专栏
12-06 1万+
首先，一定有一个最优解包含了权值最小的边e_1（prim的第一步），因为如果不是这样，那么最优的解不包含e_1，把e_1加进去会形成一个环，任意去掉环里比e_1权值大的一条边，这样就构造了更优的一个解，矛盾 用归纳法，假设prim的前k步选出来的边e_1，…， e_k是最优解的一部分，用类似的方法证明prim的方法选出的e_k+1 一定也能构造出最优解。
Fontana_7_primes
04-29
4. **测试与调试**：项目可能包含单元测试和集成测试，使用JUnit或类似的测试框架，确保算法的正确性和性能。 5. **代码规范**：遵循良好的编程习惯，如代码注释、命名规则、代码格式等，提高代码可读性和维护性。 ...
primes:与计算素数相关的算法
06-04
费马小定理是一种用于测试是否为素数的数学定理，其表述为：如果p是素数且a是任意一个不是p的整数，则a^(p-1) ≡ 1 (mod p)。在JavaScript中，可以使用模幂运算实现这个测试，但要注意这个测试对于合数也可能会返回...
Primes-applet.zip_visual c
09-21
此外，IDE还提供了编译和运行的功能，帮助我们快速验证代码的正确性。 总的来说，这个"Primes applet"程序是一个很好的学习示例，它展示了如何用C语言解决实际问题，同时也让我们了解了素数判断的基本算法和C语言的...
js_task-wilson-primes
03-11
8. **测试**：开发过程中，可能需要编写测试用例来验证函数的正确性。可以使用断言库如`chai`配合测试框架如`mocha`进行单元测试。 9. **性能优化**：由于计算阶乘和检测素数可能涉及大量计算，所以需要注意性能...
Prime算法 图
08-27
选择合适的存储结构表示一个图，并实现下列运算要求： （1）构造一个带权值的图。 （2）根据图求解Prime算法，其基本思想是：从指定定点开始作为起点，然后反复在满足如下条件的边中选择一条最小边，直到所有顶点成为已选顶点为止（选择n-1条边）。满足的条件是：一端已选，一端未选。
PRIMES is in P
05-07
《PRIMES is in P》论文，描述了一种确定性的、无条件的、多项式时间素判定算法（即 AKS）。
算法正确性证明三要素
binling的专栏
12-30 4454
1）invariant property 是什么，每步循环保证了invariant property。 2）证明循环可以退出：(比如，在循环体的每个分支，循环的界都是在收敛） 3）根据循环退出的condition和 invariant property 得出answer。
程序员修炼之路-(1)基础(下)：正确性证明
weixin_30877755的博客
03-31 474
来自《Writing Solid Code》的一则小故事，Donald Knuth在其著名的排版软件TEX的封面上写到：“I believe that the final bug in TEX was discovered and removed on November 27, 1985. But if, somehow, an error still lurks in the code, I...
迪杰斯特拉(Dijkstra)算法描述及其正确性证明
热门推荐
softee的专栏
09-06 2万+
Dijkstra算法描述及其正确性证明
dijkstra算法（附带正确性证明）
coooooding
07-04 1552
let max = Infinity; function newGraph(){ return { vertexs:['A','B','C','D','E'], edges:[ [0,5,8,max,max], [5,0,1,3,2], [8,1,0,max,max], ...
Dijkstra 算法 -方法、算法、代码和正确性的证明
lllllyt的博客
06-09 3563
Dijkstra 算法 -方法、算法、代码和正确性的证明 摘要本文介绍Dijkstra算法，包括方法、算法、正确性的证明和算法C++的实现。 §1 Dijkstra算法方法介绍算法适用范围：Dijkstra算法解决的是带权重的问题的有向图上单源最短路径问题，该算法要求所有边的权重都为非负值。D
数据结构图之prime算法详解
&volume的博客
05-12 2108
本篇为文章是写的prime算法，本人见书上算法只有伪代码于是想着写出一个能跑的prime算法 本人写了一个下午的prime算法，但是运行的结果是不正确的 （本人是个小菜鸡） 经过朋友的帮助，运行结果正确。 我觉得算法主要先理解思想 在去试图打出分部的伪代码 最后打出能跑的代码 不多说上代码 # include <stdio.h> # define m 31715 # define maxs 100 typedef struct { int v[maxs]; //..
讲解 int32_t GetRealPrimes(int32_t primesFlag) { switch (primesFlag) { case HCF_OPENSSL_PRIMES_2: LOGI("set primes 2"); return PRIMES_2; case HCF_OPENSSL_PRIMES_3: LOGI("set primes 3"); return PRIMES_3; case HCF_OPENSSL_PRIMES_4: LOGI("set primes 4"); return PRIMES_4; case HCF_OPENSSL_PRIMES_5: LOGI("set primes 5"); return PRIMES_5; default: LOGI("set default primes 2"); return PRIMES_2; } }
最新发布
06-03
具体来说，函数通过switch语句判断primesFlag的值，如果是HCF_OPENSSL_PRIMES_2，则返回一个名为PRIMES_2的32位整数质数；如果是HCF_OPENSSL_PRIMES_3，则返回一个名为PRIMES_3的32位整数质数；如果是HCF_OPENSSL_...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值