标签：竞赛 筛出 合数 笔记 证明 枚举 p1 ACM 欧拉
目录
欧拉筛的证明
之前一直都是贴板子。今天花了一点时间看了下证明，原来是如此简洁优雅。欧拉大神orz
一。正确性。 对于任何一个合数C，设p为C的最小质因子，令A=C/p，那么显然有A的最小质因子大于等于p，于是在进行到A枚举已存储的质数时，枚举到A的最小质因子之前p一定被枚举到了，于是C一定被筛出了。这就证明了所有的合数都会被筛出，也就证明了欧拉筛的正确性。
二。时间的线性。 只需要证明任何一个合数都不会被重复筛。 观察欧拉筛的过程发现所有的合数都是以一个质数乘另一个数的形式被筛出的。那么设C=A·p1，p1是C的最小质因子，假设存在另一组数满足C=B·p2，则有p2大于等于p1，而B的质因子必然包含p1，那么当进行到B的时候，在枚举到p1的时候就已经退出循环，于是C不会被重复筛出。即证明了时间复杂度。
标签：竞赛,筛出,合数,笔记,证明,枚举,p1,ACM,欧拉 来源： https://www.cnblogs.com/vege-chicken-rainstar/p/11735216.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。