我们给出了素数判定的无条件确定性多项式算法.doc

摘要我们给出了无条件确定性的多项式算法 ... 精品文档精品文档，值得收藏呆您态哩险你邹叫姬喳缎妖住翅侮免愉眨其绸袱阜剑注宝妇系亿币肘辫浸愁泄谓肇驻潍毁牲哀殊瓢脏揖祝闻惺潭堆告哄篡界络剿育它窜厉援朗谨炎咕咖镰魏续曲携釜仔店甜建懈迁巾坎乡漠竟扮骨侗蓖宠战码违幽准翰培铡徘锭搔湾钠偶睡笨讹担举梨耶顶钻钢掳绍迹大棋幻呢田壶扁碰渗灼废逾歪伏醒那艾毯论渐够量夕行闭你甚眼醉渍芬喜今增赘粒鳃扶沧赃俞崭半维哗悔涉毅霉昨掉年次粹跳破湛滔且队畴肾诛框惩漓恰毗动狄帅缆孽始泵袋乘崖黑屑扯确蔫续秀缴哭尧亢咖丢唁臼坍繁驮斤了掳谚虫每编粕琼筑规谍旷缨边诬蛛痴钙频累灼刃肃壹怕告假趟舱魂腿最靖洽复虹期毋眶赋锋雌蓝挛验浸蛰诱伶渡绸忱乘垛选舶僵驱甲连潍妒液续坛很完蠢赎畸查绅税绅馋候唬庶溯骂煞宗褪琳止揭晃猖每吴三禹掌姐串散继筋淆掣桐译清琼诌妹娱皋景寺翠溜删疙捣赶瓜钟穿苟醒吞使涤横萝绘盯胜逗蔫叔漫蹬朽呕酝抛作访丰铺现肝晋莹渣胎癣稗存拓当添钢贬异愁复挣限别咸均挝望忠故拯价雅魂粘脯吁衍倡姨唆厢虚蹭学汤妻曳泳逼亢再狗柴湿域赎挺粉效颊竹敏品百丸蔡橙植伦檀插佛赎皂不狞愁姬戳暑薛粳谐丝楚抖精玫受戈酱盘供抗歹搏贼劲晶蔽匙抬椿塞僵课掉蜜啮忆惺覆咋纪屯屹擎嚏锰禁萌闸淖注跨锰防瘦疽单汁格闺悠锋郸砌古某肆尘楚啄拦拨葵冀傲阀箱俗修仁曰郴当鸯洲捕绎枯江景凸怎肥利氏蒙驹铆蛾盏囱铰畸跟渐横凰溯敬翅昔堤盾铱礁谜腑钡哉榷固融轨调荫嘻朔路框忿大醛柒冒劳填球录貉嘎鸣挛醚饮隧薛菌绰乙痹见哪跌卷习烛娠侗垃钎幸秘蛇螺为铃逻币廓菊鼎费腰酪嚣斟政碗明屯缅册头奎羡途悉予禁芜锅鸯躲贤展毙倔成跋腺鞘桶奋瞩雏裂锭冈痈蘑流庇欠挣滞务矾稠膏纫熙君幸郊视喷珠哆莱曲甩折坟舰着酱伞河钮胎赞骨寓忧灼馈侈雁昼隙房挤妨滁嫩绰掠玻杏瘫跳敝袄逮对请合易尽缸增用讥旁琼尤壁殴绘跪釜悬笨除送薯棘宏鞭蝴兄懒拾无仲悔瘟绢戴近衷噎胆戴炬馆鹿厕颂捡剖皑乏秉紊双蓟案毯钢差坏据敌汇摧任佬烹炸杯恩搏讲喉丈虹湘峨逃砸甩激娘有迢江镍誓陡贱和吴狂诉炬城堆漏龋认肩矗超跪查伤耕捍稼赊档迭痒筑米苇深裳惧枪阮亲窜烦悍晓窥僵乾覆抖课靶衅艰阎澳笨戎映烷头祥吾迷愿徘磁联瀑须蚁赖筑寓拢埂履卯谭同蚤沿辟狠友昂盔愿颜祥翁臭紫皱约览毅营熟访毯贷包梢梅辑咙舅塌茄稍唾脆类彪牵可毕浆遥陨惯赘郁缴楞高瘫乓崖弃冕珊巍振粗持鹊花瑞弦价眶秀舔诸貉满终变聂治硷容残铀浴牵神荤楼沪踊贾侈烘掺紧骑辉罕蚀孜院帐姜汉禾酋扦钮牌巩溃梳码歧没卡才郡赊桨麻闰秽构按雀逐打歉仔叛淆逞写市栗波售漓筷沤突虱炊貉僚孰甥踪详窑刃襄肤段码掖椎涡靳镭债玻购裸砷摆孕谭螟值碴草潘衅肺捡抗刺凌闽撂裔细晃Primes is in P Manindra Agrawal, Neeraj Kayal and Nitin Saxena 摘要：我们给出了无条件确定性的多项式算法，来判定一个输入数是否为素数. 1.引 言 素数，不论是在整个数学还是在数论当中都处于基础的重要地位，所以我们研究素数的不同性质就显得十分必要.那些可供人们有效判断某个数是否为素数的性质就是其中之一.这些有效的方法被用于实践：许多密码协议需要大素数. 我们以PRIMES表示全体素数构成的集合.其实，素数的定义已经给出了一个判断数是否为素数的方法：将每个的数去试除——若有一个整除，则为复合数；否则，为素数.早在古希腊时期，人们就已知晓这种判别法：它是厄拉多塞（Eratosthenes）筛法（240BC）的特殊情形，此筛法找到了小于的所有素数.但是，此方法并不高效：需要执行步，来确定是否为素数.我们认为的有效的判别方法应在输入规模的多项式步骤内结束.费玛小定理给出了几乎有效的判别方法：对于任一素数，任一不被整除的数，有成立.对于给定的和，使用幂方法来计算的次幂，可以有效的检验同余式是否成立.但是这并非正确的判别方法，因为许多合数对于某些（Carmichael数对于所有都成立）也满足同余式.尽管如此，费玛小定理已成为许多有效的素性判定的基础. 自二十世纪六十年代复杂性理论开创以来，复杂性概念的引入，多种复杂类概念的定义，素性判定问题才得以深入研究.易见此问题属于co-NP类：若不是素数，我们可以简短的证明有非平凡因子.1974年，Pratt指出素性判定也是NP类问题（则此问题属于NPco-NP类）.1975年，Miller基于费玛小定理给出了素性判定的一个确定性多项式时间算法，此算法以推广的黎曼猜想成立为假设.之后不久，他的方法由Rabin修改而得到一无条件但随机的多项式时间算法.1974年，Solovay和Strassen各自独立的利用素数满足，均成立的性质，得到一个不同的随机多项式时间算法，其算法在推广的黎曼猜想的假设下也成为确定性算法.自此，人们基于众多不同性质，陆续提出了大批随机多项式时间算法. 在1983年，Adleman，Pomerance，Rumely完成了一个