Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure

作者：Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng · 年份：2021 · DOI：10.1145/3452143.3465520 · 被引用次数：7 · 研究领域：Polynomial and algebraic computation、Advanced Numerical Analysis Techniques、Computational Geometry and Mesh Generation

Cylindrical algebraic decomposition (CAD) plays an important role in the field of real algebraic geometry and many other areas. As is well-known, the choice of variable ordering while computing CAD has a great effect on the time and memory use of the computation as well as the number of sample points computed. In this paper, we indicate that typical CAD algorithms, if executed with respect to a special kind of variable orderings (called "the perfect elimination orderings''), naturally preserve chordality, which is well compatible with an important (variable) sparsity pattern called "the correlative sparsity''. Experimentation suggests that if the associated graph of the polynomial system in question is chordal (resp., is nearly chordal), then a perfect elimination ordering of the associated graph (resp., of a minimal chordal completion of the associated graph) can be a good variable ordering for the CAD computation. That is, by using the perfect elimination orderings, the CAD computation may produce a much smaller full set of projection polynomials than by using other naive variable orderings. More importantly, for the complexity analysis of the CAD computation via a perfect elimination ordering, an (m,d)-property of the full set of projection polynomials obtained via such an ordering is given, through which the "size'' of this set is characterized. This property indicates that when the corresponding perfect elimination tree has a lower height, the full set of projection poly...