A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set

From MaRDI portal
Publication:464735



Abstract: We consider the problem of computing the minimum of a polynomial function g on a basic closed semialgebraic set E in R^n. We present a probabilistic symbolic algorithm to find a finite set of sample points of the subset E^{min} of E where the minimum of g is attained, provided that E^{min} is non-empty and has at least one compact connected component.


The algorithm FindingMinimum is elaborated in order to find at least one point of a closed semi-algebraic subset of \(\mathbb{R}^{n}\), in which a given polynomial function attains a minimum value. The set of all minimum points is supposed to have at least one compact connected component. The probabilistic symbolic algorithm FindingMinimum is based on the deformation techniques, overcoming the difficulties that arise in the Lagrange multipliers method and in other known techniques. The main subroutines of this algorithm are descriptively named as: GeometricResolution, MinimumInGeometricResolution, ComparingMinima. Their complexity bounds are estimated, which leads to results on the complexity bounds of the whole algorithm.



Cites work



Describes a project that uses

Uses Software






This page was built for publication: A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q464735)