Solving a class of semidefinite programs via nonlinear programming

被引:33
作者
Burer, S [1 ]
Monteiro, RDC
Zhang, Y
机构
[1] Univ Iowa, Dept Management Sci, Iowa City, IA 52242 USA
[2] Georgia Inst Technol, Sch ISyE, Atlanta, GA 30332 USA
[3] Rice Univ, Dept Computat & Appl Math, Houston, TX 77005 USA
关键词
transformation; semidefinite program; semidefinite relaxation; nonlinear programming; first-order methods; log-barrier algorithms; interior-point methods;
D O I
10.1007/s101070100279
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In this paper, we introduce a transformation that converts a class of linear and nonlinear semidefinite programming (SDP) problems into nonlinear optimization problems. For those problems of interest, the transformation replaces matrix-valued constraints by vector-valued ones, hence reducing the number of constraints by an order of magnitude. The class of transformable problems includes instances of SDP relaxations of combinatorial optimization problems with binary variables as well as other important SDP problems. We also derive gradient formulas for the objective function of the resulting nonlinear optimization problem and show that both function and gradient evaluations have affordable complexities that effectively exploit the sparsity of the problem data. This transformation, together with the efficient gradient formulas, enables the solution of very large-scale SDP problems by gradient-based nonlinear optimization techniques. In particular, we propose a first-order log-barrier method designed for solving a class of large-scale linear SDP problems. This algorithm operates entirely within the space of the transformed problem while still maintaining close ties with both the primal and the dual of the original SDP problem. Global convergence of the algorithm is established under mild and reasonable assumptions.
引用
收藏
页码:97 / 122
页数:26
相关论文
共 19 条
[1]   Solving large-scale sparse semidefinite programs for combinatorial optimization [J].
Benson, SJ ;
Ye, YY ;
Zhang, X .
SIAM JOURNAL ON OPTIMIZATION, 2000, 10 (02) :443-461
[2]   A projected gradient algorithm for solving the maxcut SDP relaxation [J].
Burer, S ;
Monteiro, RDC .
OPTIMIZATION METHODS & SOFTWARE, 2001, 15 (3-4) :175-200
[3]  
BURER S, 2001, UNPUB MATH PROGRAM B
[4]  
BURER S, IN PRESS COMPUTATION
[5]   LAPLACIAN EIGENVALUES AND THE MAXIMUM CUT PROBLEM [J].
DELORME, C ;
POLJAK, S .
MATHEMATICAL PROGRAMMING, 1993, 62 (03) :557-574
[6]   Exploiting sparsity in primal-dual interior-point methods for semidefinite programming [J].
Fujisawa, K ;
Kojima, M ;
Nakata, K .
MATHEMATICAL PROGRAMMING, 1997, 79 (1-3) :235-253
[7]   Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming [J].
Goemans, MX ;
Williamson, DP .
JOURNAL OF THE ACM, 1995, 42 (06) :1115-1145
[8]  
Golub G. H., 2013, Matrix Computations
[9]   A spectral bundle method for semidefinite programming [J].
Helmberg, C ;
Rendl, F .
SIAM JOURNAL ON OPTIMIZATION, 2000, 10 (03) :673-696
[10]  
HOMER S, 1995, DESIGN PERFORMANCE P