2012/05/29 by Joseph W. Norman, Norman, Joseph W.
Computer Science · Mathematics · #90C11 #90C26 #Advanced Optimization Algorithms Research #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.1205.6459
openalex publication_date 2012/05/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper describes an approximate method for global optimization of polynomial programming problems with bounded variables. The method uses a reformulation and linearization technique to transform the original polynomial optimization problem into a pair of mixed binary-linear programs. The solutions to these two integer-linear reformulations provide upper and lower bounds on the global solution to the original polynomial program. The tightness of these bounds, the error in approximating each polynomial expression, and the number of constraints that must be added in the process of reformulation all depend on the error tolerance specified by the user for each variable in the original polynomial program. As these error tolerances approach zero the size of the reformulated programs increases and the calculated interval bounds converge to the true global solution.