[论文解读] A Variant of Gerdt's Algorithm for Computing Involutive Bases

Vladimir P. Gerdt, Amir Hashemi+1 more|arXiv (Cornell University)|Aug 16, 2011

Polynomial and algebraic computation参考文献 7被引用 3

一句话总结

本文提出Gerdt计算涉及基算法的简化变体，提升了清晰度与可实现性，同时保持正确性与终止性。该改进算法在多个基准测试中表现出更高的计算效率，尤其在减少内存使用和执行时间方面表现显著，复杂示例如Cyclic 6和Lichtblau中观察到显著提速。

ABSTRACT

Ihe first author presented an efficient algorithm for computing involutive (and reduced Groebner) bases. In this paper, we consider a modification of this algorithm which simplifies matters to understand it and to implement. We prove correctness and termination of the modified algorithm and also correctness of the used criteria. The proposed algorithm has been implemented in Maple. We present experimental comparison, via some examples, of performance of the modified algorithm with its original form which has been implemented in Maple too. In doing so, we have taken care to provide uniform implementation details for the both algorithms.

研究动机与目标

• 简化Gerdt原始算法以计算涉及基，提升其可理解性与可实现性。
• 证明改进算法的正确性与终止性，包括其检测无用约化的标准。
• 使用相同的实现细节在Maple中对比新变体与原始Gerdt算法的性能。
• 证明改进算法在各类多项式系统基准测试中保持或提升计算效率。

提出的方法

• 通过优先选择非乘法延拓并计算其完整约化形式，而非先对所有非乘法延拓进行首项约化，重新组织算法操作顺序。
• 整合Buchberger标准以及额外标准（C1、C2和重写标准），以检测并消除冗余约化。
• 使用统一的数据结构与选择策略，确保与原始算法的公平比较。
• 算法保持相同的单项式序（反向字典序），并使用相同的准则来剪枝不必要的计算。
• 利用涉及划分理论与Gröbner基性质，形式化证明正确性与终止性。
• 实现使用Maple编码，原始与改进算法采用相同的编程实践，以确保基准测试的公平性。

实验结果

研究问题

• RQ1 重新排序Gerdt算法的计算步骤是否能在不牺牲正确性的情况下，实现更简单、更易维护的实现？
• RQ2 与原始Gerdt算法相比，改进算法是否能在时间与内存使用方面实现更好的性能？
• RQ3 集成的标准（C1、C2与重写标准）在多大程度上能将约化次数减少至零并提升效率？
• RQ4 新变体在复杂度逐渐增加的多项式系统（如Cyclic 6与Katsura 6）中的性能表现如何扩展？

主要发现

• 在测试基准中，VarGerdt算法平均减少14.8%的CPU时间，Cyclic 6示例中减少高达75%（1313.88秒 vs. 2571.84秒）。
• VarGerdt的内存使用显著降低，Katsura 6案例中减少25%（16124.3 MB vs. 1632783.6 MB）。
• 在Cyclic 6系统中，VarGerdt算法消除了47次约化至零，而原始算法为476次，表明其剪枝效率更优。
• 在Lichtblau示例中，VarGerdt在111.21秒内完成，而原始Gerdt算法耗时超过8小时，展现出显著的性能提升。
• 在所有基准测试中，包括Cyclic 5、Sturmfels与Katsura 5，改进算法在时间和内存使用方面均表现出一致的改进。
• 中间多项式的最大次数在VarGerdt中保持相当或更低，表明多项式增长未出现退化。