Prize-collecting Frameworks Mohammad T. HajiAghayi University of Maryland, College Park & AT&T Labs-- Research TexPoint fonts used in EMF. Read the TexPoint.

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.
Reductions Complexity ©D.Moshkovitz.
Network Design with Degree Constraints Guy Kortsarz Joint work with Rohit Khandekar and Zeev Nutov.
1 Outline relationship among topics secrets LP with upper bounds by Simplex method basic feasible solution (BFS) by Simplex method for bounded variables.
Cuts, Trees, and Electrical Flows Aleksander Mądry.
1 Bart Jansen Polynomial Kernels for Hard Problems on Disk Graphs Accepted for presentation at SWAT 2010.
Vertex sparsifiers: New results from old techniques (and some open questions) Robert Krauthgamer (Weizmann Institute) Joint work with Matthias Englert,
Shadow Prices vs. Vickrey Prices in Multipath Routing Parthasarathy Ramanujam, Zongpeng Li and Lisa Higham University of Calgary Presented by Ajay Gopinathan.
Outline Minimum Spanning Tree Maximal Flow Algorithm LP formulation 1.
Great Theoretical Ideas in Computer Science
Lindsey Bleimes Charlie Garrod Adam Meyerson
Submodular Set Function Maximization via the Multilinear Relaxation & Dependent Rounding Chandra Chekuri Univ. of Illinois, Urbana-Champaign.
Benjamin Banneker Charter Academy of Technology Making AYP Benjamin Banneker Charter Academy of Technology Making AYP.
25 seconds left…...
Approximating Graphic TSP by Matchings Tobias Mömke and Ola Svensson KTH Royal Institute of Technology Sweden.
Depth-First and Breadth-First Search CS 5010 Program Design Paradigms “Bootcamp” Lesson 9.2 TexPoint fonts used in EMF. Read the TexPoint manual before.
A small truth to make life 100%
A SMALL TRUTH TO MAKE LIFE 100%
Online Node-weighted Steiner Connectivity Problems Vahid Liaghat University of Maryland MohammadTaghi Hajiaghayi (UMD) Debmalya Panigrahi (Duke) 1.
Bart Jansen 1.  Problem definition  Instance: Connected graph G, positive integer k  Question: Is there a spanning tree for G with at least k leaves?
Epp, section 10.? CS 202 Aaron Bloomfield
Matroid Bases and Matrix Concentration
Satyen Kale (Yahoo! Research) Joint work with Sanjeev Arora (Princeton)
Minimum Vertex Cover in Rectangle Graphs
IMIM v v v v v v v v v DEFINITION L v 11 v 2 1 v 31 v 12 v 2 2 v 32.
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.
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.
Improved Approximation Algorithms for the Spanning Star Forest Problem Prasad Raghavendra Ning ChenC. Thach Nguyen Atri Rudra Gyanit Singh University of.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Approximation Some Network Design Problems With Node Costs Guy Kortsarz Rutgers University, Camden, NJ Joint work with Zeev Nutov The Open University,
Approximating Graphic TSP with Matchings
Approximation Algorithms for Non-Uniform Buy-at-Bulk Network Design Problems Mohammad R. Salavatipour Department of Computing Science University of Alberta.
Department of Computer Science, University of Maryland, College Park, USA TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.:
Algorithms for Max-min Optimization
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
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.
A Constant Factor Approximation Algorithm for the Multicommodity Rent-or-Buy Problem Amit Kumar Anupam Gupta Tim Roughgarden Bell Labs CMU Cornell joint.
Network Design Adam Meyerson Carnegie-Mellon University.
Robust Network Design with Exponential Scenarios By: Rohit Khandekar Guy Kortsarz Vahab Mirrokni Mohammad Salavatipour.
Increasing graph connectivity from 1 to 2 Guy Kortsarz Joint work with Even and Nutov.
What is Linear Programming? A Linear Program is a minimization or maximization problem, subject to several restraints. Linear programs can be set up for.
An Approximation Algorithm for Requirement cut on graphs Viswanath Nagarajan Joint work with R. Ravi.
Multicommodity Rent or Buy: Approximation Via Cost Sharing Martin Pál Joint work with Anupam Gupta Amit Kumar Tim Roughgarden.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Facility Location with Nonuniform Hard Capacities Martin Pál Éva Tardos Tom Wexler Cornell University.
Approximation Algorithms: Bristol Summer School 2008 Seffi Naor Computer Science Dept. Technion Haifa, Israel TexPoint fonts used in EMF. Read the TexPoint.
Network Design and Bidimensionality Mohammad T. Hajiaghayi University of Maryland.
V. V. Vazirani. Approximation Algorithms Chapters 3 & 22
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Topics in Algorithms 2005 Constructing Well-Connected Networks via Linear Programming and Primal Dual Algorithms Ramesh Hariharan.
Traveling Salesman Problems Motivated by Robot Navigation Maria Minkoff MIT With Avrim Blum, Shuchi Chawla, David Karger, Terran Lane, Adam Meyerson.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
Approximation Algorithms for Prize-Collecting Forest Problems with Submodular Penalty Functions Chaitanya Swamy University of Waterloo Joint work with.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Approximating the k Steiner Forest and Capacitated non preemptive dial a ride problems, with almost uniform weights Guy Kortsarz Joint work with Dinitz.
New algorithms for Disjoint Paths and Routing Problems
Primal-dual algorithms for node-weighted network design in planar graphs Grigory Yaroslavtsev Penn State (joint work with Piotr Berman)
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.
Approximating Buy-at-Bulk and Shallow-Light k-Steiner Trees Mohammad T. Hajiaghayi (CMU) Guy Kortsarz (Rutgers) Mohammad R. Salavatipour (U. Alberta) Presented.
Correlation Clustering Nikhil Bansal Joint Work with Avrim Blum and Shuchi Chawla.
Iterative Rounding in Graph Connectivity Problems Kamal Jain ex- Georgia Techie Microsoft Research Some slides borrowed from Lap Chi Lau.
Multiroute Flows & Node-weighted Network Design Chandra Chekuri Univ of Illinois, Urbana-Champaign Joint work with Alina Ene and Ali Vakilian.
Polynomial-time approximation schemes for NP-hard geometric problems
Algorithms for Routing Node-Disjoint Paths in Grids
1.3 Modeling with exponentially many constr.
Graph Partitioning Problems
1.3 Modeling with exponentially many constr.
Zero-Skew Trees Zero-Skew Tree: rooted tree in which all root-to-leaf paths have the same length Used in VLSI clock routing & network multicasting.
Presentation transcript:

Prize-collecting Frameworks Mohammad T. HajiAghayi University of Maryland, College Park & AT&T Labs-- Research TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A AAA A A A A

Prize-collecting Problems Prize-collecting problems are classic optimization problems in which there are various demands that desire to be ``served'' by some lowest-cost structure. However, if some demands are too expensive to serve, then we can refuse and instead pay a penalty. Several applications both in theory and practice. 2

Examples Theory applications: Lagrangian relaxation of budgeted problems such as k-MST or applications in orienteering Real-world AT&T application saving millions of dollar: Design fiber build connecting new customers to existing network. Graph: street network for metro area Root: existing fiber (supernode) Edge cost: digging trench, laying fiber, line cards at customer endpoints Prize: monthly cost for each new customer location to serve (maybe by other careers) We can define prize-collecting versions of lots of optimization problems, but let’s see a few classic ones 3

Prize-collecting TSP (PCTSP) Given: graph G=(V,E), (metric) edge costs c e ≥ 0 and penalties p v ≥ 0 on vertices Goal: choose a cycle C   E so as to Cost of edges in the cycle + penalty of unvisited nodes, i.e. ∑ e  C c e + ∑ v is not visited node p v, is minimized Introduced by Balas’89 Bienstock et al.’93: 3-approx. LP-rounding algorithm Goemans-Williamson ‘92: 2-approx primal- dual. Algorithm Archer, Bateni, H., Karloff’09: 1.98-approx via PC-clustering technique Goemans: 1.91-approx

Prize-collecting Steiner tree (PCST) Given: graph G=(V,E), edge costs c e ≥ 0, root r  V, penalties p v ≥ 0 on vertices Goal: choose a set of edges F   E so as to Cost of edges picked + penalty of nodes disconnected from r, i.e., ∑ e  F c e + ∑ v not connected to r p v, is minimized r Bienstock et al.’93: 3-approx. LP- rounding algorithm Goemans-Williamson’92 : 2-approx primal-dual. Algorithm Archer, Bateni, H., Karloff’09: approx via PC-clustering technique

Prize-collecting Steiner forest (PCSF) Given: graph G=(V,E), edge costs c e ≥ 0, source-sink pairs s i -t i penalties p i ≥ 0 on each s i -t i pair Goal: choose a set of edges F   E so as to minimize∑ e  F c e + ∑ i: s i not connected to t i in F p i

Prize-collecting Steiner forest (PCSF) Given: graph G=(V,E), edge costs c e ≥ 0, source-sink pairs s i -t i penalties p i ≥ 0 on each s i -t i pair Goal: choose a set of edges F   E so as to minimize∑ e  F c e + ∑ i: s i not connected to t i in F p i Generalizes connectivity function of PCST Introduced by H., Jain’06: gave a 3-approx. primal-dual algorithm and 2.54-approx randomized LP rounding

Prize-collecting Steiner Net. (PCSN) Given: graph G=(V,E), edge costs c e ≥ 0, source-sink pairs s i -t i decreasing penalty function p i ≥ 0 on each s i -t i pair Goal: choose a set of edges H   E so as to minimize∑ e  H c e + ∑ i p i (λ(s i -t i )) where λ(s i -t i ) is the edge-connectivity of s i -t i pair in H Special and still equivalent case: All-or-Nothing pays penalty p i if λ(s i -t i ) < r i ;zero otherwise H., Khandekar, Kortsarz, Nutov’10: 2.54-approx

Prize-Collecting vs. Non-Prize-Collecting By non-prize-collecting we mean the regular problem where we need to serve all demands There is one non-trivial separation: Bateni, H., Marx’10: Seiner forest has PTAS on planar graphs & Euclidian plane though PCSF is APX-hard on these graphs But for other problems still we do not know that much about approximation factors What we know: Usually there is a constant factor and indeed an additive factor 1 difference for approximation factors of PC versions vs. non-PC versions It is not always easy though, e.g., All-or-Nothing PCSN 9

Reduction to All-or-Nothing 10

LP for All-or-Nothing PCSN 11 First attempt (usually successful): It can be arbitrarily bad for large r i and thus it was the main open problem of Nagarajan, Sharma, Williamson’08

New LP for All-or-Nothing PCSN 12

New LP for All-or-Nothing PCSN 13 We can improve it to 2.54 by randomized LP rounding.

PCSN with submodular penalty f’n. Given: graph G=(V,E), edge costs c e ≥ 0, k source-sink pairs s i -t i with connectivity requirement r i, penalty is given by a set- function p : 2 [1..k]   ≥ 0, where p is submodular: p(A)+p(B) ≥ p(A   B)+p(A   B) Goal: : choose a set of edges H   E so as to minimize∑ e  H c e + p({i|λ(s i -t i )< r i }) where λ(s i -t i ) is the edge-connectivity of s i -t i pair in H Generalizs All-or-Nothing variant and has 2.54 approximation which is quite non-trivial (via Lovasz’s continuous extension of submodular functions) Special cases considered by HST05, SSW07, NSW08, HN10.

Prize-Collecting Clustering New clustering paradigm based on prize-collecting framework

PC-Clustering: More precisely

PC-Clustering Applications 1.PC Steiner tree: approx (Archer, Bateni,H., Karloff ‘09) 2.PC TSP (and Tour): approx (Archer, Bateni,H., Karloff ‘09) 3.Planar Steiner Forest: PTAS (Bateni, H., Marx’10) 4. Planar Submodular prize-collecting Steiner forest: Reduction to bounded-treewidth graphs (Bateni, Chekuri, Ene, H., Korula, Marx’11) 5.Planar multiway cut: PTAS (Bateni, H., Klein, Mathieu)

18

19

20

21

22

23 Lower bound part needs several new ideas

PC-Clustering Applications 1.PC Steiner tree: approx (Archer, Bateni,H., Karloff ‘09) 2.PC TSP (and Tour): approx (Archer, Bateni,H., Karloff ‘09) 3.Planar Steiner Forest: PTAS (Bateni, H., Marx’10) 4. Planar Submodular prize-collecting Steiner forest: Reduction to bounded-treewidth graphs (Bateni, Chekuri, Ene, H., Korula, Marx’11) 5.Planar multiway cut: PTAS (Bateni, H, Klein, Mathieu)

Application to PCST 25

Open Problems  There is a gap of around 0.5 between approx. factors for PC versions and non-PC versions PCTSP 1.91 vs 1.5 PCST 1.96 vs 1.39 PCSF 2.54 vs 2 PCSN 2.54 vs 2 Submodular PCSN 2.54 vs 2  We do not know any hardness or even integrality gap that separates PC versions and non-PC versions except one for planar/Euclidean graphs.  Can we close the gaps above or prove hardness/integrality gaps?

27