Optimization Software at Georgia Tech
Semidefinite Optimization: First-order algorithms
SDPLR v0.130301 (March 13, 2001)
SDPLR is an ANSI C package developed S. Burer, C. Choi and R.D.C. Monteiro for
solving general semidefinite programs (SDPs) using a nonlinear, first-order algorithm
that is based on the idea of low-rank factorization. A specialized version of SDPLR
is also available for solving specially structured semidefinite programs (SDPs) such
as the MaxCut SDP, the Minimum Bisection SDP, and the (unweighted) Lovasz Theta SDP.
The details of the algorithm used by SDPLR can be found in the technical report
"A Nonlinear Programming Algorithm for Semidefinite Programs via Low-rank Factorization"
written by S. Burer and R.D.C. Monteiro.
Combinatorial Optimization: Continuous heuristics
CirCut v1.0612 (June 12, 2001)
CirCut is a Fortran 90 package for finding approximate solutions of certain
binary quadratic programs, currently including the Max-Cut and the
Max-Bisection problems. An introduction to the details of
the algorithm behind CirCut can be found in the technical report "Rank-Two
Relaxation Heuristics for Max-Cut and Other Binary Quadratic Programs"
written by S. Burer, R.D.C. Monteiro, and Y. Zhang.
Max-AO v0.120301 (March 12, 2001)
Max-AO is an ANSI C package for heuristically solving the
(unweighted) maximum stable set and maximum clique problems.
The details of the algorithm behind Max-AO are available in the
technical report "Maximum Stable Set Formulations and Heuristics
Based on Continuous Optimization" written by S. Burer, R.D.C.
Monteiro, and Y. Zhang.
Information
Renato D.C. Monteiro,
Georgia Institute of Technology
Yin Zhang, Rice University
Sam Burer,
University of Iowa
|
