A special reformulation-linearization technique based linear conic relaxation is proposed for discrete quadratic programming (DQP). We show that the proposed relaxation is tighter than the traditional positive semidefinite programming relaxation. More importantly, when the proposed relaxation problem has an optimal solution with rank one or two, optimal solutions to the original DQP problem can be explicitly generated. This rank-two property is further extended to binary quadratic optimization problems and linearly constrained DQP problems. Numerical results indicate that the proposed relaxation is capable of providing high quality and robust lower bounds for DQP.A special reformulation-linearization technique based linear conic relaxation is proposed for discrete quadratic programming (DQP). We show that the proposed relaxation is tighter than the traditional positive semidefinite programming relaxation. More importantly, when the proposed relaxation problem has an optimal solution with rank one or two, optimal solutions to the original DQP problem can be explicitly generated. This rank-two property is further extended to binary quadratic optimization problems and linearly constrained DQP problems. Numerical results indicate that the proposed relaxation is capable of providing high quality and robust lower bounds for DQP.

Optimization methods & softwareJan 28, 201612 citations

Binary Unconstrained Quadratic Optimization Problem

Gary A. Kochenberger, Fred Glover, Haibo Wang

Springer eBooksJan 1, 20137 citations

Generating Cutting Inequalities Successively for Quadratic Optimization Problems in Binary Variables

Sunyoung Kim, Masakazu Kojima

We propose a successive generation of cutting inequalities for binary quadratic optimization problems. Multiple cutting inequalities are successively generated for the convex hull of the set of the optimal solutions $\subset \{0, 1\}^n$ , while the standard cutting inequalities are used for the convex hull of the feasible region. An arbitrary linear inequality with integer coefficients and the right-hand side value in integer is considered as a candidate for a valid inequality. The validity of the linear inequality is determined by solving a conic relaxation of a subproblem such as the doubly nonnegative relaxation, under the assumption that an upper bound for the unknown optimal value of the problem is available. Moreover, the candidates generated for the multiple cutting inequalities are tested simultaneously for their validity in parallel. Preliminary numerical results on 60 quadratic unconstrained binary optimization problems with a simple implementation of the successive cutting inequalities using an 8- or 32-core machine show that the exact optimal values are obtained for 70\% of the tested problems, demonstrating the strong potential of the proposed technique.We propose a successive generation of cutting inequalities for binary quadratic optimization problems. Multiple cutting inequalities are successively generated for the convex hull of the set of the optimal solutions $\subset \{0, 1\}^n$, while the standard cutting inequalities are used for the convex hull of the feasible region. An arbitrary linear inequality with integer coefficients and the right-hand side value in integer is considered as a candidate for a valid inequality. The validity of the linear inequality is determined by solving a conic relaxation of a subproblem such as the doubly nonnegative relaxation, under the assumption that an upper bound for the unknown optimal value of the problem is available. Moreover, the candidates generated for the multiple cutting inequalities are tested simultaneously for their validity in parallel. Preliminary numerical results on 60 quadratic unconstrained binary optimization problems with a simple implementation of the successive cutting inequalities using an 8- or 32-core machine show that the exact optimal values are obtained for 70\% of the tested problems, demonstrating the strong potential of the proposed technique.

arXiv:2107.08665Jul 19, 20210 citations

A Characterization of Binary Quadratic Optimization Problems

최혜지

Jan 1, 20180 citations

\subset \{0, 1\}^n

, while the standard cutting inequalities are used for the convex hull of the feasible region. An arbitrary linear inequality with integer coefficients and the right-hand side value in integer is considered as a candidate for a valid inequality. The validity of the linear inequality is determined by solving a conic relaxation of a subproblem such as the doubly nonnegative relaxation, under the assumption that an upper bound for the unknown optimal value of the problem is available. Moreover, the candidates generated for the multiple cutting inequalities are tested simultaneously for their validity in parallel. Preliminary numerical results on 60 quadratic unconstrained binary optimization problems with a simple implementation of the successive cutting inequalities using an 8- or 32-core machine show that the exact optimal values are obtained for 70\% of the tested problems, demonstrating the strong potential of the proposed technique.