[论文解读] Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases

David J. D. Wilson, Russell Bradford+1 more|arXiv (Cornell University)|May 29, 2012

Polynomial and algebraic computation参考文献 11被引用 14

一句话总结

本文提出通过在等式和不等式上使用格罗布纳基预处理多项式系统，以加速柱状代数分解（CAD）。结果表明，对等式进行格罗布纳约化可显著降低CAD的复杂度和计算时间，而基于等式约束对不等式进行约化始终有益，能实现更快、更高效的分解，且性能无下降。

ABSTRACT

Gröbner Bases and Cylindrical Algebraic Decomposition are generally thought of as two, rather different, methods of looking at systems of equations and, in the case of Cylindrical Algebraic Decomposition, inequalities. However, even for a mixed system of equalities and inequalities, it is possible to apply Gröbner bases to the (conjoined) equalities before invoking CAD. We see that this is, quite often but not always, a beneficial preconditioning of the CAD problem. It is also possible to precondition the (conjoined) inequalities with respect to the equalities, and this can also be useful in many cases.

研究动机与目标

• 研究格罗布纳基预处理是否能加速多项式方程与不等式组的柱状代数分解（CAD）。
• 评估格罗布纳约化对CAD问题中等式与不等式部分的影响。
• 确定将格罗布纳基与CAD结合是否能在多种代数问题中实现一致的性能提升。
• 识别在CAD执行前选择最优预处理策略的有效启发式方法。

提出的方法

• 对CAD问题中的多项式等式集合计算格罗布纳基，以在分解前简化系统。
• 利用格罗布纳约化通过消除变量或降低次数，基于等式约束简化不等式。
• 通过多个基准测试中的TNoI（不一致单元总数）和执行时间度量性能提升。
• 将混合方法（格罗布纳基 + CAD）与标准CAD及其他方法（如部分CAD的量化消除）进行比较。
• 使用Maple 16和QEPCAD B在受控条件下实现并基准化所有方法。
• 通过单元数量和时间指标分析变量排序与分解复杂度的影响。

实验结果

研究问题

• RQ1 使用格罗布纳基对CAD问题中的等式进行预处理，是否能显著减少计算时间和单元数量？
• RQ2 基于等式的格罗布纳基对不等式进行约化，是否能进一步提升CAD效率？
• RQ3 是否存在格罗布纳预处理反而降低CAD性能的情况？还是其始终有益？
• RQ4 TNoI指标与实际CAD性能的相关性如何？能否指导最优预处理选择？
• RQ5 格罗布纳计算的相对成本与CAD性能提升相比如何？在何种情况下该权衡是合理的？

主要发现

• 对等式进行格罗布纳基预处理可一致减少CAD的执行时间和单元数量，某些情况下减少高达70%。
• 基于等式约束对不等式进行格罗布纳约化从不会恶化性能，且在复杂系统中常带来显著加速。
• 在双球体与圆柱体示例中，使用格罗布纳约化后，TNoI从8降至4，时间从8654ms降至270ms。
• 在[CMMXY09]循环-4示例中，混合方法将时间从1000多秒减少至5877ms，表现出显著改进。
• TNoI指标被发现比[DSS04]中的先前指标更能准确预测CAD性能，尤其在公式选择方面。
• 格罗布纳计算的成本通常远低于CAD时间，使预处理成为一种极为有效的优化策略。