Lecture Note: Rounding From pseudo-polynomial to FPTAS

Size: px
Start display at page:

Download "Lecture Note: Rounding From pseudo-polynomial to FPTAS"

Transcription

1 Lecture Note: Rounding From pseudo-polynomial to FPTAS for Approximation Algorithms course in CCU Bang Ye Wu CSIE, Chung Cheng University, Taiwan

2 Rounding Rounding is a kind of techniques used to design a fully polynomial time approximation scheme (FPTAS) from a pseudo-polynomial time exact algorithm. It has been shown for many problems. In this slides we show two rounding techniques by two typical examples. Suppose we have an algorithm for finding an exact solution for an (NP-hard) optimization problem P. T : set of elements in an instance w(t): non-negative integral weight of an element t T time complexity: f(n, W ) (f is a polynomial in n and W, n = T and W = t T w(t)

3 Since the time complexity is a polynomial in W, it is a pseudo-polynomial. Remarks: in the standard definition, W should be the maximum weight of the elements but it does not matter since the sum is bounded by n max{t }. Let g be the measurement function, i.e., g maps a feasible solution S to Z +0 and the problem looks for a feasible solution S with minimum g(s) amongst all feasible solutions. Intuitively, for an instance T, we may scale down the weights of all elements by a factor ρ > 1 and round the results to integers to construct another instance T of P. The exact algorithm takes f(n, W/ρ ) time to compute an exact solution S for T. Due to the rounding error, we cannot expect that S is also an optimal for T. But, hopefully, g(i ) does not differ g(opt(t ))

4 too much. To show that it is an FPTAS, what we need to show is that g(i )/g(opt(t )) can be infinitely close to 1 for suitable ρ. Usually ρ = W h(n) to make the time complexity polynomial.

5 Two types The rounding technique can be divided into two types. Direct rounding: bound. when the optimal has a One-side error Binary search: when the optimal is unbounded. We shall take examples to illustrate the two techniques.

6 Direct Rounding we use the next simple example. Problem: Balance partition Instance: n positive integers Goal: partition the integers into two subsets (S 1, S 2 ) such that min{w(s 1 ), w(s 2 )} is maximized, in which w(s 1 ) is the sum of elements in S 1. The problem is a maximization version of the Partition problem and is therefore NP-hard.

7 Balance partition There exists an O(nW ) time exact algorithm (using the dynamic programming approach to generate all possible weights of subsets). Algorithm 1 DP-Partition y[i] = 0, for 1 i W/2; y[0] = 1; for i 1 to n do for j 0 to W/2 x i do if y[j] = 1 then y[j + x i ] 1; end if end for end for output the maximum j W/2 such that y[j] = 1.

8 Direct Rounding For an instance T = {x i 1 i n} with weight w, we construct another weight w, in which w (x i ) = w(x i )/ρ. In O(nW/ρ) time we find an optimal solution S for T. By the optimality, x S w (x) x S w (x) Since ρw (x i ) w(x i ) < ρw (x i ) + ρ, w(x) ρ w (x) ρ x S x S > x S w(x) ρ S > x S w(x) ρn x S w (x) Since S is an optimal w.r.t. w, OPT x S w(x) < 1 + ρn x S w(x) 1 + ρn OPT ρn

9 Bound of the optimal If x i such that w(x i ) W/2, the optimal is trivial. For otherwise we can show that OPT W/3. Then OPT x S w(x) < 1 + ρn W/3 ρn By choosing ρ = (1 + 1/ε) W 3n, the ratio is 1 + ε and the time complexity is O((1 + 1/ε)n 2 ). It is an FPTAS.

10 One-side error Binary search An important reason that the above technique works is the bound of the optimal. But for some problems there is no such bound, for example, the path problems in graphs. There are some path problems which are NPhard. One of them is to find a minimum cost path with restriction to time delay. In this problem, we are given a graph G = (V, E) and each edge e is associated with a cost w(e) and a time delay t(e). The goal is to find a minimum cost path such that the total time delay is at most a given threshold. Anyway, it is not necessary to know the detail. All we need to know is that there is an exact algorithm with time complexity f(n, W ) and the feasible solution is a simple path.

11 The key difference from the balance partition problem is that this is a minimization problem and the optimal path weight has no lower bound (it is possible the optimal is very small).

12 Test procedure Constructing an optimal in O(f(n, W )) (usually) determining whether opt W in the same time complexity. For any r 1, let w /r (e) = w(e)/r and G /r = (V, E, w /r ). Algorithm 2 /* test if OPT(G) > M or OPT(G) (1 + δ)m*/ procedure Test(M, δ) r Mδ/n; construct G /r ; if OPT(G /r ) n/δ then return Yes ; else return No ; end if end procedure Note: condition OPT(G /r ) n/δ can be computed by the exact algorithm in O(f(n, n/δ)) time.

13 Lemma 1: If the test procedure returns Yes, OPT(G) (1+δ)M; and otherwise OPT(G) > M. Proof: Let Q be an optimal path, i.e., OPT(G) = w(q). If OPT(G /r ) n/δ, a path P such that w /r (P ) n/δ. Since rw /r (e) w(e) < r(w /r (e) + 1), e E and any simple path has at most n 1 edges, w(p ) rn/δ + r(n 1). By r = Mδ/n, w(p ) M(1 + δ), which completes the proof of Yes-part. On the other hand, if OPT(G /r ) > n/δ, OPT(G) > rn/δ = M.

14 Note: the test procedure determines whether the optimal is larger or smaller than a given value M. If it says larger, it is sure that the optimal > M. But it is not precise when it says smaller. It only ensures that the optimal (1 + δ)m. That is, there is an uncertain range. The time complexity doest not depend on M but only on n and δ. We can iteratively narrow down the uncertain range by giving suitable M and δ, similar to the standard binary search.

15 How to search Suppose: a lower bound L and an upper bound U of the optimal. To find a (1 + ε)-approximation, the search process should be performed until U (1+ε)L. Now we have two questions: What are the initial lower and upper bounds? What is the best query strategy? That is, in each iteration, how should we choose M and δ in each iteration?

16 First try traditional binary search Let L 0 and U 0 be the initial bounds. The first thought: choosing M = (L + U)/2 and δ = ε. Time: (roughly) f(n, n/ε) log(u 0 L 0 ) (lucky enough, the range is cut in half every time.) Already an FPTAS because trivially L 0 = 0 and U 0 = W. (convince yourself that log W is polynomial in the length of an instance.) We can do it better:

17 Balancing the two cases Since a test divides the range into 3-subranges ([L, M], [M, (1+δ)M], and [(1+δ)M], U]), balancing the yes-case and the no-case may be a good idea. At this thought we choose M = (U + 2L)/3 and (1 + δ)m = (2U + L)/3 and the range will be reduced by a factor 2/3 every iteration. δ = U L ( U/L 1 U + 2L = L U/L + 2 ( ) 3 = L 1 > 1/4 U/L + 2 as long as U 2L > 0. That is, each test takes O(f(n, 4n)) time. What a magic! The parameter ε disappears. But two things need to be overcome. ) It works only when U 2L; and

18 we need ensure L > 0.

19 Two phases search Stopping binary search when range is small. When U 2L: we use the exact algorithm to find OPT(G /r ) with r = Lε/n and this is a (1 + ε)-approximation. Let P be an optimal path w.r.t. G /r. w /r (P ) = OPT(G /r ). Because w(p ) r OPT(G /r ) + r(n 1) and OPT(G /r ) OPT(G)/r and r = Lε/n w(p ) OPT(G) + Lε(n 1)/n < (1 + ε)opt(g) Remember OPT(G) L. The time complexity: The optimal is at most U in G. the weight of the optimal in G /r is at most U Lε/n = 2n/ε.

20 It takes f(n, 2n/ε) time but only once. The total time complexity will be log(u 0 L 0 )f(n, 4n) + f(n, 2n/ε) if we can ensure L 0 > 0. Another magic! we separate the factors log W and ε.

21 Better initial bounds Let w 1 < w 2 <... < w p, p E, be the distinct edge weights in G. Let E t = {e E w(e) t} and G t = (V, E t ). By binary search we can find the minimum w {w i 1 i p} such that the graph G w is feasible. By the definition of w, any optimal solution uses at least an edge of weight w, and therefore we have w OPT(G). Furthermore, since a simple path has at most n 1 edges, we have OPT(G) (n 1)w. Note that if w = 0, we find the optimal 0; and if G wp is infeasible, there is no feasible solution. We can exclude both the cases.

22 The time complexity of this step: We solve the 0-weighted version of the problem O(log n) times. For the time delay path problem, the feasibility can be tested by finding a shortest path. For other more general problems, it usually takes less time than the search stage. By a preprocessing stage, we can determine an upper bound U 0 and a lower bound L 0 of OPT(G) such that U 0 nl 0 and L 0 > 0.

23 Another killer binary search in logarithmic scale Temporarily forget the error. In a binary search, we want to reduce the range U L. The best way is to choose M = (U + L)/2 (arithmetic mean). It takes log(u 0 L 0 ) iterations. Could we reduce it if we only want to make U/L a constant? Yes! By choosing M = UL (geometric mean), both U/M and M/L are the square root of U/L. The number of iterations is log log(u 0 /L 0 ). ( ) (1/2) x U0 L 0 2 x = log log(u 0 /L 0 ) Remember we have U 0 nl 0 and L 0 > 0. We need only log log n iterations.

24 Final killer Idea: two-phases search+logarithmic binary search +balancing two cases ((1 + δ)m/l = U/M) Algorithm 3 Rounding-and-Searching find U = U 0 and L = L 0 ; while U > 2L do δ U/L 1; M if UL/(1 + δ); Test(M, δ) returns Yes then U M(1 + δ); else L M; end if end while r Lε/n; find and output OPT(G /r ). Should we expect a time complexity like (log log n)f(n, n) + f(n, n/ε)? It is the time to see the real magic.

25 Time complexity The time complexity is only f(n, n/ε). The factor log log n disappears. The last step takes O(f(n, n/ε)) time (shown previously). Let U i, L i, δ i and M i, 0 i q, be the parameters used in the i-th iteration of the while loop. (ending at (q + 1)-th iteration.) It is sufficient to show that q i=0 f(n, n/δ i ) = f(n, n). Usually q i=0 f(n, n/δ i) f(n, n)( q i=0 1/δ i). (E.g. f(n, n/δ) = f(n, n)(1/δ) k, k 1.) What we need to show: q i=0 (1/δ i) = O(1).

26 At each iteration, we set either U i+1 = M i (1 + δ i ) or L i+1 = M i. Since δ i +1 = U i /L i and M i = U i L i /(1 + δ i ) = U 1/4 i L 3/4 i, for both cases we have U i+1 /L i+1 = (U i /L i ) 3/4. (1) By definition, 1/δ i = 1 U i /L i 1 = L i /U i < c 1 L i /U i L i /U i since U i > 2L i (c is a constant). Hence, By (1), q i=0 (1/δ i ) = O q i=0 L i /U i L i /U i = (L q /U q ) (1/2)(4/3)q i, and then q i=0 L i /U i = q j=0 since U q > 2L q. (L q /U q ) (1/2)(4/3)j < q 2 (4/3)j j=0

27 Using 2 (4/3)j+1 = ( /3 ) (4/3)j (2 1/3 ) 2 (4/3)j repeatedly, we have 2 (4/3)j (2 1/3 ) j (2 1 ). Therefore q j=0 2 (4/3)j < 2 1 q j=0 (2 1/3 ) j < 2 1 O(1) 1 2 1/3

28 References Lenstra, J. K., Shmoys, D. B. and Tardos, E. (1987). Approximate Algorithms for Scheduling Unrelated Parallel Machines. Proc. 28th FOCS, Hochbaum, D. and Shmoys, D. (1988). A Polynomial Approximation Scheme for Scheduling on Uniform Processors: Using the Dual Approach. SIAM J. Comput R. Hassin, Approximation schemes for the restricted shortest path problem, Math. Oper. Res. 17 (1) (1992) D.H. Lorenz and D. Raz, A simple efficient approximation scheme for the restricted shortest path problem, Oper. Res. Lett. 28 (2001)

29 F. Ergun, R. Sinha and L. Zhang, An improved FPTAS for restricted shortest path, Inform. Process. Lett. 83 (2002) B.Y. Wu (2010) A note on approximating the min-max vertex disjoint paths on directed acyclic graphs. Journal of Computer and System Sciences, in press, doi: /j.jcss

Chapter 11. Approximation Algorithms. Slides by Kevin Wayne Pearson-Addison Wesley. All rights reserved.

Chapter 11. Approximation Algorithms. Slides by Kevin Wayne Pearson-Addison Wesley. All rights reserved. Chapter 11 Approximation Algorithms Slides by Kevin Wayne. Copyright @ 2005 Pearson-Addison Wesley. All rights reserved. 1 Approximation Algorithms Q. Suppose I need to solve an NP-hard problem. What should

More information

Chapter 11. Approximation Algorithms. Slides by Kevin Wayne Pearson-Addison Wesley. All rights reserved.

Chapter 11. Approximation Algorithms. Slides by Kevin Wayne Pearson-Addison Wesley. All rights reserved. Chapter 11 Approximation Algorithms Slides by Kevin Wayne. Copyright @ 2005 Pearson-Addison Wesley. All rights reserved. 1 P and NP P: The family of problems that can be solved quickly in polynomial time.

More information

All-norm Approximation Algorithms

All-norm Approximation Algorithms All-norm Approximation Algorithms Yossi Azar Leah Epstein Yossi Richter Gerhard J. Woeginger Abstract A major drawback in optimization problems and in particular in scheduling problems is that for every

More information

Research Article Polynomial Time Approximation Schemes for the Constrained Minimum Spanning Tree Problem

Research Article Polynomial Time Approximation Schemes for the Constrained Minimum Spanning Tree Problem Applied Mathematics Volume 2012 Article ID 394721 8 pages doi:10.1155/2012/394721 Research Article Polynomial Time Approximation Schemes for the Constrained Minimum Spanning Tree Problem Yen Hung Chen

More information

Santa Claus Schedules Jobs on Unrelated Machines

Santa Claus Schedules Jobs on Unrelated Machines Santa Claus Schedules Jobs on Unrelated Machines Ola Svensson (osven@kth.se) Royal Institute of Technology - KTH Stockholm, Sweden March 22, 2011 arxiv:1011.1168v2 [cs.ds] 21 Mar 2011 Abstract One of the

More information

Linear Programming. Scheduling problems

Linear Programming. Scheduling problems Linear Programming Scheduling problems Linear programming (LP) ( )., 1, for 0 min 1 1 1 1 1 11 1 1 n i x b x a x a b x a x a x c x c x z i m n mn m n n n n! = + + + + + + = Extreme points x ={x 1,,x n

More information

Multi-criteria approximation schemes for the resource constrained shortest path problem

Multi-criteria approximation schemes for the resource constrained shortest path problem Noname manuscript No. (will be inserted by the editor) Multi-criteria approximation schemes for the resource constrained shortest path problem Markó Horváth Tamás Kis Received: date / Accepted: date Abstract

More information

Scheduling Parallel Jobs with Linear Speedup

Scheduling Parallel Jobs with Linear Speedup Scheduling Parallel Jobs with Linear Speedup Alexander Grigoriev and Marc Uetz Maastricht University, Quantitative Economics, P.O.Box 616, 6200 MD Maastricht, The Netherlands. Email: {a.grigoriev, m.uetz}@ke.unimaas.nl

More information

Knapsack. Bag/knapsack of integer capacity B n items item i has size s i and profit/weight w i

Knapsack. Bag/knapsack of integer capacity B n items item i has size s i and profit/weight w i Knapsack Bag/knapsack of integer capacity B n items item i has size s i and profit/weight w i Goal: find a subset of items of maximum profit such that the item subset fits in the bag Knapsack X: item set

More information

Solutions to Exercises

Solutions to Exercises 1/13 Solutions to Exercises The exercises referred to as WS 1.1(a), and so forth, are from the course book: Williamson and Shmoys, The Design of Approximation Algorithms, Cambridge University Press, 2011,

More information

1 Ordinary Load Balancing

1 Ordinary Load Balancing Comp 260: Advanced Algorithms Prof. Lenore Cowen Tufts University, Spring 208 Scribe: Emily Davis Lecture 8: Scheduling Ordinary Load Balancing Suppose we have a set of jobs each with their own finite

More information

On Machine Dependency in Shop Scheduling

On Machine Dependency in Shop Scheduling On Machine Dependency in Shop Scheduling Evgeny Shchepin Nodari Vakhania Abstract One of the main restrictions in scheduling problems are the machine (resource) restrictions: each machine can perform at

More information

8 Knapsack Problem 8.1 (Knapsack)

8 Knapsack Problem 8.1 (Knapsack) 8 Knapsack In Chapter 1 we mentioned that some NP-hard optimization problems allow approximability to any required degree. In this chapter, we will formalize this notion and will show that the knapsack

More information

This means that we can assume each list ) is

This means that we can assume each list ) is This means that we can assume each list ) is of the form ),, ( )with < and Since the sizes of the items are integers, there are at most +1pairs in each list Furthermore, if we let = be the maximum possible

More information

Algorithms and Data S tructures Structures Complexity Complexit of Algorithms Ulf Leser

Algorithms and Data S tructures Structures Complexity Complexit of Algorithms Ulf Leser Algorithms and Data Structures Complexity of Algorithms Ulf Leser Content of this Lecture Efficiency of Algorithms Machine Model Complexity Examples Multiplication of two binary numbers (unit cost?) Exact

More information

Complexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler

Complexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler Complexity Theory Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität Wien 15 May, 2018 Reinhard

More information

Outline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.

Outline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181. Complexity Theory Complexity Theory Outline Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität

More information

CS 6820 Fall 2014 Lectures, October 3-20, 2014

CS 6820 Fall 2014 Lectures, October 3-20, 2014 Analysis of Algorithms Linear Programming Notes CS 6820 Fall 2014 Lectures, October 3-20, 2014 1 Linear programming The linear programming (LP) problem is the following optimization problem. We are given

More information

Machine scheduling with resource dependent processing times

Machine scheduling with resource dependent processing times Mathematical Programming manuscript No. (will be inserted by the editor) Alexander Grigoriev Maxim Sviridenko Marc Uetz Machine scheduling with resource dependent processing times Received: date / Revised

More information

Bin packing and scheduling

Bin packing and scheduling Sanders/van Stee: Approximations- und Online-Algorithmen 1 Bin packing and scheduling Overview Bin packing: problem definition Simple 2-approximation (Next Fit) Better than 3/2 is not possible Asymptotic

More information

NP-Completeness. f(n) \ n n sec sec sec. n sec 24.3 sec 5.2 mins. 2 n sec 17.9 mins 35.

NP-Completeness. f(n) \ n n sec sec sec. n sec 24.3 sec 5.2 mins. 2 n sec 17.9 mins 35. NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and Johnson, W.H. Freeman and Company, 1979. NP-Completeness 1 General Problems, Input Size and

More information

Lecture 2: Scheduling on Parallel Machines

Lecture 2: Scheduling on Parallel Machines Lecture 2: Scheduling on Parallel Machines Loris Marchal October 17, 2012 Parallel environment alpha in Graham s notation): P parallel identical Q uniform machines: each machine has a given speed speed

More information

Lecture 4: An FPTAS for Knapsack, and K-Center

Lecture 4: An FPTAS for Knapsack, and K-Center Comp 260: Advanced Algorithms Tufts University, Spring 2016 Prof. Lenore Cowen Scribe: Eric Bailey Lecture 4: An FPTAS for Knapsack, and K-Center 1 Introduction Definition 1.0.1. The Knapsack problem (restated)

More information

An analysis of the LPT algorithm for the max min and the min ratio partition problems

An analysis of the LPT algorithm for the max min and the min ratio partition problems Theoretical Computer Science 349 (2005) 407 419 www.elsevier.com/locate/tcs An analysis of the LPT algorithm for the max min and the min ratio partition problems Bang Ye Wu Department of Computer Science

More information

A Faster Combinatorial Approximation Algorithm for Scheduling Unrelated Parallel Machines

A Faster Combinatorial Approximation Algorithm for Scheduling Unrelated Parallel Machines A Faster Combinatorial Approximation Algorithm for Scheduling Unrelated Parallel Machines Martin Gairing, Burkhard Monien, and Andreas Woclaw Faculty of Computer Science, Electrical Engineering and Mathematics,

More information

1 Primals and Duals: Zero Sum Games

1 Primals and Duals: Zero Sum Games CS 124 Section #11 Zero Sum Games; NP Completeness 4/15/17 1 Primals and Duals: Zero Sum Games We can represent various situations of conflict in life in terms of matrix games. For example, the game shown

More information

BBM402-Lecture 20: LP Duality

BBM402-Lecture 20: LP Duality BBM402-Lecture 20: LP Duality Lecturer: Lale Özkahya Resources for the presentation: https://courses.engr.illinois.edu/cs473/fa2016/lectures.html An easy LP? which is compact form for max cx subject to

More information

FINAL EXAM PRACTICE PROBLEMS CMSC 451 (Spring 2016)

FINAL EXAM PRACTICE PROBLEMS CMSC 451 (Spring 2016) FINAL EXAM PRACTICE PROBLEMS CMSC 451 (Spring 2016) The final exam will be on Thursday, May 12, from 8:00 10:00 am, at our regular class location (CSI 2117). It will be closed-book and closed-notes, except

More information

Lec. 2: Approximation Algorithms for NP-hard Problems (Part II)

Lec. 2: Approximation Algorithms for NP-hard Problems (Part II) Limits of Approximation Algorithms 28 Jan, 2010 (TIFR) Lec. 2: Approximation Algorithms for NP-hard Problems (Part II) Lecturer: Prahladh Harsha Scribe: S. Ajesh Babu We will continue the survey of approximation

More information

P,NP, NP-Hard and NP-Complete

P,NP, NP-Hard and NP-Complete P,NP, NP-Hard and NP-Complete We can categorize the problem space into two parts Solvable Problems Unsolvable problems 7/11/2011 1 Halting Problem Given a description of a program and a finite input, decide

More information

Advanced topic: Space complexity

Advanced topic: Space complexity Advanced topic: Space complexity CSCI 3130 Formal Languages and Automata Theory Siu On CHAN Chinese University of Hong Kong Fall 2016 1/28 Review: time complexity We have looked at how long it takes to

More information

Approximating maximum satisfiable subsystems of linear equations of bounded width

Approximating maximum satisfiable subsystems of linear equations of bounded width Approximating maximum satisfiable subsystems of linear equations of bounded width Zeev Nutov The Open University of Israel Daniel Reichman The Open University of Israel Abstract We consider the problem

More information

MTAT Complexity Theory October 13th-14th, Lecture 6

MTAT Complexity Theory October 13th-14th, Lecture 6 MTAT.07.004 Complexity Theory October 13th-14th, 2011 Lecturer: Peeter Laud Lecture 6 Scribe(s): Riivo Talviste 1 Logarithmic memory Turing machines working in logarithmic space become interesting when

More information

A simple branching process approach to the phase transition in G n,p

A simple branching process approach to the phase transition in G n,p A simple branching process approach to the phase transition in G n,p Béla Bollobás Department of Pure Mathematics and Mathematical Statistics Wilberforce Road, Cambridge CB3 0WB, UK b.bollobas@dpmms.cam.ac.uk

More information

NP-Completeness. NP-Completeness 1

NP-Completeness. NP-Completeness 1 NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and Johnson, W.H. Freeman and Company, 1979. NP-Completeness 1 General Problems, Input Size and

More information

Improved Bounds for Flow Shop Scheduling

Improved Bounds for Flow Shop Scheduling Improved Bounds for Flow Shop Scheduling Monaldo Mastrolilli and Ola Svensson IDSIA - Switzerland. {monaldo,ola}@idsia.ch Abstract. We resolve an open question raised by Feige & Scheideler by showing that

More information

The Constrained Minimum Weighted Sum of Job Completion Times Problem 1

The Constrained Minimum Weighted Sum of Job Completion Times Problem 1 The Constrained Minimum Weighted Sum of Job Completion Times Problem 1 Asaf Levin 2 and Gerhard J. Woeginger 34 Abstract We consider the problem of minimizing the weighted sum of job completion times on

More information

Aditya Bhaskara CS 5968/6968, Lecture 1: Introduction and Review 12 January 2016

Aditya Bhaskara CS 5968/6968, Lecture 1: Introduction and Review 12 January 2016 Lecture 1: Introduction and Review We begin with a short introduction to the course, and logistics. We then survey some basics about approximation algorithms and probability. We also introduce some of

More information

1 Review of Vertex Cover

1 Review of Vertex Cover CS266: Parameterized Algorithms and Complexity Stanford University Lecture 3 Tuesday, April 9 Scribe: Huacheng Yu Spring 2013 1 Review of Vertex Cover In the last lecture, we discussed FPT algorithms for

More information

Scheduling on Unrelated Parallel Machines. Approximation Algorithms, V. V. Vazirani Book Chapter 17

Scheduling on Unrelated Parallel Machines. Approximation Algorithms, V. V. Vazirani Book Chapter 17 Scheduling on Unrelated Parallel Machines Approximation Algorithms, V. V. Vazirani Book Chapter 17 Nicolas Karakatsanis, 2008 Description of the problem Problem 17.1 (Scheduling on unrelated parallel machines)

More information

Partitioning Metric Spaces

Partitioning Metric Spaces Partitioning Metric Spaces Computational and Metric Geometry Instructor: Yury Makarychev 1 Multiway Cut Problem 1.1 Preliminaries Definition 1.1. We are given a graph G = (V, E) and a set of terminals

More information

Week Cuts, Branch & Bound, and Lagrangean Relaxation

Week Cuts, Branch & Bound, and Lagrangean Relaxation Week 11 1 Integer Linear Programming This week we will discuss solution methods for solving integer linear programming problems. I will skip the part on complexity theory, Section 11.8, although this is

More information

ALTERNATIVE PERSPECTIVES FOR SOLVING COMBINATORIAL OPTIMIZATION PROBLEMS

ALTERNATIVE PERSPECTIVES FOR SOLVING COMBINATORIAL OPTIMIZATION PROBLEMS ε-optimization SCHEMES AND L-BIT PRECISION: ALTERNATIVE PERSPECTIVES FOR SOLVING COMBINATORIAL OPTIMIZATION PROBLEMS JAMES B. ORLIN, ANDREAS S. SCHULZ, AND SUDIPTA SENGUPTA September 2004 Abstract. Motivated

More information

Algorithms. Outline! Approximation Algorithms. The class APX. The intelligence behind the hardware. ! Based on

Algorithms. Outline! Approximation Algorithms. The class APX. The intelligence behind the hardware. ! Based on 6117CIT - Adv Topics in Computing Sci at Nathan 1 Algorithms The intelligence behind the hardware Outline! Approximation Algorithms The class APX! Some complexity classes, like PTAS and FPTAS! Illustration

More information

On Lagrangian Relaxation and Subset Selection Problems

On Lagrangian Relaxation and Subset Selection Problems On agrangian Relaxation and Subset Selection Problems (Extended Abstract) Ariel Kulik Hadas Shachnai Abstract We prove a general result demonstrating the power of agrangian relaxation in solving constrained

More information

Approximation algorithms for cycle packing problems

Approximation algorithms for cycle packing problems Approximation algorithms for cycle packing problems Michael Krivelevich Zeev Nutov Raphael Yuster Abstract The cycle packing number ν c (G) of a graph G is the maximum number of pairwise edgedisjoint cycles

More information

Lecture 3. 1 Polynomial-time algorithms for the maximum flow problem

Lecture 3. 1 Polynomial-time algorithms for the maximum flow problem ORIE 633 Network Flows August 30, 2007 Lecturer: David P. Williamson Lecture 3 Scribe: Gema Plaza-Martínez 1 Polynomial-time algorithms for the maximum flow problem 1.1 Introduction Let s turn now to considering

More information

Efficient Primal- Dual Graph Algorithms for Map Reduce

Efficient Primal- Dual Graph Algorithms for Map Reduce Efficient Primal- Dual Graph Algorithms for Map Reduce Joint work with Bahman Bahmani Ashish Goel, Stanford Kamesh Munagala Duke University Modern Data Models Over the past decade, many commodity distributed

More information

Notations. For any hypergraph H 2 V we have. H + H = and H + H = 2 V.

Notations. For any hypergraph H 2 V we have. H + H = and H + H = 2 V. Notations For any hypergraph H 2 V we have H + H = and H + H = 2 V. Notations For any hypergraph H 2 V we have H + H = and H + H = 2 V. Given a Sperner hypergraph H, we can view it as the family of minimal

More information

Maximum flow problem

Maximum flow problem Maximum flow problem 7000 Network flows Network Directed graph G = (V, E) Source node s V, sink node t V Edge capacities: cap : E R 0 Flow: f : E R 0 satisfying 1. Flow conservation constraints e:target(e)=v

More information

Computational Complexity

Computational Complexity Computational Complexity Algorithm performance and difficulty of problems So far we have seen problems admitting fast algorithms flow problems, shortest path, spanning tree... and other problems for which

More information

NP Completeness and Approximation Algorithms

NP Completeness and Approximation Algorithms Chapter 10 NP Completeness and Approximation Algorithms Let C() be a class of problems defined by some property. We are interested in characterizing the hardest problems in the class, so that if we can

More information

Lecture 7: Dynamic Programming I: Optimal BSTs

Lecture 7: Dynamic Programming I: Optimal BSTs 5-750: Graduate Algorithms February, 06 Lecture 7: Dynamic Programming I: Optimal BSTs Lecturer: David Witmer Scribes: Ellango Jothimurugesan, Ziqiang Feng Overview The basic idea of dynamic programming

More information

Dominating Set. Chapter 7

Dominating Set. Chapter 7 Chapter 7 Dominating Set In this chapter we present another randomized algorithm that demonstrates the power of randomization to break symmetries. We study the problem of finding a small dominating set

More information

Dynamic Programming( Weighted Interval Scheduling)

Dynamic Programming( Weighted Interval Scheduling) Dynamic Programming( Weighted Interval Scheduling) 17 November, 2016 Dynamic Programming 1 Dynamic programming algorithms are used for optimization (for example, finding the shortest path between two points,

More information

Exponential-Time Approximation of Weighted Set Cover

Exponential-Time Approximation of Weighted Set Cover Exponential-Time Approximation of Weighted Set Cover Marek Cygan, Lukasz Kowalik and Mateusz Wykurz Institute of Informatics, University of Warsaw, Poland. cygan@mimuw.edu.pl, kowalik@mimuw.edu.pl, wykurz@gmail.com.

More information

Now just show p k+1 small vs opt. Some machine gets k=m jobs of size at least p k+1 Can also think of it as a family of (1 + )-approximation algorithm

Now just show p k+1 small vs opt. Some machine gets k=m jobs of size at least p k+1 Can also think of it as a family of (1 + )-approximation algorithm Review: relative approx. alg by comparison to lower bounds. TS with triangle inequality: A nongreedy algorithm, relating to a clever lower bound nd minimum spanning tree claim costs less than TS tour Double

More information

The Knapsack Problem. 28. April /44

The Knapsack Problem. 28. April /44 The Knapsack Problem 20 10 15 20 W n items with weight w i N and profit p i N Choose a subset x of items Capacity constraint i x w i W wlog assume i w i > W, i : w i < W Maximize profit i x p i 28. April

More information

Lecture 13 March 7, 2017

Lecture 13 March 7, 2017 CS 224: Advanced Algorithms Spring 2017 Prof. Jelani Nelson Lecture 13 March 7, 2017 Scribe: Hongyao Ma Today PTAS/FPTAS/FPRAS examples PTAS: knapsack FPTAS: knapsack FPRAS: DNF counting Approximation

More information

Lecture 4. 1 FPTAS - Fully Polynomial Time Approximation Scheme

Lecture 4. 1 FPTAS - Fully Polynomial Time Approximation Scheme Theory of Computer Science to Msc Students, Spring 2007 Lecturer: Dorit Aharonov Lecture 4 Scribe: Ram Bouobza & Yair Yarom Revised: Shahar Dobzinsi, March 2007 1 FPTAS - Fully Polynomial Time Approximation

More information

2 P vs. NP and Diagonalization

2 P vs. NP and Diagonalization 2 P vs NP and Diagonalization CS 6810 Theory of Computing, Fall 2012 Instructor: David Steurer (sc2392) Date: 08/28/2012 In this lecture, we cover the following topics: 1 3SAT is NP hard; 2 Time hierarchies;

More information

Multiprocessor Scheduling I: Partitioned Scheduling. LS 12, TU Dortmund

Multiprocessor Scheduling I: Partitioned Scheduling. LS 12, TU Dortmund Multiprocessor Scheduling I: Partitioned Scheduling Prof. Dr. Jian-Jia Chen LS 12, TU Dortmund 22/23, June, 2015 Prof. Dr. Jian-Jia Chen (LS 12, TU Dortmund) 1 / 47 Outline Introduction to Multiprocessor

More information

Approximation Schemes for Scheduling on Uniformly Related and Identical Parallel Machines

Approximation Schemes for Scheduling on Uniformly Related and Identical Parallel Machines Approximation Schemes for Scheduling on Uniformly Related and Identical Parallel Machines Leah Epstein Jiří Sgall Abstract We give a polynomial approximation scheme for the problem of scheduling on uniformly

More information

A PTAS for the Uncertain Capacity Knapsack Problem

A PTAS for the Uncertain Capacity Knapsack Problem Clemson University TigerPrints All Theses Theses 12-20 A PTAS for the Uncertain Capacity Knapsack Problem Matthew Dabney Clemson University, mdabney@clemson.edu Follow this and additional works at: https://tigerprints.clemson.edu/all_theses

More information

Dual-Bounded Generating Problems: Weighted Transversals of a Hypergraph

Dual-Bounded Generating Problems: Weighted Transversals of a Hypergraph Dual-Bounded Generating Problems: Weighted Transversals of a Hypergraph E. Boros V. Gurvich L. Khachiyan K. Makino January 15, 2003 Abstract We consider a generalization of the notion of transversal to

More information

VERTEX DEGREE SUMS FOR PERFECT MATCHINGS IN 3-UNIFORM HYPERGRAPHS

VERTEX DEGREE SUMS FOR PERFECT MATCHINGS IN 3-UNIFORM HYPERGRAPHS VERTEX DEGREE SUMS FOR PERFECT MATCHINGS IN 3-UNIFORM HYPERGRAPHS YI ZHANG, YI ZHAO, AND MEI LU Abstract. We determine the minimum degree sum of two adjacent vertices that ensures a perfect matching in

More information

arxiv:cs/ v1 [cs.cg] 7 Feb 2006

arxiv:cs/ v1 [cs.cg] 7 Feb 2006 Approximate Weighted Farthest Neighbors and Minimum Dilation Stars John Augustine, David Eppstein, and Kevin A. Wortman Computer Science Department University of California, Irvine Irvine, CA 92697, USA

More information

Computer Science & Engineering 423/823 Design and Analysis of Algorithms

Computer Science & Engineering 423/823 Design and Analysis of Algorithms Bipartite Matching Computer Science & Engineering 423/823 Design and s Lecture 07 (Chapter 26) Stephen Scott (Adapted from Vinodchandran N. Variyam) 1 / 36 Spring 2010 Bipartite Matching 2 / 36 Can use

More information

C&O 355 Mathematical Programming Fall 2010 Lecture 2. N. Harvey

C&O 355 Mathematical Programming Fall 2010 Lecture 2. N. Harvey C&O 355 Mathematical Programming Fall 2010 Lecture 2 N. Harvey Outline LP definition & some equivalent forms Example in 2D Theorem: LPs have 3 possible outcomes Examples Linear regression, bipartite matching,

More information

5 Integer Linear Programming (ILP) E. Amaldi Foundations of Operations Research Politecnico di Milano 1

5 Integer Linear Programming (ILP) E. Amaldi Foundations of Operations Research Politecnico di Milano 1 5 Integer Linear Programming (ILP) E. Amaldi Foundations of Operations Research Politecnico di Milano 1 Definition: An Integer Linear Programming problem is an optimization problem of the form (ILP) min

More information

Approximation Algorithms

Approximation Algorithms Approximation Algorithms What do you do when a problem is NP-complete? or, when the polynomial time solution is impractically slow? assume input is random, do expected performance. Eg, Hamiltonian path

More information

Convex and Semidefinite Programming for Approximation

Convex and Semidefinite Programming for Approximation Convex and Semidefinite Programming for Approximation We have seen linear programming based methods to solve NP-hard problems. One perspective on this is that linear programming is a meta-method since

More information

Approximation Basics

Approximation Basics Approximation Basics, Concepts, and Examples Xiaofeng Gao Department of Computer Science and Engineering Shanghai Jiao Tong University, P.R.China Fall 2012 Special thanks is given to Dr. Guoqiang Li for

More information

Lecture #21. c T x Ax b. maximize subject to

Lecture #21. c T x Ax b. maximize subject to COMPSCI 330: Design and Analysis of Algorithms 11/11/2014 Lecture #21 Lecturer: Debmalya Panigrahi Scribe: Samuel Haney 1 Overview In this lecture, we discuss linear programming. We first show that the

More information

CSE 431/531: Analysis of Algorithms. Dynamic Programming. Lecturer: Shi Li. Department of Computer Science and Engineering University at Buffalo

CSE 431/531: Analysis of Algorithms. Dynamic Programming. Lecturer: Shi Li. Department of Computer Science and Engineering University at Buffalo CSE 431/531: Analysis of Algorithms Dynamic Programming Lecturer: Shi Li Department of Computer Science and Engineering University at Buffalo Paradigms for Designing Algorithms Greedy algorithm Make a

More information

IS 709/809: Computational Methods in IS Research Fall Exam Review

IS 709/809: Computational Methods in IS Research Fall Exam Review IS 709/809: Computational Methods in IS Research Fall 2017 Exam Review Nirmalya Roy Department of Information Systems University of Maryland Baltimore County www.umbc.edu Exam When: Tuesday (11/28) 7:10pm

More information

Approximation Algorithms for scheduling

Approximation Algorithms for scheduling Approximation Algorithms for scheduling Ahmed Abu Safia I.D.:119936343, McGill University, 2004 (COMP 760) Approximation Algorithms for scheduling Leslie A. Hall The first Chapter of the book entitled

More information

Lecture 20: LP Relaxation and Approximation Algorithms. 1 Introduction. 2 Vertex Cover problem. CSCI-B609: A Theorist s Toolkit, Fall 2016 Nov 8

Lecture 20: LP Relaxation and Approximation Algorithms. 1 Introduction. 2 Vertex Cover problem. CSCI-B609: A Theorist s Toolkit, Fall 2016 Nov 8 CSCI-B609: A Theorist s Toolkit, Fall 2016 Nov 8 Lecture 20: LP Relaxation and Approximation Algorithms Lecturer: Yuan Zhou Scribe: Syed Mahbub Hafiz 1 Introduction When variables of constraints of an

More information

Unit 1A: Computational Complexity

Unit 1A: Computational Complexity Unit 1A: Computational Complexity Course contents: Computational complexity NP-completeness Algorithmic Paradigms Readings Chapters 3, 4, and 5 Unit 1A 1 O: Upper Bounding Function Def: f(n)= O(g(n)) if

More information

Integer Linear Programming (ILP)

Integer Linear Programming (ILP) Integer Linear Programming (ILP) Zdeněk Hanzálek, Přemysl Šůcha hanzalek@fel.cvut.cz CTU in Prague March 8, 2017 Z. Hanzálek (CTU) Integer Linear Programming (ILP) March 8, 2017 1 / 43 Table of contents

More information

CSC2420: Algorithm Design, Analysis and Theory Spring (or Winter for pessimists) 2017

CSC2420: Algorithm Design, Analysis and Theory Spring (or Winter for pessimists) 2017 CSC2420: Algorithm Design, Analysis and Theory Spring (or Winter for pessimists) 2017 Allan Borodin January 30, 2017 1 / 32 Lecture 4 Announcements: I have posted all 7 questions for assignment 1. It is

More information

Intractable Problems Part Two

Intractable Problems Part Two Intractable Problems Part Two Announcements Problem Set Five graded; will be returned at the end of lecture. Extra office hours today after lecture from 4PM 6PM in Clark S250. Reminder: Final project goes

More information

Topic 17. Analysis of Algorithms

Topic 17. Analysis of Algorithms Topic 17 Analysis of Algorithms Analysis of Algorithms- Review Efficiency of an algorithm can be measured in terms of : Time complexity: a measure of the amount of time required to execute an algorithm

More information

PCPs and Inapproximability Gap-producing and Gap-Preserving Reductions. My T. Thai

PCPs and Inapproximability Gap-producing and Gap-Preserving Reductions. My T. Thai PCPs and Inapproximability Gap-producing and Gap-Preserving Reductions My T. Thai 1 1 Hardness of Approximation Consider a maximization problem Π such as MAX-E3SAT. To show that it is NP-hard to approximation

More information

47-831: Advanced Integer Programming Lecturer: Amitabh Basu Lecture 2 Date: 03/18/2010

47-831: Advanced Integer Programming Lecturer: Amitabh Basu Lecture 2 Date: 03/18/2010 47-831: Advanced Integer Programming Lecturer: Amitabh Basu Lecture Date: 03/18/010 We saw in the previous lecture that a lattice Λ can have many bases. In fact, if Λ is a lattice of a subspace L with

More information

Topic: Balanced Cut, Sparsest Cut, and Metric Embeddings Date: 3/21/2007

Topic: Balanced Cut, Sparsest Cut, and Metric Embeddings Date: 3/21/2007 CS880: Approximations Algorithms Scribe: Tom Watson Lecturer: Shuchi Chawla Topic: Balanced Cut, Sparsest Cut, and Metric Embeddings Date: 3/21/2007 In the last lecture, we described an O(log k log D)-approximation

More information

Approximation algorithm for Max Cut with unit weights

Approximation algorithm for Max Cut with unit weights Definition Max Cut Definition: Given an undirected graph G=(V, E), find a partition of V into two subsets A, B so as to maximize the number of edges having one endpoint in A and the other in B. Definition:

More information

princeton univ. F 17 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming

princeton univ. F 17 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming princeton univ. F 17 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Matt Weinberg Scribe: Sanjeev Arora One of the running themes in this course is

More information

In complexity theory, algorithms and problems are classified by the growth order of computation time as a function of instance size.

In complexity theory, algorithms and problems are classified by the growth order of computation time as a function of instance size. 10 2.2. CLASSES OF COMPUTATIONAL COMPLEXITY An optimization problem is defined as a class of similar problems with different input parameters. Each individual case with fixed parameter values is called

More information

Steiner Forest Orientation Problems

Steiner Forest Orientation Problems Steiner Forest Orientation Problems Marek Cygan Guy Kortsarz Zeev Nutov November 20, 2011 Abstract We consider connectivity problems with orientation constraints. Given a directed graph D and a collection

More information

APTAS for Bin Packing

APTAS for Bin Packing APTAS for Bin Packing Bin Packing has an asymptotic PTAS (APTAS) [de la Vega and Leuker, 1980] For every fixed ε > 0 algorithm outputs a solution of size (1+ε)OPT + 1 in time polynomial in n APTAS for

More information

Computational complexity theory

Computational complexity theory Computational complexity theory Introduction to computational complexity theory Complexity (computability) theory deals with two aspects: Algorithm s complexity. Problem s complexity. References S. Cook,

More information

Exercises NP-completeness

Exercises NP-completeness Exercises NP-completeness Exercise 1 Knapsack problem Consider the Knapsack problem. We have n items, each with weight a j (j = 1,..., n) and value c j (j = 1,..., n) and an integer B. All a j and c j

More information

ABHELSINKI UNIVERSITY OF TECHNOLOGY

ABHELSINKI UNIVERSITY OF TECHNOLOGY Approximation Algorithms Seminar 1 Set Cover, Steiner Tree and TSP Siert Wieringa siert.wieringa@tkk.fi Approximation Algorithms Seminar 1 1/27 Contents Approximation algorithms for: Set Cover Steiner

More information

Combinatorial Optimization

Combinatorial Optimization Combinatorial Optimization Problem set 8: solutions 1. Fix constants a R and b > 1. For n N, let f(n) = n a and g(n) = b n. Prove that f(n) = o ( g(n) ). Solution. First we observe that g(n) 0 for all

More information

CS 372: Computational Geometry Lecture 4 Lower Bounds for Computational Geometry Problems

CS 372: Computational Geometry Lecture 4 Lower Bounds for Computational Geometry Problems CS 372: Computational Geometry Lecture 4 Lower Bounds for Computational Geometry Problems Antoine Vigneron King Abdullah University of Science and Technology September 20, 2012 Antoine Vigneron (KAUST)

More information

Topics in Theoretical Computer Science April 08, Lecture 8

Topics in Theoretical Computer Science April 08, Lecture 8 Topics in Theoretical Computer Science April 08, 204 Lecture 8 Lecturer: Ola Svensson Scribes: David Leydier and Samuel Grütter Introduction In this lecture we will introduce Linear Programming. It was

More information

Algorithms: Lecture 12. Chalmers University of Technology

Algorithms: Lecture 12. Chalmers University of Technology Algorithms: Lecture 1 Chalmers University of Technology Today s Topics Shortest Paths Network Flow Algorithms Shortest Path in a Graph Shortest Path Problem Shortest path network. Directed graph G = (V,

More information

A General Framework for Designing Approximation Schemes for Combinatorial Optimization Problems with Many Objectives Combined into One

A General Framework for Designing Approximation Schemes for Combinatorial Optimization Problems with Many Objectives Combined into One OPERATIONS RESEARCH Vol. 61, No. 2, March April 2013, pp. 386 397 ISSN 0030-364X (print) ISSN 1526-5463 (online) http://dx.doi.org/10.1287/opre.1120.1093 2013 INFORMS A General Framework for Designing

More information

Part V. Matchings. Matching. 19 Augmenting Paths for Matchings. 18 Bipartite Matching via Flows

Part V. Matchings. Matching. 19 Augmenting Paths for Matchings. 18 Bipartite Matching via Flows Matching Input: undirected graph G = (V, E). M E is a matching if each node appears in at most one Part V edge in M. Maximum Matching: find a matching of maximum cardinality Matchings Ernst Mayr, Harald

More information