Abstract:In pure integer linear programming it is often desirable to work with polyhedra that are full-dimensional, and it is well known that it is possible to reduce any polyhedron to a full-dimensional one in polynomial time. More precisely, using the Hermite normal form, it is possible to map a non full-dimensional polyhedron to a full-dimensional isomorphic one in a lower-dimensional space, while preserving integer vectors. In this paper, we extend the above result simultaneously in two directions. First, we consider mixed integer vectors instead of integer vectors, by leveraging on the concept of "integer reflexive generalized inverse." Second, we replace polyhedra with convex quadratic sets, which are sets obtained from polyhedra by enforcing one additional convex quadratic inequality. We study structural properties of convex quadratic sets, and utilize them to obtain polynomial time algorithms to recognize full-dimensional convex quadratic sets, and to find an affine function that maps a non full-dimensional convex quadratic set to a full-dimensional isomorphic one in a lower-dimensional space, while preserving mixed integer vectors. We showcase the applicability and the potential impact of these results by showing that they can be used to prove that mixed integer convex quadratic programming is fixed parameter tractable with parameter the number of integer variables. Our algorithm unifies and extends the known polynomial time solvability of pure integer convex quadratic programming in fixed dimension and of convex quadratic programming.

A Polynomial Case of Convex Integer Quadratic Programming Problems with Box Integer Constraints.

A polynomial case of the cardinality-constrained quadratic optimization problem

Solving Convex Quadratic Programming by Potential-Reduction Interior-Point Algorithm

Convex quadratic sets and the complexity of mixed integer convex quadratic programming

Fast Algorithm for Singly Linearly Constrained Quadratic Programs with Box-Like Constraints

The Bipartite Quadratic Assignment Problem and Extensions

Parametric Integer Programming in Fixed Dimension

A discrete dynamic convexized method for nonlinear integer programming

Polynomially Solvable Cases Of Binary Quadratic Programs

A Mixed-Binary Convex Quadratic Reformulation for Box-Constrained Nonconvex Quadratic Integer Program

Convexification of box-constrained polynomial optimization problems via monomial patterns

A polynomially solvable case of unconstrained (-1,1)-quadratic fractional optimization

A New Branch and Bound Algorithm for Integer Quadratic Programming Problems

Fix and Bound: An efficient approach for solving large-scale quadratic programming problems with box constraints

A new variable reduction technique for convex integer quadratic programs

Convex Relaxation and Lagrangian Decomposition for Indefinite Integer Quadratic Programming

An Eigenvalue Decomposition Based Branch-and-bound Algorithm for Nonconvex Quadratic Programming Problems with Convex Quadratic Constraints

Discrete Dynamic Convexized Method for Nonlinearly Constrained Nonlinear Integer Programming

A Barrier Function Method for the Nonconvex Quadratic Programming Problem with Box Constraints

Space-Efficient Algorithm for Integer Programming with Few Constraints

An Approximate Dynamic Programming Approach to Convex Quadratic Knapsack Problems