PASCAL - Pattern Analysis, Statistical Modelling and Computational Learning

Complexity analysis of a semi-infinite optimization problem in interval arithmetic
Klaus Meer
Preprint 2004.


Many problems in interval arithmetic in a natural way lead to a quantifier elimination problem over the reals. By studying closer the precise form of the latter we show that in some situations it is possible to obtain a refined complexity analysis of the problem. This is done by structural considerations of the special form of the quantifiers and its implications for the analysis in a real number model of computation. Both can then be used to obtain as well new results in the Turing model. We exemplify our approach by dealing with a semi-infinite optimization problem.

Postscript - Requires a viewer, such as GhostView
EPrint Type:Article
Project Keyword:Project Keyword UNSPECIFIED
Subjects:Learning/Statistics & Optimisation
ID Code:48
Deposited By:Klaus Meer
Deposited On:04 June 2004