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

最新推荐文章于 2024-07-27 14:40:30 发布
最新推荐文章于 2024-07-27 14:40:30 发布
阅读量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
    评论
论文翻译：Primes is in P
weixin_43885404的博客
03-29 967
这篇论文主要研究素性测试的多项式时间算法。 原译文：https://www.cnblogs.com/allegro-vivace/p/12892568.html 虽然也是我写的，但博客园炸了hhh PRIMES is in P 本文作者：Manindra Agrawal, Neeraj Kayal, Nitin Saxena. 概要 我们将在文中给出一种素性检测的确定性多项式时间算法。 第一部分：介绍 关于素数的研究通常是数学中最重要的部分之一，尤其在数论中。所以研究素数的不同性质是非常有趣的，尤其是那些可
多目标跟踪之数据关联算法——匈牙利算法
hello world
04-13 9736
一、匈牙利算法维基百科：https://zh.wikipedia.org/wiki/匈牙利算法 匈牙利算法最早是由匈牙利数学家Dénes Kőnig康尼格和Jenő Egerváry用来求矩阵中0元素的个数的一种方法。由此他证明『矩阵中独立0元素的最多个数等于能覆盖cover所有0元素的最少直线数』 匈牙利算法是一种在多项式时间内求解任务分配问题的组合优化算法，并推动了后来的原始对偶方法。 1955年，美国数学家哈罗德·库恩W.W.Kuhn（库恩）Harold W. Kuhn在求解著名的指派问题时引.
《PRIMES is in P》论文解析
追赶时代的博客
07-27 139
Primes is in P
ACM算法模板总结（分类详细版）
热门推荐
wait
02-27 1万+
本文模均引用于y总的算法模板，网址：AcWing (本文属于持续更新ing.......)
算法基础课-数学知识
Crescenx的博客
11-04 460
数学知识
python因数分解算法_Python分解质因数脚本源码纠错求助
weixin_42135462的博客
02-03 489
#Num(original number); Lg(length of original number); Lf(length file);#Pl(primes list); Pf(prime file); Ps(primes); d(list of answers);#length(open txt file 'length'); Pb(open txt file 'primebase'); Q...
算法 {质数,互质,质因数分解}
qq_66485519的博客
03-16 67
1
大厂面试：算法考前必看汇总（全）
qq_33445788的博客
07-09 1074
大厂面试中的算法题大部分情况是力扣原题，并且难度可控，对于经常在力扣刷题的同学一般问题不大。而大厂笔试的算法题则往往是原创题，前几道难度稍微简单，后几道通常得刷题更多的或者有打算法的同学才能做出来。 在笔试当中，在遇到不会的题，通常可以采取骗分的技巧（文末有总结），只有能通过部分案例骗到部分分数。 在面试的算法题，流程如下：首先可以先思考，然后先告诉面试官算法思路（不用急着打代码），然后接下来就是打代码以及调试（这里注意要考虑好边界情况，体现自己的代码严谨；同时，也要注意一下代码规范）。
Java算法之数论基础
zzx0419_的博客
03-15 857
更相减损法是中国古代数学家刘徽提出的求解最大公约数的方法，其原理是连续用较大数减去较小数，直至两数相等，此时的数即为两数的最大公约数。这个算法的关键在于通过不断替换较大的数为较小数和余数，使得每次迭代中，两个数的差值逐渐缩小，并最终找到它们的最大公约数。这里的绝对值符号仅是为了确保在 (a) 或 (b) 中有负数时仍能得出正确的结果，但由于最小公倍数定义应用于正整数，所以一般情况下 (a) 和 (b) 都是正数，因此实际上不需要取绝对值。的次方，即计算 (a^n) 的值。重复上述过程，直到a=b为止。
力扣算法整理
Leesure_CSDN的博客
05-08 3045
力扣算法整理
Parker_7_primes
05-06
标题"Parker_7_primes"和描述"Parker_7_Journals"暗示了这是一个与编程相关的项目，特别是关于寻找或处理素数（primes）的。考虑到标签为"Java"，我们可以推断这个项目是用Java语言实现的，可能是一个算法或者程序，...
Fontana_7_primes
04-29
4. **测试与调试**：项目可能包含单元测试和集成测试，使用JUnit或类似的测试框架，确保算法的正确性和性能。 5. **代码规范**：遵循良好的编程习惯，如代码注释、命名规则、代码格式等，提高代码可读性和维护性。 ...
PRIMES is in P
03-19
PRIMES is in P：素数检测算法的重大突破 在数学领域，尤其是数论中，判断一个数字是否为素数（只能被1和它本身整除的大于1的自然数）是一个基础但又极其重要的问题。长期以来，对于大数的素性测试，最有效的方法...
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语言的...
pi_heif-0.17.0-cp39-cp39-manylinux_2_31_armv7l.whl
最新发布
07-27
pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。
ubuntu20.04-ssh9.8p1-ssl3.0.14-focal-deb-amd64升级加固脚本.zip
07-27
若有新版本请查看文章最后附件地址：https://blog.csdn.net/liuxin638507/article/details/132450367 特点： 1、同时升级openssh与openssl，采用deb包形式，一键快速升级版本，无需每台单独再次进行编译， 2、隐藏openssh-版本号(openssh9.8p1及之后隐藏版本号还未找到方法) 3、已默认安全加固（已有配置跳过） 安装： 执行 bash upgrade_ssl_ssh_ubuntu.sh 进行安装 注意，升级安装后，确保sshd服务正常，请新开终端进行验证测试 验证 openssl版本： openssl version OpenSSL 3.0.14 4 Jun 2024 (Library: OpenSSL 3.0.14 4 Jun 2024) openssh版本： ssh -V OpenSSH_9.8p1, OpenSSL 3.0.14 4 Jun 2024
avif-0.5.0-cp36-cp36m-manylinux1_i686.whl
07-27
python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！ python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！ python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！ python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！ python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！
教务管理系统-毕业设计.zip
07-27
教务管理系统-毕业设计.zip
讲解 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、付费专栏及课程。

余额充值