Abstract:In this paper we study the subset sum problem with real numbers. Starting from the given problem, we formulate a quadratic maximization problem over a polytope, P, which is eventually written as a distance maximization to a fixed point over the polytope. Next, starting from the obtained polytope, we construct an intersection of balls which includes the polytope and show that in case the subset sum problem has a solution we can find it by maximizing the distance to the fixed point over the intersection of balls. That is, we show that the points which maximize the distance to the fixed point over the polytope are the same points which maximize the distance to the fixed point over the constructed intersection of balls. For the latter problem we give an original result which allows the characterization of the optimum points as follows: with the centers of the balls and the said fixed point we form a function whom sublevel sets are polytopes. As such we obtain a uni-parameter, family of polytopes. We show that by increasing this parameter from 0 to a finite maximum value (which is computed through a convex optimization problem), the polytopes in the family evolve from initially containing the intersection of balls towards three possible outcomes: a) included in the interior of the intersection of balls b) included in the interior of the complementary of the intersection of balls c) the border of the intersection of balls and the polytope of maximum parameter share at least a point. Then we show that the maximum distance to the fixed point over the intersection of balls is given by a) the smallest parameter for which the polytopes enter the intersection of balls, b) the largest parameter for which the polytopes still share points with the intersection of balls c) the maximum value of the parameter. ...

Computing with Semi-Algebraic Sets: Relaxation Techniques and Effective Boundaries

Computing with Semi-Algebraic Sets Represented by Triangular Decomposition

Triangular Decomposition of Semi-algebraic Systems

On Solving Parametric Polynomial Systems

Solving parameter-dependent semi-algebraic systems

Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets

Process Analysis On Multiple Solutions Of Semi Algebraic Systems

Real Solution Classification for Parametric Semi-Algebraic Systems.

Bounds on the infimum of polynomials over a generic semi-algebraic set using asymptotic critical values

Software Engineering and Complexity in Effective Algebraic Geometry

Algorithmic analysis on a class of Boolean equations

Semantics of Division for Polynomial Solvers

A Semi-Algebraic Approach for the Computation of Lyapunov Functions

A Polynomial Algorithm for Some Relaxed Subset Sum Problems with Real Numbers

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis

Linear Programming Relaxations of Quadratically Constrained Quadratic Programs

Solving Parametric Semi-Algebraic Systems

Semi-algebraic triangulation over p-adically closed fields

Last fall degree of semi-local polynomial systems

Deciding Nonnegativity of Polynomials by MAPLE.

Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification