Linear Programming and Approximation

Slides:



Advertisements
Similar presentations
Iterative Rounding and Iterative Relaxation
Advertisements

The Primal-Dual Method: Steiner Forest TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A AA A A A AA A A.
1 LP, extended maxflow, TRW OR: How to understand Vladimirs most recent work Ramin Zabih Cornell University.
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.
1 LP Duality Lecture 13: Feb Min-Max Theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum.
Geometry and Theory of LP Standard (Inequality) Primal Problem: Dual Problem:
ECE Longest Path dual 1 ECE 665 Spring 2005 ECE 665 Spring 2005 Computer Algorithms with Applications to VLSI CAD Linear Programming Duality – Longest.
Approximation Algorithms Chapter 14: Rounding Applied to Set Cover.
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.
Tutorial at ICCV (Barcelona, Spain, November 2011)
Introduction to Algorithms
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Theory of Computing Lecture 14 MAS 714 Hartmut Klauck.
1 of 56 Linear Programming-Based Approximation Algorithms Shoshana Neuburger Graduate Center, CUNY May 13, 2009.
C&O 355 Lecture 20 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.
Computability and Complexity 23-1 Computability and Complexity Andrei Bulatov Search and Optimization.
Instructor Neelima Gupta Table of Contents Lp –rounding Dual Fitting LP-Duality.
CSCI 3160 Design and Analysis of Algorithms Tutorial 6 Fei Chen.
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Fall, 2006 Lecture 9 Wednesday, 11/15/06 Linear Programming.
Totally Unimodular Matrices Lecture 11: Feb 23 Simplex Algorithm Elliposid Algorithm.
1 Introduction to Linear and Integer Programming Lecture 9: Feb 14.
Introduction to Linear and Integer Programming Lecture 7: Feb 1.
Primal Dual Method Lecture 20: March 28 primaldual restricted primal restricted dual y z found x, succeed! Construct a better dual.
Duality Lecture 10: Feb 9. Min-Max theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum Cut Both.
A general approximation technique for constrained forest problems Michael X. Goemans & David P. Williamson Presented by: Yonatan Elhanani & Yuval Cohen.
Approximation Algorithms
7(2) THE DUAL THEOREMS Primal ProblemDual Problem b is not assumed to be non-negative.
Princeton University COS 423 Theory of Algorithms Spring 2001 Kevin Wayne Linear Programming Some of these slides are adapted from The Allocation of Resources.
Job Scheduling Lecture 19: March 19. Job Scheduling: Unrelated Multiple Machines There are n jobs, each job has: a processing time p(i,j) (the time to.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
Linear Programming – Max Flow – Min Cut Orgad Keller.
1 Introduction to Approximation Algorithms Lecture 15: Mar 5.
Approximation Algorithms: Bristol Summer School 2008 Seffi Naor Computer Science Dept. Technion Haifa, Israel TexPoint fonts used in EMF. Read the TexPoint.
Computational Geometry Piyush Kumar (Lecture 5: Linear Programming) Welcome to CIS5930.
C&O 355 Mathematical Programming Fall 2010 Lecture 19 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
Design Techniques for Approximation Algorithms and Approximation Classes.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Approximation Algorithms Department of Mathematics and Computer Science Drexel University.
Theory of Computing Lecture 13 MAS 714 Hartmut Klauck.
TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A A A A A A A Image:
Fast and accurate energy minimization for static or time-varying Markov Random Fields (MRFs) Nikos Komodakis (Ecole Centrale Paris) Nikos Paragios (Ecole.
Hon Wai Leong, NUS (CS6234, Spring 2009) Page 1 Copyright © 2009 by Leong Hon Wai CS6234: Lecture 4  Linear Programming  LP and Simplex Algorithm [PS82]-Ch2.
Advanced Algorithms Piyush Kumar (Lecture 16: Review) Welcome to the end of COT5405.
Optimization - Lecture 4, Part 1 M. Pawan Kumar Slides available online
Linear Program Set Cover. Given a universe U of n elements, a collection of subsets of U, S = {S 1,…, S k }, and a cost function c: S → Q +. Find a minimum.
C&O 355 Mathematical Programming Fall 2010 Lecture 5 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A.
Approximation Algorithms Department of Mathematics and Computer Science Drexel University.
Hon Wai Leong, NUS (CS6234, Spring 2009) Page 1 Copyright © 2009 by Leong Hon Wai CS6234: Lecture 4  Linear Programming  LP and Simplex Algorithm [PS82]-Ch2.
C&O 355 Lecture 7 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
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.
Lecture.6. Table of Contents Lp –rounding Dual Fitting LP-Duality.
1 Approximation algorithms Algorithms and Networks 2015/2016 Hans L. Bodlaender Johan M. M. van Rooij TexPoint fonts used in EMF. Read the TexPoint manual.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
Approximation Algorithms Duality My T. UF.
Linear Programming Piyush Kumar Welcome to CIS5930.
Approximation Algorithms based on linear programming.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
Lap Chi Lau we will only use slides 4 to 19
Topics in Algorithms Lap Chi Lau.
Analysis of Algorithms
Linear Programming Piyush Kumar Welcome to COT 5405.
Linear Programming and Approximation
Linear Programming Duality, Reductions, and Bipartite Matching
Problem Solving 4.
Chapter 5. The Duality Theorem
Flow Feasibility Problems
Lecture 19 Linear Program
Presentation transcript:

Linear Programming and Approximation Seminar in Approximation Algorithms

Linear Programming Linear objective function and Linear constraints Canonical form Standard form

Linear Programming – Example x=(2,1,3) is a feasible solution 7 * 2 + 1 + 5 * 3 = 30 is an upper bound the optimum

Lower Bound How can we find a lower bound? For example,

Lower Bound Another example:

Lower Bound Assign a non-negative coefficient yi to every primal inequality such that Lower bound 10y1+6y2

LP Duality The problem of finding the best lower bound is a linear program

LP Duality For every x and y: cTx  bTy Thus, Opt(primal)  Opt(dual) The dual of the dual is the primal

Example x=(7/4,0,11/4) and y=(2,1) are feasible solutions 7*7/4 + 0 + 5*11/4 = 10*2 + 6*1 = 26 Thus, x and y are optimal

Max Flow vs. Min s,t-cut Path(s,t) - the set of directed paths from s to t. Max Flow: Dual: Implicit Min s,t-cut Opt(Dual) = Opt(Min s,t-cut)

LP-duality Theorem Theorem: Opt(primal) is finite  Opt(dual) is finite If x* and y* are optimal Conclusion: LP  NPcoNP

Weak Duality Theorem If x and y are feasible Proof:

Complementary Slackness Conditions x and y are optimal  Primal conditions: Dual conditions:

Complementary Slackness Conditions - Proof By the duality theorem Similar arguments work for y For other direction read the slide upwards

Algorithms for Solving LP Simplex [Dantzig 47] Ellipsoid [Khachian 79] Interior point [Karmakar 84] Open question: Is there a strongly polynomial time algorithm for LP?

Integer Programming NP-hard Branch and Bound LP relaxation Opt(LP)  Opt(IP) Integrality Gap – Opt(IP)/Opt(LP)

Using LP for Approximation Finding a good lower bound - Opt(LP)  Opt(IP) Integrality gap is the best we can hope for Techniques: Rounding Solve LP-relaxation and then round solution. Primal Dual Find a feasible dual solution y, and a feasible integral primal solution x such that cTx  r * bTy

Minimum Vertex Cover LP-relaxation and its dual: (P) (D)

Solving the Dual Algorithm: Solve (D) Define: Analysis: CD is a cover:

Solving the Dual CD is r-approx: Weak duality The.

Rounding Algorithm: Solve (P) Define: Analysis:  x* is not feasible Due to the complementary conditions: Conclusion: x(CP) is 2-approx

Rounding Algorithm: Solve (P) Define: Analysis:  x* is not feasible Clearly, Conclusion: x(C½) is 2-approx

The Geometry of LP Claim: Let x1,x2 be feasible solutions Then, x1+(1-)x2 is a feasible solution Definition: x is a vertex if Theorem: If a finite solution exists, there exists an optimal solution x* which is a vertex

Half Integrality Theorem: If x is a vertex then x{0,1/2,1}n Proof: Let x be a vertex such that x {0,1/2,1}n Both solutions are feasible  = shortest distance to {0,1/2,1} Conclusion:

Half Integrality Algorithm: Construct the following bipartite graph G’: Find a vertex cover C’ in G’ (This can be done by using max-flow.)

Primal Dual Construct an integral feasible solution x and a feasible solution y such that cTx  r bTy Weak duality theorem  bTy  Opt(LP) cTx  r Opt(LP)  r Opt(IP) x is r-approx

Greedy H()-Approximation Algorithm While there exists an uncovered edge: Remove u and incident edges

Primal Dual Schema Modified version of the primal dual method for solving LP Construct integral primal solution and feasible dual solution simultaneously. We impose the primal complementary slackness conditions, while relaxing the dual conditions

Relaxed Dual Conditions Primal: Relaxed dual: Claim: If x,y satisfy the above conditions Proof:

Vertex Cover Output C Algorithm: For every edge e=(u,v) do: (We can construct C at the end.)

Vertex Cover There are no uncovered edges, or over packed vertices at the end. So x=x(C) and y are feasible. Since x and y satisfy the relaxed complementary slackness conditions with =2, x is a 2-approx solution. Primal: Relaxed Dual:

Generalized Vertex Cover LP-relaxation and its dual: (P) (D)