Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition

We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which seems largely independent of the underlying problem or CAD algorithm used. Rather, the distribution is inherent to the cylindrical structure an...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing s. 53 - 60
Hlavní autoři: Wilson, David, England, Matthew, Bradford, Russell, Davenport, James H.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.09.2014
Témata:
Buildings
cell distribution
Complexity theory
cylindrical algebraic decomposition
Design automation
heuristic
Polynomials
Prediction algorithms
problem formulation
Scientific computing
ISBN:9781479984473, 1479984477
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:We investigate the distribution of cells by dimension in cylindrical algebraic decompositions (CADs). We find that they follow a standard distribution which seems largely independent of the underlying problem or CAD algorithm used. Rather, the distribution is inherent to the cylindrical structure and determined mostly by the number of variables. This insight is then combined with an algorithm that produces only full-dimensional cells to give an accurate method of predicting the number of cells in a complete CAD. Since constructing only full-dimensional cells is relatively inexpensive (involving no costly algebraic number calculations) this leads to heuristics for helping with various questions of problem formulation for CAD, such as choosing an optimal variable ordering. Our experiments demonstrate that this approach can be highly effective.
ISBN:9781479984473
1479984477
DOI:10.1109/SYNASC.2014.15