Choosing the Variable Ordering for Cylindrical Algebraic Decomposition Via Exploiting Chordal Structure.
Haokun Li,Bican Xia,Huiying Zhang,Tao Zheng
DOI: https://doi.org/10.1016/j.jsc.2022.10.009
IF: 0.97
2023-01-01
Journal of Symbolic Computation
Abstract:As is well-known, the choice of variable ordering while computing cylindrical algebraic decomposition (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”, PEO), naturally preserve chordality, which is well compatible with an important (variable) sparsity pattern called “the correlative sparsity”. If the associated graph of the polynomial system in question is chordal (resp., is nearly chordal), then a PEO of the associated graph (resp., of a minimal chordal completion of the associated graph) can be a better variable ordering for the CAD computation than other naive variable orderings in the sense that it results in a much smaller full set of projection polynomials and thus more efficient computation. A new (m,d)-property of the full set of CAD projection polynomials obtained via a PEO is given, which indicates that when the corresponding perfect elimination tree has a lower height, the full set of projection polynomials also tends to have a smaller “size”. Furthermore, combining the lower-tree-height rule with Brown's heuristics, a new procedure is proposed to choose better PEOs for CAD computation.