形如2kp+1的数的素性检验与大数分解

来源 :武汉大学 | 被引量 : 0次 | 上传用户:jackwang520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文第一部分,回顾了素性检验的研究历史,概括出了所有不同的素性检验方法.其中简单介绍了一些经典方法、概率方法以及Miller开创性的工作,着重阐述了AKS算法(这是第一个确定性的多项式时间的素性检验算法).第二部分初步探讨了公钥密码学的核心课题之一,那就是如何快速检验一个大数n是素数(这里n-1含有大的素因子)的算法问题以及如何生成一个大素数p使得p-1有大的素因子q的算法问题.作者给出了形如n=2kp+1的数的素性检验的多项式时间算法,这里p是一个给定的大素数,k是正整数满足2<2k><2kp.该算法的计算量为O(log<,2><3>n).然后给出了生成一个大素数p使得p-1有大的素因子q的算法,其中q满足q>(p-1)/log<,2>(p-1).特别地,给出了检验并生成一个安全素数p的算法,并找到了乘群Z<,p><*>的所有生成元.第三部分,作者证明了以下结果:设a、b是大整数,且(a,b)=1.如果Diophantine方程ax+by=z有满足以下条件的解(x,y,z):|x<,0>|=O(log<,2>ab),|y<,0>|=O(log<,2>ab),|z<,0>|=O(log<,2>ab).那么存在一个计算量为O(log<,2><6>n)的多项式时间算法分解大数n=ab.
其他文献
该文在简单回顾非寿险风险模型研究历史的基础上建立了一个基于进入过程的风险模型.我们利用点过程的理论和方法研究了索赔数过程,风险过程和在保人数过程的特征(随机强度过
解病态(ill-conditioned)线性问题的理论和算法是数值代数领域的一个重要而又非常困难的问题。在解该问题中经常会遇到带参数的位移线性系统。本硕士论文着力讨论解形如(ATA+
当前,中小学生作文普遍存在“言之无物”和“言之无文”的弊端,一个重要的原因是作文教学缺乏“细节”意识的培养和“细节”表现技巧的锤炼.rn所谓细节,是对人物、环境的某一
为数值求解刚性微分方程初值问题,已经构造了许多方法.其中改进的二阶导数法[1]是一类很重要的方法,它不但可以获得较高的精度阶,而且可以得到较大的稳定性区域,其缺点是它所
本文研究了人工神经网络在数值优化中的应用,针对不同类型的问题构建了相应的神经网络模型。对于无约束优化问题,给出了BFGS和PRP神经网络模型和数值试验。此外,还第一次将“障
忠实平衡自正交双模是模类里的一种重要的研究对象。它广泛运用于倾斜模和余倾斜模理论及CM-环理论中。本文主要研究与忠实平衡自正交双模相关的模的性质。本文分为三个部分
Logistic回归模型是一种常用的广义线性模型,在医学、环境、社会科学以及经济学等方面有着广泛的应用。本文主要分成三个部分:第一部分详细地讨论了Logistic回归模型的定义、估
学位
Extreme learning machine(ELM), as a new learning framework, draws increasing attractions in the areas of large-scale computing, high-speed signal processing, ar
高中语文是学生时期重要的一门课程,而写作又是语文中的必不可少的一项内容.在进行高中语文写作教学方面,采取有效的教学方法,利于教学效果的提高.本文主要研究了有效的小组