# Item

ITEM ACTIONSEXPORT

Released

Report

#### Generalized and improved constructive separation bound for real algebraic expressions

##### MPS-Authors

##### Locator

There are no locators available

##### Fulltext (public)

2000-1-004

(Any fulltext), 10KB

##### Supplementary Material (public)

There is no public supplementary material available

##### Citation

Mehlhorn, K., & Schirra, S.(2000). *Generalized and improved
constructive separation bound for real algebraic expressions* (MPI-I-2000-1-004). Saarbrücken: Max-Planck-Institut
für Informatik.

Cite as: http://hdl.handle.net/11858/00-001M-0000-0014-6D56-E

##### Abstract

We prove a separation bound for a large class of algebraic expressions
specified by expression dags.
The bound applies to expressions whose leaves are integers
and whose internal nodes are additions, subtractions, multiplications,
divisions, $k$-th root operations for integral $k$, and taking roots of
polynomials whose coefficients are given by the values of subexpressions.
The (logarithm of the)
new bound depends linearly on the algebraic degree of the expression.
Previous bounds applied to a smaller class of expressions and did not
guarantee linear dependency.
\ignore{In~\cite{BFMS} the dependency was quadratic.
and in the Li-Yap bound~\cite{LY} the dependency is usually linear, but may be
even worse than quadratic.}