Comparing Min-Cost and Min-Power Connectivity Problems Guy Kortsarz Rutgers University, Camden, NJ.

Slides:



Advertisements
Similar presentations
Lower Bounds for Additive Spanners, Emulators, and More David P. Woodruff MIT and Tsinghua University To appear in FOCS, 2006.
Advertisements

Iterative Rounding and Iterative Relaxation
Network Design with Degree Constraints Guy Kortsarz Joint work with Rohit Khandekar and Zeev Nutov.
Bipartite Matching, Extremal Problems, Matrix Tree Theorem.
The Fault-Tolerant Group Steiner Problem Rohit Khandekar IBM Watson Joint work with G. Kortsarz and Z. Nutov.
Approximation, Chance and Networks Lecture Notes BISS 2005, Bertinoro March Alessandro Panconesi University La Sapienza of Rome.
Approximating Maximum Subgraphs Without Short Cycles Guy Kortsarz Join work with Michael Langberg and Zeev Nutov.
Approximation Algorithms Chapter 5: k-center. Overview n Main issue: Parametric pruning –Technique for approximation algorithms n 2-approx. algorithm.
Combinatorial Algorithms
Approximation Some Network Design Problems With Node Costs Guy Kortsarz Rutgers University, Camden, NJ Joint work with Zeev Nutov The Open University,
Lectures on Network Flows
Approximation Algorithms for Non-Uniform Buy-at-Bulk Network Design Problems Mohammad R. Salavatipour Department of Computing Science University of Alberta.
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
CPSC 689: Discrete Algorithms for Mobile and Wireless Systems Spring 2009 Prof. Jennifer Welch.
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.
Approximation Algorithm: Iterative Rounding Lecture 15: March 9.
A general approximation technique for constrained forest problems Michael X. Goemans & David P. Williamson Presented by: Yonatan Elhanani & Yuval Cohen.
Sublinear Algorithms for Approximating Graph Parameters Dana Ron Tel-Aviv University.
Approximation Algorithms
Robust Network Design with Exponential Scenarios By: Rohit Khandekar Guy Kortsarz Vahab Mirrokni Mohammad Salavatipour.
1 Vertex Cover Problem Given a graph G=(V, E), find V' ⊆ V such that for each edge (u, v) ∈ E at least one of u and v belongs to V’ and |V’| is minimized.
Increasing graph connectivity from 1 to 2 Guy Kortsarz Joint work with Even and Nutov.
Symmetric Connectivity With Minimum Power Consumption in Radio Networks G. Calinescu (IL-IT) I.I. Mandoiu (UCSD) A. Zelikovsky (GSU)
Approximating complete partitions Guy Kortsarz Joint work with J. Radhakrishnan and S.Sivasubramanian.
Survey of Some Connectivity Approximation Problems via Survey of Techniques Guy Kortsarz Rutgers University, Camden, NJ.
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.
A 2-Approximation algorithm for finding an optimum 3-Vertex-Connected Spanning Subgraph.
On The Achromatic Number Problem Guy Kortsarz Rutgers University, Camden.
1 Combinatorial Dominance Analysis Keywords: Combinatorial Optimization (CO) Approximation Algorithms (AA) Approximation Ratio (a.r) Combinatorial Dominance.
Approximating Minimum Power Degree and Connectivity Problems Zeev Nutov The Open University of Israel Joint Work with: Guy Kortsarz Vahab Mirrokni Elena.
Approximating Node-Weighted Survivable Networks Zeev Nutov The Open University of Israel.
Power Optimization for Connectivity Problems MohammadTaghi Hajiaghayi, Guy Kortsarz, Vahab S. Mirrokni, Zeev Nutov IPCO 2005.
1 Introduction to Approximation Algorithms Lecture 15: Mar 5.
Near-Optimal Network Design With Selfish Agents Elliot Anshelevich, Anirban Dasgupta, Éva Tardos, Tom Wexler STOC’03, June 9–11, 2003, San Diego, California,
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.
Approximating Source Location and Star Survivable Network Problems Zeev Nutov The Open University of Israel Joint work with Guy Kortsarz.
V. V. Vazirani. Approximation Algorithms Chapters 3 & 22
Primal-Dual Meets Local Search: Approximating MST’s with Non-uniform Degree Bounds Author: Jochen Könemann R. Ravi From CMU CS 3150 Presentation by Dan.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Edge Covering problems with budget constrains By R. Gandhi and G. Kortsarz Presented by: Alantha Newman.
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.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Approximating the Minimum Degree Spanning Tree to within One from the Optimal Degree R 陳建霖 R 宋彥朋 B 楊鈞羽 R 郭慶徵 R
T HE INTERESTING BEHAVIOR OF THE SOURCE LOCATION PROBLEM G. Kortsarz, Rutgers Camden.
Private Approximation of Search Problems Amos Beimel Paz Carmi Kobbi Nissim Enav Weinreb (Technion)
Data Structures & Algorithms Graphs
1/24 Introduction to Graphs. 2/24 Graph Definition Graph : consists of vertices and edges. Each edge must start and end at a vertex. Graph G = (V, E)
Orienteering and related problems: mini-survey and open problems Chandra Chekuri University of Illinois (UIUC)
Approximating the k Steiner Forest and Capacitated non preemptive dial a ride problems, with almost uniform weights Guy Kortsarz Joint work with Dinitz.
© Yamacraw, 2002 Symmetric Minimum Power Connectivity in Radio Networks A. Zelikovsky (GSU) Joint work with Joint work with.
© Yamacraw, Fall 2002 Power Efficient Range Assignment in Ad-hoc Wireless Networks E. Althous (MPI) G. Calinescu (IL-IT) I.I. Mandoiu (UCSD) S. Prasad.
The full Steiner tree problem Theoretical Computer Science 306 (2003) C. L. Lu, C. Y. Tang, R. C. T. Lee Reporter: Cheng-Chung Li 2004/06/28.
Improved Approximation Algorithms for Directed Steiner Forest Moran Feldman Technion Joint work with: Guy Kortsarz,Rutgers University Camden Zeev Nutov,The.
Introduction to Graph Theory
CSC 413/513: Intro to Algorithms
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.
Spanning Tree Definition:A tree T is a spanning tree of a graph G if T is a subgraph of G that contains all of the vertices of G. A graph may have more.
Approximation Algorithms Greedy Strategies. I hear, I forget. I learn, I remember. I do, I understand! 2 Max and Min  min f is equivalent to max –f.
Multiroute Flows & Node-weighted Network Design Chandra Chekuri Univ of Illinois, Urbana-Champaign Joint work with Alina Ene and Ali Vakilian.
Proof of correctness of Dijkstra’s algorithm: Basically, we need to prove two claims. (1)Let S be the set of vertices for which the shortest path from.
TU/e Algorithms (2IL15) – Lecture 8 1 MAXIMUM FLOW (part II)
Trees.
TU/e Algorithms (2IL15) – Lecture 11 1 Approximation Algorithms.
Lectures on Network Flows
Improved Approximation for Minimum Power covering problems G. Kortsarz
Approximation Algorithms
Comparing Min-Cost and Min-Power Connectivity Problems
Presentation transcript:

Comparing Min-Cost and Min-Power Connectivity Problems Guy Kortsarz Rutgers University, Camden, NJ

Motivation-Wireless Networks Nodes in the network correspond to transmitters More power  larger transmission range transmitting to distance r requires r  power, 2  r  4 Transmission range = disk centered at the node Battery operated  power conservation critical Type of problems: Find min-power range assignment so that the resulting communication network satisfies prescribed properties.

Directed Networks Define costs c(e) that takes already into account the dependence on the distance. The cost c(e), e = (u,v) would be r  with r the distance and the appropriate . In general, power to send from u to v not the same as v to u Thus power of v in directed graphs: p E' (v)=Max {e  E' leaves v} {c(e)} For example: If no edge leaves v, p(v)=0 p E' ( G)=∑ v p E' (v)

Symmetric Networks Networks where the cost to send from u to v or vise-versa is the same Thus graph undirected and: p E' (v)=Max {e  E' touching v} {c(e)} Many classical problems can and have been studied with respect to the (more difficult) min-power model

b a c d g f e a b d g f e c Range assignmentCommunication network

c(G) = n p(G) = n + 1 c(G) = n p(G) = 1 EXAMPLE UNIT COSTS

Why Not Complete Network? 34 6 a b c a is not directly connected to c. Total power is 25

Example p(a) = 7, p(b) = 7, p(c) = 9, etc a b c d f g h

Requirements Resilience to node-failures (node- connectivity problems) In the most general case: requirement r (u, v) for every u, v  V r (u, v) = 7 means 7 vertex disjoint paths from u to v are required Edge-disjointness not very relevant

The Steiner Network Problem Vertex Version Input: G ( V, E ), costs c(e) for every edge e  E requirements r(u,v) for every u,v  V Required: A subgraph G′ ( V, E′ ) of G so that G′ has r(u,v) vertex disjoint uv-paths for all u,v  V Usual Goal: Mnimize the cost, Alternative Goal: Minimize the power

Example r(u, v) = 2 a b c

Previous Work on Steiner Network The edge + sum version admits 2 approximation. [Jain, 1998]. The algorithm of Jain: Every BFS has an entry of value at least ½. Hence, iterative rounding The min-cost Steiner network problem vertex version admits no ratio approximation unless NP  DTIME(n polylog n ), [Kortsarz, Krauthgamer and Lee, 2002] The result is based on 1R2P with projection property

The Vertex k - Connectivity Problem We are given an integer k The goal is to make the graph resilient to at most k-1 station crashes Design a min-power (min-cost) subgraph G(V, E) so that every u,v  V admits at least k vertex-disjoint paths from u to v

Previous Work for Min-Power Vertex k - Connectivity Min-Power 2 Vertex-connectivity, heurisitic study [Ramanathan, Rosales-Hain, 2000] 11/3 approximation for k=2 (see easy 4 ratio later) [Kortsarz, Mirrokni, Nutov, Tsano, 2006] O(k) approximation [M. Bahramgiri, M. Hajiaghayi and V. Mirrokni, 2002], [M. Hajiaghayi, N. Immorlica, V. Mirrokni 2003]

Recent Result Kortsarz, Mirrokni, Nutov, Tsano show that the vertex k-connectivity problem is ″almost″ equivalent with respect to approximation for cost and power (somewhat surprising) In all other problem variants almost, the two problems behave quite differently Based on a paper by [M. Hajiaghayi, G. Kortsarz, V. Mirrokni and Z. Nutov, IPCO 2005]

Comparing Power And Cost Spanning Tree Case The case k = 1 is the spanning tree case Hence the min-cost version is the minimum spanning tree problem Min-power network: even this simple case is NP-hard [Clementi, Penna, Silvestri, 2000] Best known approximation ratio: 5/3 [E. Althaus, G. Calinescu, S.Prasad, N. Tchervensky, A. Zelikovsky, 2004]

The case k=1: spanning tree The minimum cost spanning tree is a ratio 2 approximation for min-power. Due to: L. M. Kerousis, E. Kranakis, D. Krizank and A. Pelc, 2003

Spanning Tree (cont’) c(T)  p(T): Assign the parent edge e v to v Clearly, p(v)  c(e v ) Taking the sum, the claim follows p(G)  2c(G) (on any graph): Assign to v its power edge e v Every edge is assigned at most twice The cost is at least The power is at exactly

Relating the Min-Power and Min-Cost k - Connectivity Problems An Edge e  G is critical for k vertex- connectivity if G-e is not k vertex- connected Theorem (Mader): In a cycle with every edge is critical there exists at least one vertex of degree k

Reduction to a Forest Solution Say that we know how to approximate by ratio  the following problem: The Min-Power Edge-Multicover problem: Input: G(V, E), c(e), degree requirements r(v) for every v  V Required: A subgraph G(V, E) of minimum power so that deg G(v)  r(v) Remark: polynomial problem for cost version

Reduction to Forest (cont’) Clearly, the power of a min-power Edge-Multicover solution for r(v) = k-1 for every v is a lower bound on the optimum min-power k-connected graph Hence at cost at most  opt we may start with minimum degree k -1

Reduction to Forest (cont’) Let H be any feasible solution for the Edge-Multicover problem with r(v) = k-1 for all v Claim: Let G = H + F with F any minimal augmentation of H into a k vertex-connected subgraph. Then F is a forest

Reduction to Forest (cont’) Proof: Say that F has a cycle. Consider a cycle C in F All the edges of C are critical in H + F By Mader’s theorem there must be a vertex v in the cycle with degree k But  H(C) = k - 1, thus  (H+F)(C)  k+1, contradiction

Comparing the Cost and the Power Theorem: If MCKK admits an  approximation then MPKK admits  + 2  approximation. Similarly:  approximation for min-power k- connectivity gives  +  approximation for min-cost k - connectivity [M. Hajiaghayi, G. Kortsarz, V. Mirrokni and Z. Nutov, 2005] Proof: Start with a β approximation H for the min- power vertex r(v) = k-1 cover problem Apply the best min-cost approximation to turn H to a minimum cost vertex k - connected subgraph H + F, F minimal

Comparing the Cost and the Power (cont’) Since F is minimal, by Mader’s theorem F is a forest Let F* be the optimum augmentation. Then the following inequalities hold: 1) c(F)   c(F*) (this holds because  approximation) 2) p(F)  2c(F) (always true) 3) c(F*)  p(F*) (F* is a forest); 4) p(F)  2c(F)  2  c(F*)  2  p(F*) QED

Best Results Known for Min-Cost Vertex k - Connectivity Simple k-ratio approximation [G. Kortsarz, Z Nutov, 2000] Undirected graphs, k  (n/6) 1/2, O(log n) approximation [J. Cheriyan, A.Vetta and S.Vempala, 2002] For any k (directed graphs as well): O(n/(n - k))  log 2 k [G. Kortsarz and Z. Nutov, 2004] For k = n - o(n), k 1/2 [G. Kortsarz and Z. Nutov, 2004]

Approximating the Min-Power Edge - Multicover Problem and Related Variants Example: some versions may be difficult. Say that we are given a budget k and all requirements are at least k - 1. All edge costs are 1. Required: a subgraph of power at most k that meets the maximum requirement possible.

Approximating the Min-Power Edge- Multiover Problem (cont’) The problem resulting is the densest k-subgraph problem Best known ratio: n 1/3 -  for  about 1/60 [U. Feige, G. Kortsarz and D. Peleg, 1996]

Very hard technical difficulty: Any edge adds power to both sides. Because of that: take k best edges, ratio k Usefull first reduction: ab c d a’b’ C’ d’ a’’b’’ c’’d’’ Approximating Edge-Multicover

An Overview Hence assume input B(X,Y,E) bipartite. Only Y have demands. However: both X and Y have costs Assume opt is known Main idea: Find F so that: p F(V)  3  opt r F(B)  (1 - 1/e)  r(B) / 2 Clearly, this implies O(log n) ratio as r(B)=O(n 2 )

Reduction to a Special Variant of the Max-Coverage Problem Let R = r(Y) The edge e = (x,y) is dangerous if cost(e)  2opt  r(y)/R; A dangerous edge requires more than twice “its share” of the cost Dangerous edges can be “ignored”; They cover at most half the demand. Thus

The Cost Incurred by Non- Dangerous Edges Since no dangerous edges used the cost is at most Hence, focus on non-dangerous edges because even if every y  Y is touched by its heaviest (non-dangerous) edge the total cost on the Y side is O(opt). Only try to minimize the cost invoked at X This is reducible to a generalization of set-coverage

The Max-Coverage Problem With Group Budget Constrains Select at most one of the following sets: C=5 C=2C=7C=

Approximating Set-Coverage with Group Budget Constrains We reduced to a problem similar to the max- coverage algorithm However, we have group constrains: sets are split into groups. At most one set can be selected of every group Can be approximated within (1-1/e) By pipage rounding [Ageev,Sviridenko 2000] Invest opt, cover (1-1/e)/2 of the demand O(log n) ratio approximation

Remarks Only Max-SNP hardness is known for min- power edge-coverage For general r ij only 4  r max upper bound is known, [KMNT] The edge case admits n 1/2 approximation [HKMN] Directed variants: even k edge-disjoint path from x to y 1R2p Hard [KMNT]

Open Problems The case r(u,v)  {0, 1}. We recently broke the obvious ratio 4 (any solution is a forest so use ratio 2 for min- cost to get 2  2=4). Our ratio is 11/3. What is the best ratio? Does min-cost (min-power) vertex k-connectivity admit  (log n) lower bound? This problem related to deep concepts in graphs known as critical graphs Does the min-power edge-multicover problem admit an  (log n) lower bound? Can we give polylog for k vertex-connectivity directed graphs?