Abstract
Quadratic Convex Reformulation (QCR) is a technique that was originally proposed for quadratic 0–1 programs, and then extended to various other problems. It is used to convert non-convex instances into convex ones, in such a way that the bound obtained by solving the continuous relaxation of the reformulated instance is as strong as possible. In this paper, we focus on the case of quadratically constrained quadratic 0–1 programs. The variant of QCR previously proposed for this case involves the addition of a quadratic number of auxiliary continuous variables. We show that, in fact, at most one additional variable is needed. Some computational results are also presented.
Similar content being viewed by others
References
Anstreicher, K.M., Fampa, M., Lee, J., Williams, J.: Using continuous nonlinear relaxations to solve constrained maximum-entropy sampling problems. Math. Program. 85, 221–240 (1999)
Bai, L., Mitchell, J.E., Pang, J.-S.: Using quadratic convex reformulation to tighten the convex relaxation of a quadratic program with complementarity constraints. Optim. Lett. (Published online) (2013). doi:10.1007/s11590-013-0647-0
Billionnet, A., Elloumi, S.: Using a mixed-integer quadratic programming solver for the unconstrained quadratic 0–1 Problem. Math. Program. 109, 55–68 (2007)
Billionnet, A., Elloumi, S., Lambert, A.: Extending the QCR method to general mixed-integer programs. Math. Program. 131, 381–401 (2012)
Billionnet, A., Elloumi, S., Lambert, A.: Convex reformulations of integer quadratically constrained problems. Talk presented at the International Symposium on Mathematical Programming (ISMP), August (2012)
Billionnet, A., Elloumi, S., Plateau, M.-C.: Improving the performance of standard solvers for quadratic 0–1 programs by a tight convex reformulation: the QCR method. Discr. Appl. Math. 157, 1185–1197 (2009)
Borchers, B.: CSDP, a C library for semidefinite programming. Optim. Meth. Soft. 11, 613–623 (1999)
Burer, S., Saxena, A.: The MILP road to MIQCP. In: Lee, J., Leyffer, S. (eds.) Mixed-Integer Nonlinear Programming. IMA Volumes in Mathematics and its Applications, vol. 154, pp. 373–406. Springer, Berlin (2011)
Faye, A., Roupin, F.: Partial Lagrangian relaxation for general quadratic programming. 4OR 5, 75–88 (2007)
Fujie, T., Kojima, M.: Semidefinite programming relaxation for nonconvex quadratic programs. J. Glob. Opt. 10, 367–380 (1997)
Hammer, P.L., Rubin, A.A.: Some remarks on quadratic programming with 01 variables. RAIRO 3, 67–79 (1970)
Helmberg, C., Rendl, F.: Solving quadratic (0,1)-problems by semidefinite programs and cutting planes. Math. Program. 82, 291–315 (1998)
Körner, F.: On duality for Boolean programming. Eur. J. Oper. Res. 46, 399–403 (1990)
Lemaréchal, C., Oustry, F.: SDP relaxations in combinatorial optimization from a Lagrangian viewpoint. In: Hadjisawas, N., Pardalos, P.M. (eds.) Advances in Convex Analysis and Global Optimization. Kluwer, Dortrecht (2001)
Lovász, L., Schrijver, A.J.: Cones of matrices and set-functions and 0–1 optimization. SIAM J. Optim. 1, 166–190
Poljak, S., Rendl, F., Wolkowicz, H.: A recipe for semidefinite relaxation for (0,1)-quadratic programming. J. Global Opt. 7(51–73), 1991 (1995)
Ramana, M.: An Algorithmic Analysis of Multiquadratic and Semidefinite Programming Problems. PhD thesis, Johns Hopkins University, Baltimore (1993)
Roupin, F.: From linear to semidefinite programming: an algorithm to obtain semidefinite relaxations for bivalent quadratic problems. J. Comb. Opt. 8, 469–493 (2004)
Sherali, H.D., Adams, W.P.: A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems. Kluwer, Dordrecht (1998)
Shor, N.: Quadratic optimization problems. Sov. J. Comput. Syst. Sci. 25, 111 (1987)
Acknowledgments
The second author was partially supported by the Engineering and Physical Sciences Research Council under grant EP/D072662/1.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Galli, L., Letchford, A.N. A compact variant of the QCR method for quadratically constrained quadratic 0–1 programs. Optim Lett 8, 1213–1224 (2014). https://doi.org/10.1007/s11590-013-0676-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11590-013-0676-8