2.1.素性检验简介原创

之前讲的椭圆曲线离散对数入门的课程已经讲解完毕，从这节课开始讲书性检验这个大专题有20多个小节，数数又称为知处一个大于1的自然数。除了以后它自身外，不能被其他自然数整除的数叫做质数，否则称为合数。规定1既不是数，也不是偶数，哪些地方会用到质数呢？嗯，这里就我就不念了，比特币的CP2为K1算法肯定是用到了数数，到目前为止。椭圆曲线离散对数问题并没有解决，对于对于数学爱好者来说迫切这类问题比去证明哥德巴赫猜想、0曼猜想、并8猜想等等更加有意，因为证明数学猜想容易出错的，以为自己证明出来，结果别人一看就有漏洞，并没有证明出来。而解决椭圆曲线你算对数问题，你真解决了是有成果的。

而对于区块链爱好者来说，如果你想深入了解区块链的原理，也是可以看这门课程的，说不定以后的面试会问到这个。关于书信检验，首先讲各种筛子。这一二三点是处罚埃塞欧拉塞。网上的资料是非常丰富的，但我还是得讲一下，为了保证课程的完整性。而阿特金赛、普利查德赛中，大拉姆赛。车轮分解安徽赛分段赛这些知识点。嗯，这些知识点网上的资料是非常少的，值得你们收藏。

所谓的筛子，就是求某个范围的数数。比如，求1~100范围之内的所有数数。第一点是出发。和第7点的车轮分解。是判断一个数是否是数数这，这并不是一个筛子，放在这里讲的原因是思想跟埃事筛差不多。各种筛子讲完后，就讲书性检验了。嗯，数性检验就是判断一个数是否是数，数算法分为确定性的算法。和概率新和概率新的算法。确定性的算法。顾名思义。就是能正确判断一个数是数数，如果这个数是数数，那一定会判定为数数，否则就是合数，之前呢是除法和车轮分解，就是确定性的算法。

确定性的算法还有X算法、卢卡斯算法、波克林顿算法、林顿检验。卢克斯莱莫算法卢克斯莱莫里塞尔算法，废品检验罗斯定理。这几种说法，之后的讲话都会讲代码的。X.AKS算法是针对所有数的多项式算法，但算法速度还是很慢的，因此对于各种语言的实现的算法都不会采用这种算法的。而概率性的算法意思就就是有误派，如果一个数本来就是数数，那么一定会判定为数数，这个是没有什么问题，但是误判的可能是。一个数本来是合数，结果被判定成数数了，这种数被称为尾数数。

这种误判的几率非常小。而且。而且对于大数的数据检验速度是非踌，因此各种语言都会采用概率概率性的算法。对于飞马检验，米勒拉宾检验。索罗瓦斯特拉森属性测试。对对。嗯，对于肺马检验和米勒拉病检验这两种算法，网上的资料是非常多的，但我还是得讲一下，为了保证完整性。而下面的。佐罗瓦斯斯特拉森舒心测试卢卡斯。赛尔弗利奇强化版的卢卡斯赛尔弗利奇算法。超象版的Lucas算法。

罗贝里乌斯算法背包哪切佩兰？这个网上也有这类的算法，但是资料并不好找。第1~3点，这三种算法可以归为飞马类的算法。呃，49点。这几种算法是归为卢卡斯类的算法。贝利PSW算法。是。贝码类的算法和卢卡斯类的算法两者的组合，这两类组合在参数固定的情况下，有的组合是是没有找到尾出数的，有的组合能找到尾出数。现在各种语言都喜欢用没有尾数的组合算法。速度非踌，而且不会出错，一举两得。当然不，不会出错，只是人类并没有发现为出错而已，并没有被证明没有伪叔叔。

这说明这这不代表不存在尾数数了，因此贝利PSW算法也叫可能确定性算法。嗯，年利率算法，椭圆曲线属性检验，二次弗洛贝利乌斯检验，这三种算法代码并没有实现，所以我就不会讲这个了。这门课程可以说是前无古人，当然后肯定是有来者的，从下节课开始就讲干了，让我们拭目以待吧。