Network Design with Concave Cost Functions Kamesh Munagala, Stanford University.

Slides:



Advertisements
Similar presentations
Iterative Rounding and Iterative Relaxation
Advertisements

Buy at Bulk Network Design (with Protection) Chandra Chekuri Univ. of Illinois, Urbana-Champaign.
Introduction to Algorithms
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
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,
1 Online and Stochastic Survivable Network Design Ravishankar Krishnaswamy Carnegie Mellon University joint work with Anupam Gupta and R. Ravi.
Approximation Algorithms for Non-Uniform Buy-at-Bulk Network Design Problems Mohammad R. Salavatipour Department of Computing Science University of Alberta.
Approximation Algorithms for Non-Uniform Buy-at-Bulk Network Design Problems Guy Kortsarz Rutgers University, Camden, NJ Joint work with C. Chekuri (Bell.
Oblivious Routing for the L p -norm Matthias Englert Harald Räcke 1.
A Constant Factor Approximation Algorithm for the Multicommodity Rent-or-Buy Problem Amit Kumar Anupam Gupta Tim Roughgarden Bell Labs CMU Cornell joint.
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
Network Design with (Dis)economies of Scale Lisa Zhang Joint with Matthew Andrews, Spyridon Antonakopoulos and Steve Fortune.
Network Design Adam Meyerson Carnegie-Mellon University.
Online Algorithms for Network Design Adam Meyerson UCLA.
Single Sink Edge Installation Kunal Talwar UC Berkeley.
1 University of Freiburg Computer Networks and Telematics Prof. Christian Schindelhauer Mobile Ad Hoc Networks Theory of Data Flow and Random Placement.
Robust Network Design with Exponential Scenarios By: Rohit Khandekar Guy Kortsarz Vahab Mirrokni Mohammad Salavatipour.
Algorithms for Concave Cost Network Flow Problems Kamesh Munagala Stanford University.
Online Oblivious Routing Nikhil Bansal, Avrim Blum, Shuchi Chawla & Adam Meyerson Carnegie Mellon University 6/7/2003.
On the Crossing Spanning Tree Vineet Goyal Joint work with Vittorio Bilo, R. Ravi and Mohit Singh.
Augmenting Paths, Witnesses and Improved Approximations for Bounded Degree MSTs K. Chaudhuri, S. Rao, S. Riesenfeld, K. Talwar UC Berkeley.
Multicommodity Rent or Buy: Approximation Via Cost Sharing Martin Pál Joint work with Anupam Gupta Amit Kumar Tim Roughgarden.
CISS Princeton, March Optimization via Communication Networks Matthew Andrews Alcatel-Lucent Bell Labs.
On Stochastic Minimum Spanning Trees Kedar Dhamdhere Computer Science Department Joint work with: Mohit Singh, R. Ravi (IPCO 05)
Minimum Cost Flow Lecture 5: Jan 25. Problems Recap Bipartite matchings General matchings Maximum flows Stable matchings Shortest paths Minimum spanning.
Facility Location with Nonuniform Hard Capacities Tom Wexler Martin Pál Éva Tardos Cornell University ( A 9-Approximation)
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
ESA 2003M. Pál. Universal Facility Location1 Universal Facility Location Mohammad Mahdian MIT Martin Pál Cornell University.
A General Approach to Online Network Optimization Problems Seffi Naor Computer Science Dept. Technion Haifa, Israel Joint work: Noga Alon, Yossi Azar,
Packing Element-Disjoint Steiner Trees Mohammad R. Salavatipour Department of Computing Science University of Alberta Joint with Joseph Cheriyan Department.
Approximation Algorithms for Non-Uniform Buy-at-Bulk Network Design Problems MohammadTaghi Hajiaghayi Carnegie Mellon University Joint work with Chandra.
Integrated Logistics PROBE Princeton University, 10/31-11/1.
Online Function Tracking with Generalized Penalties Marcin Bieńkowski Institute of Computer Science, University of Wrocław, Poland Stefan Schmid Deutsche.
Max-flow/min-cut theorem Theorem: For each network with one source and one sink, the maximum flow from the source to the destination is equal to the minimal.
Approximation Algorithms for Buy-at-Bulk Network Design MohammadTaghi Hajiaghayi Labs- Research Labs- Research.
Routing and Network Design: Algorithmic Issues Kamesh Munagala Duke University.
ICALP'05Stochastic Steiner without a Root1 Stochastic Steiner Trees without a Root Martin Pál Joint work with Anupam Gupta.
Approximation Algorithms for Stochastic Combinatorial Optimization Part I: Multistage problems Anupam Gupta Carnegie Mellon University.
V. V. Vazirani. Approximation Algorithms Chapters 3 & 22
On the Construction of Data Aggregation Tree with Minimum Energy Cost in Wireless Sensor Networks: NP-Completeness and Approximation Algorithms National.
Guy Even & Moti Medina EE Tel-Aviv University Gregor Schaffrath & Stefan Schmid Deutsche Telekom Labs, TU Berlin.
Network Design for Information Networks Chaitanya Swamy Caltech and U. Waterloo Ara HayrapetyanÉva Tardos Cornell University.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Modeling and Evaluation with Graph Mohammad Khalily Dermany Islamic Azad University, Khomein branch.
UNC Chapel Hill Lin/Foskey/Manocha Minimum Spanning Trees Problem: Connect a set of nodes by a network of minimal total length Some applications: –Communication.
Distributed Algorithms Rajmohan Rajaraman Northeastern University, Boston May 2012 Chennai Network Optimization WorkshopDistributed Algorithms1.
Primal-Dual Algorithms for Connected Facility Location Chaitanya SwamyAmit Kumar Cornell University.
LP-Based Algorithms for Capacitated Facility Location Hyung-Chan An EPFL July 29, 2013 Joint work with Mohit Singh and Ola Svensson.
2) Combinatorial Algorithms for Traditional Market Models Vijay V. Vazirani.
1 Mar 05Stochastic Steiner without a Root1 Stochastic Steiner Tree without a Root Martin Pál Joint work with Anupam Gupta.
New algorithms for Disjoint Paths and Routing Problems
A Unified Continuous Greedy Algorithm for Submodular Maximization Moran Feldman Roy SchwartzJoseph (Seffi) Naor Technion – Israel Institute of Technology.
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
Approximating Buy-at-Bulk and Shallow-Light k-Steiner Trees Mohammad T. Hajiaghayi (CMU) Guy Kortsarz (Rutgers) Mohammad R. Salavatipour (U. Alberta) Presented.
Iterative Rounding in Graph Connectivity Problems Kamal Jain ex- Georgia Techie Microsoft Research Some slides borrowed from Lap Chi Lau.
ETH Zurich – Distributed Computing Group Stephan HolzerSODA Stephan Holzer Silvio Frischknecht Roger Wattenhofer Networks Cannot Compute Their Diameter.
Multiroute Flows & Node-weighted Network Design Chandra Chekuri Univ of Illinois, Urbana-Champaign Joint work with Alina Ene and Ali Vakilian.
::Network Optimization:: Minimum Spanning Trees and Clustering Taufik Djatna, Dr.Eng. 1.
New Algorithms for Disjoint Paths Problems Sanjeev Khanna University of Pennsylvania Joint work with Chandra Chekuri Bruce Shepherd.
Minimum Cost Flow Algorithms and Networks. Algorithms and Networks: Minimum Cost Flow2 This lecture The minimum cost flow problem: statement and applications.
Maximum Matching in the Online Batch-Arrival Model
Haim Kaplan and Uri Zwick
Algorithms and Networks
Algorithms for Routing Node-Disjoint Paths in Grids
1.3 Modeling with exponentially many constr.
Introduction Basic formulations Applications
EE5900 Advanced Embedded System For Smart Infrastructure
Algorithms and Networks
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:

Network Design with Concave Cost Functions Kamesh Munagala, Stanford University

Single Sink Network Design Given: Source nodes with demands Single sink node Given: Cost on edges Function of demand Design a Network: Connect sources to sink Minimize Cost Sink Sources

Concave Cost Functions D(e) = Demand along edge e C(e) = Cost along e C(e) concave function of D(e) Non-decreasing Goal: Min-cost network Theorem: Network is a tree C(e) D(e) 0

Why Concave Functions? Economies of Scale More capacity cheaper per unit demand T3 lines cheaper than 40 T1 lines Discreteness in quantity Cannot purchase arbitrarily small capacity Cannot buy 0.1 T1 line

Two Problems Cost-Distance Problem: Cost functions could be arbitrary Eg: Multi-level Facility Location [ ACS00,GMM00 ] Our result: O(log n) approximation Edge Installation Problem: Cost function per unit length same on all edges Eg: Buy-at-bulk network design [ SCRS97,AA97 ] Our result: O(1) approximation

Previous Results Edge Installation Problem: O(log n log log n) approx [ AA97 ] Based on tree embedding [ Bartal96 ] Special Cases: Steiner Trees: 1.55 approx [ RZ00 ] Maybecast: O(1) approx [ KM00,GMM00 ] Access Network Design: O(1) approx [ GMM00 ] Multi-level FL: O(1) approx [ ACS00,GMM00 ]

General Technique Try to aggregate demand: Cheaper to transport Quantify merge cost in terms of OPT Re-solve on the smaller instance OPT on new instance (hopefully) smaller Aggregation Techniques: Cost-Distance: Merge pairs using paths Edge Installation: Merge entire groups using Steiner and Shortest path forests

Cost-Distance Problem With: Adam Meyerson, Serge Plotkin Stanford University Appeared in FOCS, 2000

Dealing with Concavity Piece-wise linear approximation C(e) D(e) 0

The Building Blocks Edge cost: C(e)= F(e) + I(e) D(e) F(e) = Fixed Cost I(e) = Distance Concave functions: Parallel edges with different (F,I) combinations Network has two metrics C(e) D(e)0 F(e) I(e)

Fixed Cost Function C(e) = F(e) C(e) independent of D(e) Min-cost network? Steiner Trees C(e) D(e) 0 F(e)

Distance Function C(e) = I(e) D(e) C(e) proportional to D(e) Min-cost network? Shortest Paths C(e) D(e) 0 I(e)

Formal Statement Given: A set of nodes wishing to communicate to a single sink A multi-graph of feasible edges Each edge has a fixed cost and a distance Select: Edges connecting nodes to sink Minimize: Sum of fixed cost and the shortest- path distances in the respective metrics Assume: Equal demands

Numerical Example Sink 0,3 3,1 0,3 3,1 0,3 3,1

Solution Sink Cost = 3* =

Example: Facility Location c(i,j) f(i) d(j) Optimize:  c(i,j) d(j) +  f(i) ( f(i),0 ) Sink ( 0,c(i,j) ) d(j)

Solution Idea Merging demand reduces cost: Pair demands using a matching Choose one node in pair as center and send demand to it MC(u,v) = Cost used for matching MC(u,v) = F(u,v) + Dem * I(u,v) Dem = Demand collected at u or v OPT tree has natural matching: Each edge used at most once Cost of matching at most OPT I(u,v)  I(u,s) + I(v,s) Matching in OPT’s solution s uv

Algorithm: Basic Iteration Compute min-cost matching Cost at most OPT For each pair Choose random center Send demand there Re-compute on the centers O(log n) iterations Cost of OPT on centers?

Optimal Solution Improves Fixed Cost improves E[Distance] cannot worsen Idea: If center closer to sink in OPT, distance improves E[Cost of OPT] improves

Main Results Randomized Algorithm E[Cost of Stage]  OPT E[Overall Cost]  O(log n) * OPT De-randomization using LP rounding [ CKN01 ] Only a constant lower bound known 1.48 lower bound for facility location [ GK98 ]

Room for Improvement? Intuitively, OPT should be improving Cannot quantify improvement The problem may be too general... What if the cost function is more special? Better merging schemes with quantifiable improvement?

Edge Installation Problem With: Sudipto Guha, Univ. of Pennsylvania Adam Meyerson, Stanford University Appeared in FOCS 2000 and STOC 2001

Recall... Given: Length metric L(e) on edges Cost per unit length same on all edges C(e) = L(e) * f(D(e)) f(x) concave; independent of edge Aggregation paradigm: Can aggregate multiple demands along forests Contrast with aggregating pairs of demands

Motivation Buy at Bulk Network Design [ SCRS97,AA97 ] Provisioning cables by ISPs Cable types: T1: 1.5 Mbps $25/mile T3 : 44 Mbps $400/mile Cost/Length same on all edges! Other examples Steiner Trees Maybecast problem [ KM00,GMM00 ]

Simpler Approximation Change of notation: c(e) = Cost/Length along e Same function on all edges Use functions of the form: Fixed Cost: c(e) = F Distance: c(e) = I * D(e) Factor 2 approximation c(e) D(e) 0

Fixed Cost Function c(e) = F c(e) independent of D(e) Min-cost network? Steiner Trees c(e) D(e) 0 F

Distance Function c(e) = I * D(e) c(e) proportional to D(e) Min-cost network? Shortest Paths c(e) D(e) 0 I

c(e) 0 D(e) F U c(e) 0 D(e) F U Max Function I I Basic Building Blocks Min Function Break point U same for all edges!

Max: Solution Idea Consolidate along Steiner forest till D(e) > U Then use Shortest paths to sink Shortest Path SteinerD(e) < U D(e) > U c(e) 0 D(e) F U I Steiner Sh. Path

Steiner Forest? Construct Steiner tree on demand points and sink Route demands towards sink Cut edges where D(e) > U D(e) > U

What’s the Cost? Construct feasible solutions from the optimal solution F(S) 2 OPT OPT pays F on its edges We construct approx Steiner tree I(S) F(S) + OPT Route back fractionally to demands Then route along OPT OPT pays I * D(e) on its edges F(S) + I(S) 5 OPT I(S) OPT F(S) OUR

Min: Cost Structure D(e) < U Shortest Path forest D(e) > U Steiner tree to sink c(e) 0 D(e) F U SteinerSh. Path I

Shortest Path Forest? Equivalent to the following: Given: A set of demand nodes Length metric on edges Select: A set of facilities Send at least U demand per facility Minimize total routing cost Load Balanced Facility Location O(1) approximation [ KM00,GMM00 ] Demand > U

Intuitive Algorithm Construct LBFL solution on demand points Construct Steiner tree to the sink O(1) approximation again [ KM00, GMM00 ] Facilities Demand > U D(e) > U D(e) < U

Putting it together c(e) D(e) 0 SteinerSh. Path F I 2F Layered ConstructionPiecewise Approximation D > U1 D > U2 D > U3 U1 U2U3

Scaling Technique Make F and I scale: F, 2F, 4F, … I, I/2, I/4, … Lose a constant factor Cost per unit demand reduces dramatically from one layer to next OPT improves significantly on merging demand!!! O(1) approximation c(e) D(e) 0 F > 2F I < I/2

Open Problems Better approximation ratio LP rounding - CFL algorithm [ GKKRY01 ] Utilize Steiner nodes better? Multiple sink edge installation O(log n log log n) approx [ AA97 ]