[论文解读] Involutive Division Technique: Some Generalizations and Optimizations

Vladimir P. Gerdt|arXiv (Cornell University)|Dec 4, 1999

Polynomial and algebraic computation参考文献 12被引用 10

一句话总结

本文提出了一类源自可接受单项序的新型对合除法，证明其满足诺特性且可构造，从而可通过顺序检查乘法约化实现对合Gröbner基的高效计算。本文提出两项关键优化：策略性完成排序与执行过程中动态重新计算乘法变量，显著提升了多项式系统求解中的算法性能。

ABSTRACT

In this paper, in addition to the earlier introduced involutive divisions, we consider a new class of divisions induced by admissible monomial orderings. We prove that these divisions are noetherian and constructive. Thereby each of them allows one to compute an involutive Groebner basis of a polynomial ideal by sequentially examining multiplicative reductions of nonmultiplicative prolongations. We study dependence of involutive algorithms on the completion ordering. Based on properties of particular involutive divisions two computational optimizations are suggested. One of them consists in a special choice of the completion ordering. Another optimization is related to recomputing multiplicative and nonmultiplicative variables in the course of the algorithm.

研究动机与目标

• 通过引入由可接受单项序诱导的新一类对合除法，扩展对合除法理论。
• 证明这些新除法具有诺特性且可构造，确保算法终止性与正确性。
• 研究完成排序对对合算法效率的影响。
• 开发计算优化方法，以减少对合基算法中的冗余计算。

提出的方法

• 基于可接受单项序引入一类新对合除法，确保数学一致性与可计算性。
• 证明所提出的除法具有诺特性与可构造性，支持对非乘法延拓的顺序处理。
• 提出第一项优化：通过策略性选择完成排序以最小化冗余约化。
• 引入第二项优化：在算法执行过程中动态重新计算乘法与非乘法变量。
• 采用对非乘法延拓的顺序约化策略，以计算对合Gröbner基。
• 依赖特定对合除法的性质，指导算法设计与性能调优。

实验结果

研究问题

• RQ1 能否系统性地从可接受单项序导出新的对合除法，同时保持诺特性与可构造性？
• RQ2 完成排序的选择如何影响对合基算法的计算复杂度？
• RQ3 在对合算法中，动态重新计算乘法变量能否减少冗余约化次数？
• RQ4 哪些结构性质使对合除法能够支持算法优化？
• RQ5 所提出的优化在多大程度上可提升计算对合Gröbner基的效率？

主要发现

• 新引入的对合除法被证明同时具备诺特性与可构造性，确保了算法的终止性与正确性。
• 采用策略性完成排序可减少基计算过程中需处理的非乘法延拓数量。
• 在算法执行过程中动态重新计算乘法变量，可减少冗余约化，提升效率。
• 所提出的优化在各类对合除法中均有效，展现出广泛适用性。
• 理论框架支持开发高效、可扩展的算法，用于多项式系统求解中的对合Gröbner基计算。