Results 1  10
of
62
Improved Approximation Algorithms for Maximum Cut and Satisfiability Problems Using Semidefinite Programming
 Journal of the ACM
, 1995
"... We present randomized approximation algorithms for the maximum cut (MAX CUT) and maximum 2satisfiability (MAX 2SAT) problems that always deliver solutions of expected value at least .87856 times the optimal value. These algorithms use a simple and elegant technique that randomly rounds the solution ..."
Abstract

Cited by 1096 (13 self)
 Add to MetaCart
(Show Context)
We present randomized approximation algorithms for the maximum cut (MAX CUT) and maximum 2satisfiability (MAX 2SAT) problems that always deliver solutions of expected value at least .87856 times the optimal value. These algorithms use a simple and elegant technique that randomly rounds the solution to a nonlinear programming relaxation. This relaxation can be interpreted both as a semidefinite program and as an eigenvalue minimization problem. The best previously known approximation algorithms for these problems had performance guarantees of ...
Approximating the value of two prover proof systems, with applications to MAX 2SAT and MAX DICUT
 IN PROCEEDINGS OF THE THIRD ISRAEL SYMPOSIUM ON THEORY OF COMPUTING AND SYSTEMS
, 1995
"... It is well known that two prover proof systems are a convenient tool for establishing hardness of approximation results. In this paper, we show that two prover proof systems are also convenient starting points for establishing easiness of approximation results. Our approach combines the FeageLovdsz ..."
Abstract

Cited by 138 (10 self)
 Add to MetaCart
It is well known that two prover proof systems are a convenient tool for establishing hardness of approximation results. In this paper, we show that two prover proof systems are also convenient starting points for establishing easiness of approximation results. Our approach combines the FeageLovdsz (STOC92) semidefinite programming relaxation of oneround twoprover proof systems, together with rounding techniques for the solutions of semidefinite progmms, as introduced by Goemans and Williamson (STO C94). As a consequence of our approach, we present improved approximation algorithms for MAX 2SAT and MAX DICUT. The algorithms are guamnteed to deliver solutions within a factor of 0.931 of the optimum for MAX 2SAT and within a factor of 0.859 for MAX DICUT, improving upon the guarantees of 0.878 and 0.796 of Goemans and Williamson.
A Nonlinear Programming Algorithm for Solving Semidefinite Programs via Lowrank Factorization
 Mathematical Programming (series B
, 2001
"... In this paper, we present a nonlinear programming algorithm for solving semidefinite programs (SDPs) in standard form. The algorithm's distinguishing feature is a change of variables that replaces the symmetric, positive semidefinite variable X of the SDP with a rectangular variable R according ..."
Abstract

Cited by 134 (9 self)
 Add to MetaCart
(Show Context)
In this paper, we present a nonlinear programming algorithm for solving semidefinite programs (SDPs) in standard form. The algorithm's distinguishing feature is a change of variables that replaces the symmetric, positive semidefinite variable X of the SDP with a rectangular variable R according to the factorization X = RR T . The rank of the factorization, i.e., the number of columns of R, is chosen minimally so as to enhance computational speed while maintaining equivalence with the SDP. Fundamental results concerning the convergence of the algorithm are derived, and encouraging computational results on some largescale test problems are also presented. Keywords: semidefinite programming, lowrank factorization, nonlinear programming, augmented Lagrangian, limited memory BFGS. 1 Introduction In the past few years, the topic of semidefinite programming, or SDP, has received considerable attention in the optimization community, where interest in SDP has included the investigation of...
Theory of semidefinite programming for sensor network localization
 IN SODA05
, 2005
"... We analyze the semidefinite programming (SDP) based model and method for the position estimation problem in sensor network localization and other Euclidean distance geometry applications. We use SDP duality and interior–point algorithm theories to prove that the SDP localizes any network or graph th ..."
Abstract

Cited by 103 (6 self)
 Add to MetaCart
(Show Context)
We analyze the semidefinite programming (SDP) based model and method for the position estimation problem in sensor network localization and other Euclidean distance geometry applications. We use SDP duality and interior–point algorithm theories to prove that the SDP localizes any network or graph that has unique sensor positions to fit given distance measures. Therefore, we show, for the first time, that these networks can be localized in polynomial time. We also give a simple and efficient criterion for checking whether a given instance of the localization problem has a unique realization in R 2 using graph rigidity theory. Finally, we introduce a notion called strong localizability and show that the SDP model will identify all strongly localizable sub–networks in the input network.
Semidefinite Programming and Combinatorial Optimization
 DOC. MATH. J. DMV
, 1998
"... We describe a few applications of semide nite programming in combinatorial optimization. ..."
Abstract

Cited by 101 (1 self)
 Add to MetaCart
We describe a few applications of semide nite programming in combinatorial optimization.
Handbook of semidefinite programming
"... Semidefinite programming (or SDP) has been one of the most exciting and active research areas in optimization during the 1990s. It has attracted researchers with very diverse backgrounds, including experts in convex programming, linear algebra, numerical optimization, combinatorial optimization, con ..."
Abstract

Cited by 76 (2 self)
 Add to MetaCart
Semidefinite programming (or SDP) has been one of the most exciting and active research areas in optimization during the 1990s. It has attracted researchers with very diverse backgrounds, including experts in convex programming, linear algebra, numerical optimization, combinatorial optimization, control theory, and statistics. This tremendous research activity was spurred by the discovery of important applications in combinatorial optimization and control theory, the development of efficient interiorpoint algorithms for solving SDP problems, and the depth and elegance of the underlying optimization theory. This book includes nineteen chapters on the theory, algorithms, and applications of semidefinite programming. Written by the leading experts on the subject, it offers an advanced and broad overview of the current state of the field. The coverage is somewhat less comprehensive, and the overall level more advanced, than we had planned at the start of the project. In order to finish the book in a timely fashion, we have had to abandon hopes for separate chapters on some important topics (such as a discussion of SDP algorithms in the
Complex matrix decomposition and quadratic programming,”Mathematics of Operations Research
, 2007
"... This paper studies the possibilities of the Linear Matrix Inequality (LMI) characterization of the matrix cones formed by nonnegative complex Hermitian quadratic functions over specific domains in the complex space. In its real case analog, such studies were conducted in Sturm and Zhang [11]. In thi ..."
Abstract

Cited by 41 (17 self)
 Add to MetaCart
(Show Context)
This paper studies the possibilities of the Linear Matrix Inequality (LMI) characterization of the matrix cones formed by nonnegative complex Hermitian quadratic functions over specific domains in the complex space. In its real case analog, such studies were conducted in Sturm and Zhang [11]. In this paper it is shown that stronger results can be obtained for the complex Hermitian case. In particular, we show that the matrix rankone decomposition result of Sturm and Zhang [11] can be strengthened for the complex Hermitian matrices. As a consequence, it is possible to characterize several new matrix copositive cones (over specific domains) by means of LMI. As examples of the potential application of the new rankone decomposition result, we present an upper bound on the lowest rank among all the optimal solutions for a standard complex SDP problem, and offer alternative proofs for a result of Hausdorff [5] and a result of Brickman [3] on the joint numerical range.
Local minima and convergence in lowrank semidefinite programming
 Mathematical Programming
, 2003
"... The lowrank semidefinite programming problem (LRSDPr) is a restriction of the semidefinite programming problem (SDP) in which a bound r is imposed on the rank of X, and it is well known that LRSDPr is equivalent to SDP if r is not too small. In this paper, we classify the local minima of LRSDPr and ..."
Abstract

Cited by 38 (1 self)
 Add to MetaCart
(Show Context)
The lowrank semidefinite programming problem (LRSDPr) is a restriction of the semidefinite programming problem (SDP) in which a bound r is imposed on the rank of X, and it is well known that LRSDPr is equivalent to SDP if r is not too small. In this paper, we classify the local minima of LRSDPr and prove the optimal convergence of a slight variant of the successful, yet experimental, algorithm of Burer and Monteiro [6], which handles LRSDPr via the nonconvex change of variables X = RR T. In addition, for particular problem classes, we describe a practical technique for obtaining lower bounds on the optimal solution value during the execution of the algorithm. Computational results are presented on a set of combinatorial optimization relaxations, including some of the largest quadratic assignment SDPs solved to date.