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

公众号创建于上学期的期中季,距今已有半年之久。本意是为了倾吐那个黯淡学期的诸多复杂情绪,却因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).

  • 0
    点赞
  • 15
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值