메뉴 건너뛰기




Volumn 16, Issue 3, 2006, Pages 726-750

Solving lift-and-project relaxations of binary integer programs

Author keywords

Augmented Lagrangian; Integer programming; Lift and project relaxations; Semidefinite programming

Indexed keywords

AUGMENTED LAGRANGIAN; LIFT-AND-PROJECT RELAXATIONS; SEMIDEFINITE PROGRAMMING;

EID: 33747195800     PISSN: 10526234     EISSN: None     Source Type: Journal    
DOI: 10.1137/040609574     Document Type: Article
Times cited : (78)

References (41)
  • 2
    • 2942696007 scopus 로고    scopus 로고
    • Recent advances in the solution of quadratic assignment problems
    • K. M. ANSTREICHER, Recent advances in the solution of quadratic assignment problems, Math. Program., 97 (2003), pp. 27-42.
    • (2003) Math. Program. , vol.97 , pp. 27-42
    • Anstreicher, K.M.1
  • 3
    • 77957040455 scopus 로고
    • Disjunctive programming
    • E. BALAS, Disjunctive programming, Ann. Discrete Math., 5 (1979), pp. 3-51.
    • (1979) Ann. Discrete Math. , vol.5 , pp. 3-51
    • Balas, E.1
  • 4
    • 0000185277 scopus 로고
    • A lift-and-project cutting plan algorithm for mixed 0-1 programs
    • E. BALAS, S. CERIA, AND G. CORNUÉJOLS, A lift-and-project cutting plan algorithm for mixed 0-1 programs, Math. Program., 58 (1993), pp. 295-324.
    • (1993) Math. Program. , vol.58 , pp. 295-324
    • Balas, E.1    Ceria, S.2    Cornuéjols, G.3
  • 5
    • 0013152010 scopus 로고    scopus 로고
    • The volume algorithm: Producing primal solutions with a subgradient method
    • F. BARAHONA AND R. ANBIL, The volume algorithm: Producing primal solutions with a subgradient method, Math. Program., 87 (2000), pp. 385-399.
    • (2000) Math. Program. , vol.87 , pp. 385-399
    • Barahona, F.1    Anbil, R.2
  • 7
    • 14944344548 scopus 로고    scopus 로고
    • Subset algebra lift operators for 0-1 integer programming
    • D. BIENSTOCK AND M. ZUCKERBERG, Subset algebra lift operators for 0-1 integer programming, SIAM J. Optim., 15 (2004), pp. 63-95.
    • (2004) SIAM J. Optim. , vol.15 , pp. 63-95
    • Bienstock, D.1    Zuckerberg, M.2
  • 8
    • 0033295981 scopus 로고    scopus 로고
    • CSDP, a C library for semidefinite programming
    • B. BORCHERS, CSDP, a C library for semidefinite programming, Optim. Methods Softw., 11/12 (1999), pp. 613-623.
    • (1999) Optim. Methods Softw. , vol.11-12 , pp. 613-623
    • Borchers, B.1
  • 9
    • 1542337156 scopus 로고    scopus 로고
    • A nonlinear programming algorithm for solving semidefinite programs via low-rank factorization
    • S. BURER AND R. MONTEIRO, A nonlinear programming algorithm for solving semidefinite programs via low-rank factorization, Math. Program., 95 (2003), pp. 329-357.
    • (2003) Math. Program. , vol.95 , pp. 329-357
    • Burer, S.1    Monteiro, R.2
  • 10
    • 0001805769 scopus 로고    scopus 로고
    • QAPLIB - A quadratic assignment problem library
    • R. E. BURKARD, S. KARISCH, AND F. RENDL, QAPLIB - a quadratic assignment problem library, J. Global Optim., 10 (1997), pp. 391-403.
    • (1997) J. Global Optim. , vol.10 , pp. 391-403
    • Burkard, R.E.1    Karisch, S.2    Rendl, F.3
  • 11
    • 84958754907 scopus 로고    scopus 로고
    • Solving integer and disjunctive programs by lift-and-project
    • Proceedings of the Sixth International IPCO Conference, R. E. Bixby, E. A. Boyd, and R. Z. Rios-Mercato, eds.
    • S. CERIA AND G. PATAKI, Solving integer and disjunctive programs by lift-and-project, in Proceedings of the Sixth International IPCO Conference, Lecture Notes in Comput. Sci. 1412, R. E. Bixby, E. A. Boyd, and R. Z. Rios-Mercato, eds., 1998, pp. 271-283.
    • (1998) Lecture Notes in Comput. Sci. , vol.1412 , pp. 271-283
    • Ceria, S.1    Pataki, G.2
  • 12
    • 0035261799 scopus 로고    scopus 로고
    • On the matrix-cut rank of polyhedra
    • W. COOK AND S. DASH, On the matrix-cut rank of polyhedra, Math. Oper. Res., 26 (2001), pp. 19-30.
    • (2001) Math. Oper. Res. , vol.26 , pp. 19-30
    • Cook, W.1    Dash, S.2
  • 13
    • 5544308676 scopus 로고    scopus 로고
    • A class of hard small 0-1 programs
    • G. CORNUÉJOLS AND M. DAWANDE, A class of hard small 0-1 programs, INFORMS J. Comput., 11 (1999), pp. 205-210.
    • (1999) INFORMS J. Comput. , vol.11 , pp. 205-210
    • Cornuéjols, G.1    Dawande, M.2
  • 15
    • 84858944408 scopus 로고    scopus 로고
    • See the website: http://dimacs.rutgers.edu/Challenges/.
  • 16
    • 0001239494 scopus 로고
    • Duality in quadratic programming
    • W. S. DORN, Duality in quadratic programming, Quart. Appl. Math., 18 (1960/1961), pp. 155-162.
    • (1960) Quart. Appl. Math. , vol.18 , pp. 155-162
    • Dorn, W.S.1
  • 17
    • 0001703624 scopus 로고
    • Optimal and suboptimal algorithms for the quadratic assignment problem
    • P. C. GILMORE, Optimal and suboptimal algorithms for the quadratic assignment problem, J. Soc. Indust. Appl. Math., 10 (1962), pp. 305-313.
    • (1962) J. Soc. Indust. Appl. Math. , vol.10 , pp. 305-313
    • Gilmore, P.C.1
  • 18
    • 0035518191 scopus 로고    scopus 로고
    • When does the positive semidefiniteness constraint help in lifting procedures?
    • M. X. GOEMANS AND L. TUNÇEL, When does the positive semidefiniteness constraint help in lifting procedures?, Math. Oper. Res., 26 (2001), pp. 796-815.
    • (2001) Math. Oper. Res. , vol.26 , pp. 796-815
    • Goemans, M.X.1    Tunçel, L.2
  • 19
    • 0002707458 scopus 로고
    • An algorithm for integer solutions to linear programs
    • R. Graves and P. Wolfe, eds., McGraw-Hill, New York
    • R. E. GOMORY, An algorithm for integer solutions to linear programs, in Recent Advances in Mathematical Programming, R. Graves and P. Wolfe, eds., McGraw-Hill, New York, 1963, pp. 269-302.
    • (1963) Recent Advances in Mathematical Programming , pp. 269-302
    • Gomory, R.E.1
  • 22
    • 0000949961 scopus 로고    scopus 로고
    • A dual framework for lower bounds of the quadratic assignment problem based on linearization
    • S. E. KARISCH, E. ÇELA, J. CLAUSEN, AND T. ESPERSEN, A dual framework for lower bounds of the quadratic assignment problem based on linearization, Computing, 63 (1999), pp. 351-403.
    • (1999) Computing , vol.63 , pp. 351-403
    • Karisch, S.E.1    Çela, E.2    Clausen, J.3    Espersen, T.4
  • 24
    • 39649093787 scopus 로고    scopus 로고
    • An explicit exact SDP relaxation for nonlinear 0-1 programs
    • K. Aardal and A. M. H. Gerards, eds.
    • J. B. LASSERRE, An explicit exact SDP relaxation for nonlinear 0-1 programs, in Lecture Notes in Comput. Sci., 2081, K. Aardal and A. M. H. Gerards, eds., 2001, pp. 293-303.
    • (2001) Lecture Notes in Comput. Sci. , vol.2081 , pp. 293-303
    • Lasserre, J.B.1
  • 25
    • 0036013026 scopus 로고    scopus 로고
    • Tighter linear and semidefinite relaxations for max-cut based on the Lovász-Schrijver lift-and-project procedure
    • M. LAURENT, Tighter linear and semidefinite relaxations for max-cut based on the Lovász-Schrijver lift-and-project procedure, SIAM J. Optim., 12 (2001/2002), pp. 345-375.
    • (2001) SIAM J. Optim. , vol.12 , pp. 345-375
    • Laurent, M.1
  • 26
    • 0141517272 scopus 로고    scopus 로고
    • A comparison of the Sherali-Adams, Lovász-Schijver, and Lasserre relaxation for 0-1 programming
    • M. LAURENT, A comparison of the Sherali-Adams, Lovász-Schijver, and Lasserre relaxation for 0-1 programming, SIAM J. Optim., 28 (2003), pp. 470-496.
    • (2003) SIAM J. Optim. , vol.28 , pp. 470-496
    • Laurent, M.1
  • 27
    • 33746163319 scopus 로고    scopus 로고
    • Semidefinite programming and integer programming
    • Technical report PNA-R0210, CWI, Amsterdam, April, To appear as chapter of the Handbook on Discrete Optimization edited by K. Aardal, G. Kernhauser and R. Weismantel.
    • M. LAURENT AND F. RENDL, Semidefinite programming and integer programming, Technical report PNA-R0210, CWI, Amsterdam, April 2002, To appear as chapter of the Handbook on Discrete Optimization edited by K. Aardal, G. Kernhauser and R. Weismantel.
    • (2002) Handbook on Discrete Optimization
    • Laurent, M.1    Rendl, F.2
  • 28
    • 0000282077 scopus 로고
    • The quadratic assignment problem
    • E. L. LAWLER, The quadratic assignment problem, Management Sci., 9 (1962/1963), pp. 586-599.
    • (1962) Management Sci. , vol.9 , pp. 586-599
    • Lawler, E.L.1
  • 29
    • 0004149749 scopus 로고
    • Nonsmooth optimization and descent methods
    • International Institute for Applied Systems Analysis, Laxenburg, Austria
    • C. LEMARÉCHAL, Nonsmooth optimization and descent methods, Technical report, International Institute for Applied Systems Analysis, Laxenburg, Austria, 1977.
    • (1977) Technical Report
    • Lemaréchal, C.1
  • 30
    • 79959971337 scopus 로고    scopus 로고
    • The stable set problem and the lift-and-project rank of graphs
    • L. LIPTÁK AND L. TUNÇEL, The stable set problem and the lift-and-project rank of graphs, Math. Program., 98 (2003), pp. 319-353.
    • (2003) Math. Program. , vol.98 , pp. 319-353
    • Lipták, L.1    Tunçel, L.2
  • 31
    • 0037230473 scopus 로고    scopus 로고
    • The Common Optimization INterface for Operations Research
    • R. LOUGEE-HEIMER, The Common Optimization INterface for Operations Research, IBM Journal of Research and Development, 47 (2003), pp. 57-66; also available online from www.coin-or.org.
    • (2003) IBM Journal of Research and Development , vol.47 , pp. 57-66
    • Lougee-Heimer, R.1
  • 32
    • 0001154274 scopus 로고
    • Cones of matrices and set-functions, and 0-1 optimization
    • L. LOVÁSZ AND A. SCHRIJVER, Cones of matrices and set-functions, and 0-1 optimization, SIAM J. Optim., 1 (1991), pp. 166-190.
    • (1991) SIAM J. Optim. , vol.1 , pp. 166-190
    • Lovász, L.1    Schrijver, A.2
  • 33
    • 84858949317 scopus 로고    scopus 로고
    • MIPLIB, 2003. http://miplib.zib.de/.
    • (2003)
  • 35
    • 5644241870 scopus 로고
    • A certain iteration method of linear programming and its economic interpretation
    • B. T. POLJAK AND N. V. TRET'JAKOV, A certain iteration method of linear programming and its economic interpretation, Èkonom. i Mat. Metody, 8 (1972), pp. 740-751.
    • (1972) Èkonom. i Mat. Metody , vol.8 , pp. 740-751
    • Poljak, B.T.1    Tret'Jakov, N.V.2
  • 36
    • 84858933149 scopus 로고    scopus 로고
    • QAPLIB, http://www.seas.upenn.edu/qaplib/.
  • 37
    • 21644440235 scopus 로고    scopus 로고
    • Bounds for the quadratic assignment problem using the bundle method
    • Department of Mathematics, University of Klagenfurt, Klagenfurt, Austria
    • F. RENDL AND R. SOTIROV, Bounds for the quadratic assignment problem using the bundle method, Technical report, Department of Mathematics, University of Klagenfurt, Klagenfurt, Austria, 2003.
    • (2003) Technical Report
    • Rendl, F.1    Sotirov, R.2
  • 38
    • 0001321687 scopus 로고
    • A hierarchy of relaxations between the continuous and convex hull representations for zero-one programming problems
    • H. D. SHERALI AND W. P. ADAMS, A hierarchy of relaxations between the continuous and convex hull representations for zero-one programming problems, SIAM J. Discrete Math., 3 (1990), pp. 411-430.
    • (1990) SIAM J. Discrete Math. , vol.3 , pp. 411-430
    • Sherali, H.D.1    Adams, W.P.2
  • 40
    • 0035452325 scopus 로고    scopus 로고
    • On using exterior penalty approaches for solving linear programming problems
    • H. D. SHERALI, B. ÖZDARYAL, W. P. ADAMS, AND N. ATTIA, On using exterior penalty approaches for solving linear programming problems, Comput. Oper. Res., 28 (2001), pp. 1049-1074.
    • (2001) Comput. Oper. Res. , vol.28 , pp. 1049-1074
    • Sherali, H.D.1    Özdaryal, B.2    Adams, W.P.3    Attia, N.4
  • 41
    • 0344642581 scopus 로고    scopus 로고
    • On a representation of the matching polytope via semidefinite liftings
    • T. STEPHEN AND L. TUNÇEL, On a representation of the matching polytope via semidefinite liftings, Math. Oper. Res., 24 (1999), pp. 1-7.
    • (1999) Math. Oper. Res. , vol.24 , pp. 1-7
    • Stephen, T.1    Tunçel, L.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.