Non-convex mixed-integer nonlinear programming: A survey
A wide range of problems arising in practical applications can be formulated as Mixed-
Integer Nonlinear Programs (MINLPs). For the case in which the objective and constraint …
Integer Nonlinear Programs (MINLPs). For the case in which the objective and constraint …
Most tensor problems are NP-hard
We prove that multilinear (tensor) analogues of many efficiently computable problems in
numerical linear algebra are NP-hard. Our list includes: determining the feasibility of a …
numerical linear algebra are NP-hard. Our list includes: determining the feasibility of a …
DSOS and SDSOS optimization: more tractable alternatives to sum of squares and semidefinite optimization
AA Ahmadi, A Majumdar - SIAM Journal on Applied Algebra and Geometry, 2019 - SIAM
In recent years, optimization theory has been greatly impacted by the advent of sum of
squares (SOS) optimization. The reliance of this technique on large-scale semidefinite …
squares (SOS) optimization. The reliance of this technique on large-scale semidefinite …
Chordal networks of polynomial ideals
We introduce a novel representation of structured polynomial ideals, which we refer to as
chordal networks. The sparsity structure of a polynomial system is often described by a …
chordal networks. The sparsity structure of a polynomial system is often described by a …
Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
Systems of polynomial equations with coefficients over a field K can be used to concisely
model combinatorial problems. In this way, a combinatorial problem is feasible (eg, a graph …
model combinatorial problems. In this way, a combinatorial problem is feasible (eg, a graph …
Recognizing graph theoretic properties with polynomial ideals
Many hard combinatorial problems can be modeled by a system of polynomial equations. N.
Alon coined the term polynomial method to describe the use of nonlinear polynomials when …
Alon coined the term polynomial method to describe the use of nonlinear polynomials when …
Approximating amoebas and coamoebas by sums of squares
Amoebas and coamoebas are the logarithmic images of algebraic varieties and the images
of algebraic varieties under the arg-map, respectively. We present new techniques for …
of algebraic varieties under the arg-map, respectively. We present new techniques for …
[BOOK][B] Topics in exact precision mathematical programming
DE Steffy - 2010 - search.proquest.com
Abstract The field of Mathematical Programming offers a range of tools and algorithms to
solve optimization problems. Software based on these ideas is used in many application …
solve optimization problems. Software based on these ideas is used in many application …
Graph-coloring ideals: Nullstellensatz certificates, Gröbner bases for chordal graphs, and hardness of Gröbner bases
We consider a well-known family of polynomial ideals encoding the problem of graph-k-
colorability. Our paper describes how the inherent combinatorial structure of the ideals …
colorability. Our paper describes how the inherent combinatorial structure of the ideals …
[BOOK][B] Computer algebra, combinatorics, and complexity: Hilbert's Nullstellensatz and NP-complete problems
S Margulies - 2008 - search.proquest.com
Abstract Systems of polynomial equations over an algebraically-closed field [special
characters omitted] can be used to concisely represent combinatorial decision problems. In …
characters omitted] can be used to concisely represent combinatorial decision problems. In …