Non-convex mixed-integer nonlinear programming: A survey

S Burer, AN Letchford - Surveys in Operations Research and Management …, 2012 - Elsevier
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 …

Most tensor problems are NP-hard

CJ Hillar, LH Lim - Journal of the ACM (JACM), 2013 - dl.acm.org
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 …

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 …

Chordal networks of polynomial ideals

D Cifuentes, PA Parrilo - SIAM Journal on Applied Algebra and Geometry, 2017 - SIAM
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 …

Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz

JA De Loera, J Lee, PN Malkin, S Margulies - Journal of Symbolic …, 2011 - Elsevier
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 …

Recognizing graph theoretic properties with polynomial ideals

JA De Loera, C Hillar, PN Malkin, M Omar - arxiv preprint arxiv:1002.4435, 2010 - arxiv.org
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 …

Approximating amoebas and coamoebas by sums of squares

T Theobald, T De Wolff - Mathematics of Computation, 2015 - ams.org
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 …

[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 …

Graph-coloring ideals: Nullstellensatz certificates, Gröbner bases for chordal graphs, and hardness of Gröbner bases

JA De Loera, S Margulies, M Pernpeintner… - Proceedings of the …, 2015 - dl.acm.org
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 …

[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 …