Semidefinite Programming

Slides:



Advertisements
Similar presentations
Arora: SDP + Approx Survey Semidefinite Programming and Approximation Algorithms for NP-hard Problems: A Survey Sanjeev Arora Princeton University
Advertisements

Introduction to Algorithms 6.046J/18.401J/SMA5503
Tight integrality gaps for vertex-cover semidefinite relaxations in the Lovász-Schrijver Hierarchy Avner Magen Joint work with Costis Georgiou, Toni Pitassi.
How to Round Any CSP Prasad Raghavendra University of Washington, Seattle David Steurer, Princeton University (In Principle)
Inapproximability of MAX-CUT Khot,Kindler,Mossel and O ’ Donnell Moshe Ben Nehemia June 05.
Satyen Kale (Yahoo! Research) Joint work with Sanjeev Arora (Princeton)
C&O 355 Lecture 23 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
On the Unique Games Conjecture Subhash Khot Georgia Inst. Of Technology. At FOCS 2005.
Graph Coloring Approximations D. Karger, R. Motwani & M. Sudan (94) Elad Eban, May 5 th 2005 Inapproximabilty Seminar.
C&O 355 Mathematical Programming Fall 2010 Lecture 22 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
Totally Unimodular Matrices
A Simple, Greedy Approximation Algorithm for MAX SAT David P. Williamson Joint work with Matthias Poloczek (Frankfurt, Cornell) and Anke van Zuylen (William.
Heuristics for the Hidden Clique Problem Robert Krauthgamer (IBM Almaden) Joint work with Uri Feige (Weizmann)
Approximation Algorithms Chapter 5: k-center. Overview n Main issue: Parametric pruning –Technique for approximation algorithms n 2-approx. algorithm.
Eigenvalues and geometric representations of graphs László Lovász Microsoft Research One Microsoft Way, Redmond, WA 98052
Semi-Definite Algorithm for Max-CUT Ran Berenfeld May 10,2005.
The Stackelberg Minimum Spanning Tree Game Jean Cardinal · Erik D. Demaine · Samuel Fiorini · Gwenaël Joret · Stefan Langerman · Ilan Newman · OrenWeimann.
A Randomized Polynomial-Time Simplex Algorithm for Linear Programming Daniel A. Spielman, Yale Joint work with Jonathan Kelner, M.I.T.
Coloring k-colorable graphs using smaller palettes Eran Halperin Ram Nathaniel Uri Zwick Tel Aviv University.
Approximation Algoirthms: Semidefinite Programming Lecture 19: Mar 22.
A Linear Round Lower Bound for Lovasz-Schrijver SDP relaxations of Vertex Cover Grant Schoenebeck Luca Trevisan Madhur Tulsiani UC Berkeley.
Linear Programming and Approximation
Totally Unimodular Matrices Lecture 11: Feb 23 Simplex Algorithm Elliposid Algorithm.
Semidefinite Programming
The Side-Chain Positioning Problem Joint work with Bernard Chazelle and Mona Singh Carl Kingsford Princeton University.
1 Introduction to Linear and Integer Programming Lecture 9: Feb 14.
Computer Assisted Proof of Optimal Approximability Results Uri Zwick Uri Zwick Tel Aviv University SODA’02, January 6-8, San Francisco.
1 Optimization problems such as MAXSAT, MIN NODE COVER, MAX INDEPENDENT SET, MAX CLIQUE, MIN SET COVER, TSP, KNAPSACK, BINPACKING do not have a polynomial.
The Use of Semidefinite Programming in Approximation Algorithms Uriel Feige The Weizmann Institute.
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
Semidefinite Programming Based Approximation Algorithms Uri Zwick Uri Zwick Tel Aviv University UKCRC’02, Warwick University, May 3, 2002.
Theta Function Lecture 24: Apr 18. Error Detection Code Given a noisy channel, and a finite alphabet V, and certain pairs that can be confounded, the.
Princeton University COS 423 Theory of Algorithms Spring 2001 Kevin Wayne Linear Programming Some of these slides are adapted from The Allocation of Resources.
CSE 421 Algorithms Richard Anderson Lecture 27 NP Completeness.
Linear Programming Relaxations for MaxCut Wenceslas Fernandez de la Vega Claire Kenyon -Mathieu.
Complexity 1 Hardness of Approximation. Complexity 2 Introduction Objectives: –To show several approximation problems are NP-hard Overview: –Reminder:
(work appeared in SODA 10’) Yuk Hei Chan (Tom)
Finding Almost-Perfect
Dana Moshkovitz, MIT Joint work with Subhash Khot, NYU.
Integrality Gaps for Sparsest Cut and Minimum Linear Arrangement Problems Nikhil R. Devanur Subhash A. Khot Rishi Saket Nisheeth K. Vishnoi.
Arora: SDP + Approx Survey Semidefinite Programming and Approximation Algorithms for NP-hard Problems: A Survey Sanjeev Arora Princeton University.
C&O 355 Mathematical Programming Fall 2010 Lecture 17 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
1 Graphs with tiny vector chromatic numbers and huge chromatic numbers Michael Langberg Weizmann Institute of Science Joint work with U. Feige and G. Schechtman.
Approximation Algorithms for NP-hard Combinatorial Problems Magnús M. Halldórsson Reykjavik University
APPROXIMATION ALGORITHMS VERTEX COVER – MAX CUT PROBLEMS
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
Topics in Algorithms 2005 Constructing Well-Connected Networks via Linear Programming and Primal Dual Algorithms Ramesh Hariharan.
C&O 355 Mathematical Programming Fall 2010 Lecture 16 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
Non-Approximability Results. Summary -Gap technique -Examples: MINIMUM GRAPH COLORING, MINIMUM TSP, MINIMUM BIN PACKING -The PCP theorem -Application:
CPSC 536N Sparse Approximations Winter 2013 Lecture 1 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAAAAA.
C&O 355 Lecture 24 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A A A A A A A.
Unique Games Approximation Amit Weinstein Complexity Seminar, Fall 2006 Based on: “Near Optimal Algorithms for Unique Games" by M. Charikar, K. Makarychev,
Optimization - Lecture 5, Part 1 M. Pawan Kumar Slides available online
CSE 421 Algorithms Richard Anderson Lecture 27 NP-Completeness Proofs.
C&O 355 Lecture 19 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
Instructor: Shengyu Zhang 1. Optimization Very often we need to solve an optimization problem.  Maximize the utility/payoff/gain/…  Minimize the cost/penalty/loss/…
Approximation Algorithms based on linear programming.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
18 Aug, 2009University of EdinburghIstván Juhos 1 /23 Graph Colouring through Clustering István Juhos University of Szeged Hungary.
Lap Chi Lau we will only use slides 4 to 19
Topics in Algorithms Lap Chi Lau.
Richard Anderson Lecture 26 NP-Completeness
Vector representations of graphs
Sum of Squares, Planted Clique, and Pseudo-Calibration
Structural Properties of Low Threshold Rank Graphs
Problem Solving 4.
Coloring k-colorable graphs using smaller palettes
Topics in Algorithms 2005 Max Cuts
Presentation transcript:

Semidefinite Programming Lecture 8: Semidefinite Programming Magnus M. Halldorsson Based on slides by Uri Zwick

Outline of talk Semidefinite programming MAX CUT (Goemans, Williamson ’95) MAX 2-SAT and MAX DI-CUT (FG’95, MM’01, LLZ’02) MAX 3-SAT (Karloff, Zwick ’97) -function (Lovász ’79) MAX k-CUT (Frieze, Jerrum ’95) Colouring k-colourable graphs (Karger, Motwani, Sudan ’95)

Positive Semidefinite Matrices A symmetric nn matrix A is PSD iff: xTAx  0 , for every xRn. A=BTB , for some mn matrix B. All the eigenvalues of A are non-negative. Notation: A  0 iff A is PSD

Semidefinite Programming Linear Programming Semidefinite Programming max c x s.t. ai x  bi x  0 max CX s.t. Ai X  bi X  0 Can be solved exactly in polynomial time Can be solved almost exactly in polynomial time

LP/SDP algorithms Simplex method (LP only) Ellipsoid method Interior point methods

Semidefinite Programming (Equivalent formulation) max  cij (vi vj) s.t.  aij(k) (vi vj)  b(k) vi  Rn X ≥ 0 iff X=BTB. If B = [v1 v2 … vn] then xij = vi · vj .

Lovász’s -function (one of many formulations) max JX s.t. xij = 0 , (i,j)E I X = 1 X  0 Orthogonal representation of a graph: vi vj = 0 , whenever (i,j)E

The Sandwich Theorem (Grötschel-Lovász-Schrijver ’81) Size of max clique Chromatic number

The MAX CUT problem Edges may be weighted

The MAX CUT problem: motivation Given: n activities, m persons. Each activity can be scheduled either in the morning or in the afternoon. Each person interested in two activities. Task: schedule the activities to maximize the number of persons that can enjoy both activities. If exactly n/2 of the activities have to be held in the morning, we get MAX BISECTION.

The MAX CUT problem: status Problem is NP-hard Problem is APX-hard (no PTAS unless P=NP) Best approximation ratio known, without SDP, is only ½. (Choose a random cut…) With SDP, an approximation ratio of 0.878 can be obtained! (Goemans-Williamson ’95) Getting an approximation ratio of 0.942 is NP-hard! (PCP theorem, …, Håstad’97)

A quadratic integer programming formulation of MAX CUT

An SDP Relaxation of MAX CUT (Goemans-Williamson ’95)

An SDP Relaxation of MAX CUT – Geometric intuition Embed the vertices of the graph on the unit sphere such that vertices that are joined by edges are far apart.

Random hyperplane rounding (Goemans-Williamson ’95)

To choose a random hyperplane, choose a random normal vector If r = (r1 , r2 , …, rn), and r1, r2 , … , rn  N(0,1), then the direction of r is uniformly distributed over the n-dimensional unit sphere. r

The probability that two vectors are separated by a random hyperplane vi vj

Analysis of the MAX CUT Algorithm (Goemans-Williamson ’95)

(Karloff ’96) (Feige-Schechtman ’00) Is the analysis tight? Yes! (Karloff ’96) (Feige-Schechtman ’00)

The MAX Directed-CUT problem Edges may be weighted

The MAX 2-SAT problem

A Semidefinite Programming Relaxation of MAX 2-SAT (Feige-Lovász ’92, Feige-Goemans ’95) Triangle constraints

The probability that a clause xi  xj is satisfied is :

Approximability and Inapproximability results Problem Approx. Ratio Inapprox. Ratio Authors MAX CUT 0.878 16/17 0.941 Goemans Williamson ’95 MAX DI-CUT 0.874 12/13 0.923 GW’95, FW’95 MM’01, LLZ’01 MAX 2-SAT 0.941 21/22 0.954 MAX 3-SAT 7/8 Karloff Zwick ’97

What else can we do with SDPs? MAX BISECTION (Frieze-Jerrum ’95) MAX k-CUT (Frieze-Jerrum ’95) (Approximate) Graph colouring (Karger-Motwani-Sudan’95)

(Approximate) Graph colouring Given a 3-colourable graph, colour it, in polynomial time, using as few colours as possible. Colouring using 4 colours is still NP-hard. (Khanna-Linial-Safra’93 Khanna-Guruswami’01) A simple combinatorial algorithm can colour, in polynomial time, using about n1/2 colours. (Wigderson’81) Using SDP, can colour (in poly. time) using n1/4 colours (KMS’95), or even n3/14 colours (BK’97).

Vector k-Coloring (Karger-Motwani-Sudan ’95) A vector k-coloring of a graph G = (V,E) is a sequence of unit vectors v1 , v2 , … , vn such that if (i,j)E then vi · vj = -1/(k-1). The minimum k for which G is vector k-colorable is A vector k-coloring, if one exists, can be found using SDP.

Lemma: If G = (V,E) is k-colorable, then it is also vector k-colorable. Proof: There are k vectors v1 ,v2 , … , vk such that vi · vj = -1/(k-1), for i ≠ j. k = 3 :

Finding large independent sets (Karger-Motwani-Sudan ’95) Let r be a random normally distributed vector in Rn. Let . I’ is obtained from I by removing a vertex from each edge of I.

Constructing a large IS

Colouring k-colourable graphs Colouring k-colourable graphs using min{ Δ1-2/k , n1-3/(k+1) } colours. (Karger-Motwani-Sudan ’95) Colouring 3-colourable graphs using n3/14 colours. (Blum-Karger ’97) Colouring 4-colourable graphs using n7/19 colours. (Halperin-Nathaniel-Zwick ’01)

Open problems Improved results for the problems considered. Further applications of SDP.