跳到主要内容

修改Faugère的F5算法以确保终止

出版:2011年7月25日出版历史
跳过抽象节

摘要

计算Gröbner基的F5算法的结构使其非常有效。然而,尚不清楚它是否对所有输入都终止,甚至对“常规序列”也是如此。本文分为两大部分。在第一部分中,我们详细描述了与终止证明相关的困难。在第二部分中,我们探讨了确保终止的三种变体。其中两个变量以前出现在论文中,并通过使用传统标准检查Gröbner基础来确保终止。第三个变量F5+使用第一部分分析中的“必要”和“冗余”关键对之间的区别来确定度界限。实验证据表明,第三种方法是三种方法中最有效的。

参考文献

  1. 格温诺尔·阿尔斯。Gröbnerála密码学基础的应用。雷恩一大学博士论文,2005年。谷歌学者谷歌学者
  2. Magali Bardet、Jean-Charles Faugère和Bruno Salvy。半正则方程组正则度的非对称展开。手稿下载自www-calfor.lip6.fr/~jcf/Papers/BFS05.pdf。谷歌学者谷歌学者
  3. Becker,T.、Weispfenning,V.和Kredel,H.Gröbner Bases。施普林格出版社,1993年。谷歌学者谷歌学者
  4. Bosma,W.、Cannon,J.和Playoust,C.马格玛代数系统。I.用户语言。符号计算杂志,24(3-4):235-2651997。http://magas.mathemats.usyd.edu.au/magas/。谷歌学者谷歌学者数字图书馆数字图书馆
  5. 迈克尔·布里肯斯坦(Michael Brickenstein)。Slimgb:带有细多项式的Gröbner基。Revista Matemática Complutense,23岁,2010年第2:453-466期。最终出版物见www.springerlink.com。谷歌学者谷歌学者交叉引用交叉引用
  6. Brickenstein,M.和Dreyer,A.PolyBoRi:使用布尔多项式进行Gröbner基计算的框架。符号计算杂志,44(9):1326--13452009年9月。谷歌学者谷歌学者数字图书馆数字图书馆
  7. Buchberger,B.Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomide。因斯布鲁克大学博士论文,1965年。谷歌学者谷歌学者
  8. Buchberger,B.Ein算法Kriterium für die Lösbarkeit eines代数系统。艾克。数学。,4(3):374--383, 1970.谷歌学者谷歌学者交叉引用交叉引用
  9. Buchberger,B.检测Gröbner碱基构建中不必要减少的标准。在79年的EUROSAM,符号和代数操作国际研讨会,计算机科学讲义第72卷,第3-21页。施普林格,1979年。谷歌学者谷歌学者数字图书馆数字图书馆
  10. Decker,W.、Greuel,G.-M.、Pfister,G.和Schönemann,H.奇异3-1-1——用于多项式计算的计算机代数系统,2010年。http://www.singular.uni-kl.de。谷歌学者谷歌学者
  11. Decker,W.和Lossen,C.《代数几何中的计算——奇异性的快速入门》。ACM 16,Springer Verlag,2006年。谷歌学者谷歌学者数字图书馆数字图书馆
  12. Eder,C.关于F5算法的准则。预印数学。AC/0804.20332008年。谷歌学者谷歌学者
  13. Eder,C.和Perry,J.F5C:具有减少Gröbner碱基的Faugère F5算法的变体。符号计算杂志,即将出版。dx.doi.org/10.1016/j.jsc.2010.06.019。谷歌学者谷歌学者数字图书馆数字图书馆
  14. 珍妮·查尔斯·福盖尔。Cryptochallenge 11被破坏或是对C*密码系统的有效攻击。技术报告,LIP6/巴黎大学,2005年。谷歌学者谷歌学者
  15. Faugère,J.-C.计算Gröbner基(F4)的一种新的高效算法。《纯粹与应用代数杂志》(Elsevier Science),139(1):61-881999年6月。谷歌学者谷歌学者
  16. Faugère,J.-C.一种新的高效算法,用于计算Gröbner基,而不必将F5降为零。在ISSAC 2002中,法国维伦纽夫·达斯克,第75-82页,2002年7月。修订版本自网址:http://fgbrs.lip6.fr/jcf/Publications/index.html。谷歌学者谷歌学者数字图书馆数字图书馆
  17. 关于Grobner基的有效计算。印第安纳大学博士论文,2008年。谷歌学者谷歌学者数字图书馆数字图书馆
  18. Gebauer,R.和Möller,H.M.关于Buchberger算法的安装。符号计算杂志,6(2-3):275--286,1988年10月/12月。谷歌学者谷歌学者数字图书馆数字图书馆
  19. Greuel,G.-M.和Pfister,G.交换代数的奇异导论。Springer Verlag,第二版,2007年。谷歌学者谷歌学者数字图书馆数字图书馆
  20. 丹尼尔·拉扎德。Gröbner基,高斯消去和代数方程组的分解。1983年,《欧洲计算机代数会议》(European Computer Algebra Conference)第162卷第146-156页,J.A.van Hulzen主编。谷歌学者谷歌学者数字图书馆数字图书馆
  21. F.S.麦考利。关于消除中的一些公式。伦敦数学学会学报,33(1):3-1902。谷歌学者谷歌学者交叉引用交叉引用
  22. 穆罕默德·赛义德·埃玛姆·穆罕默德(Mohamed Saied Emam Mohamed)、丹尼尔·卡巴卡斯(Daniel Cabarcas)、丁金泰(Jintai Ding)、约翰·布赫曼(Johannes Buchmann)和斯坦尼斯拉夫·布利金(Stanislav Bulygin)。MXL3:一种计算零维理想Gröbner基的有效算法。信息、安全和密码学——ICISC 2009,计算机科学讲义第5984卷,第87-100页。施普林格,2010年。谷歌学者谷歌学者数字图书馆数字图书馆
  23. Möller,H.M.、Traverso,C.和Mora,T.Gröbner使用syzygies进行计算。ISSAC 92:符号和代数计算国际研讨会论文,第320-328页,1992年。谷歌学者谷歌学者数字图书馆数字图书馆
  24. Stegers,T.Faugère的F5算法重温。硕士论文,达姆施塔特科技大学,2007年修订版。谷歌学者谷歌学者

索引术语

  1. 修改Faugère的F5算法以确保终止

      建议

      评论

      登录选项

      请检查您是否可以通过登录凭据或您的机构访问此文章以获得完全访问权限。

      登录

      完全访问权限

      • 发布于

        计算机代数中的覆盖图像ACM通信
        计算机代数中的ACM通信 第45卷,第1/2期
        2011年3月/6月
        138页
        国际标准编号:1932-2240
        内政部:10.1145/2016567
        期刊目录

        版权所有©2011作者

        发布者

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:2011年7月25日

        检查更新

        限定符

      PDF格式

      以PDF文件的形式查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器