基于签名的尾部简化约减器的Gröbner基算法（M5GB）
摘要：组合M4GB和基于签名的方法的想法，提出了一种新的Gr"obner基算法，称为M5GB，它结合了两种方法的概念。在这种能力下，M5GB将用于消除冗余的S对的强签名标准与从M4GB借鉴的快速多项式约简概念相结合。我们提供了终止性和正确性的证明，并通过Mathic库提供了C++的概念验证实现。通过与最先进的基于签名的Gr"obner基算法（通过相同的库实现）进行比较，验证了我们对具有在文献中已进行比较并且也是密码分析挑战的二次超定义多项式系统的整体更快运行时的期望。
作者：Manuel Hauke, Lukas Lamster, Reinhard L"uftenegger, Christian Rechberger
论文ID：2208.00844
分类：Commutative Algebra
分类简称：math.AC
提交时间：2022-08-02