Primal-dual based distributed algorithms for vertex cover with semi-hard capacities

In this paper we consider the weighted, capacitated vertex cover problem with hard capacities (capVC). Here, we are given an undirected graph <i>G=(V,E)</i>, non-negative vertex weights <i>wt<inf>v</inf></i> for all vertices <i>v ∈ V</i>, and node-capacities <i>B<inf>v</inf> ≥ 1</i> for all <i>v ∈ V</i>. A feasible solution to a given capVC instance consists of a vertex cover <i>C ⊆ V</i>. Each edge <i>e ∈ E</i> is assigned to one of its endpoints in <i>C</i> and the number of edges assigned to any vertex <i>v ∈ C</i> is at most <i>B<inf>v</inf></i>. The goal is to minimize the total weight of <i>C</i>.For a parameter <i>ε>0</i> we give a deterministic, distributed algorithm for the capVC problem that computes a vertex cover <i>C</i> of weight at most <i>(2+ε) • opt</i> where <i>opt</i> is the weight of a minimum-weight feasible solution to the given instance. The number of edges assigned to any node <i>v ∈ C</i> is at most <i>(4+ε)• B<inf>v</inf></i>. The running time of our algorithm is <i>O(log (n W)/ε)</i>, where n is the number of nodes in the network and <i>W=wt<inf>max</inf>/weight<inf>min</inf></i> is the ratio of largest to smallest weight.This result is complemented by a lower-bound saying that any distributed algorithm for capVC which requires a poly-logarithmic number of rounds is bound to violate the capacity constraints by a factor two.The main feature of the algorithm is that it is derived in a systematic fashion starting from a primal-dual sequential algorithm.

[1]  Michael Luby Removing Randomness in Parallel Computation without a Processor Penalty , 1993, J. Comput. Syst. Sci..

[2]  Alessandro Panconesi,et al.  Nearly optimal distributed edge colouring in O(log log n) rounds , 1997, SODA '97.

[3]  Aravind Srinivasan,et al.  The local nature of Δ-coloring and its algorithmic applications , 1995, Comb..

[4]  Michael Luby,et al.  A simple parallel algorithm for the maximal independent set problem , 1985, STOC '85.

[5]  Samir Khuller,et al.  Capacitated vertex covering with applications , 2002, SODA '02.

[6]  Reuven Bar-Yehuda,et al.  A Local-Ratio Theorem for Approximating the Weighted Vertex Cover Problem , 1983, WG.

[7]  Peng-Jun Wan,et al.  Distributed Construction of Connected Dominating Set in Wireless Ad Hoc Networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[8]  Rajmohan Rajaraman,et al.  Topology control and routing in ad hoc networks: a survey , 2002, SIGA.

[9]  Vijay V. Vazirani,et al.  Primal-Dual RNC Approximation Algorithms for Set Cover and Covering Integer Programs , 1999, SIAM J. Comput..

[10]  Vijay V. Vazirani,et al.  Primal-dual RNC approximation algorithms for (multi)-set (multi)-cover and covering integer programs , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[11]  Peng-Jun Wan,et al.  Distributed Construction of Connected Dominating Set in Wireless Ad Hoc Networks , 2004, Mob. Networks Appl..

[12]  Joseph Naor,et al.  Covering problems with hard capacities , 2002, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[13]  Rajiv Gandhi,et al.  Dependent rounding in bipartite graphs , 2002, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[14]  Roger Wattenhofer,et al.  Constant-time distributed dominating set approximation , 2003, PODC '03.

[15]  Alessandro Panconesi,et al.  Blue pleiades, a new solution for device discovery and scatternet formation in multi-hop Bluetooth networks , 2007, Wirel. Networks.

[16]  Eran Halperin,et al.  Improved approximation algorithms for the vertex cover problem in graphs and hypergraphs , 2000, SODA '00.

[17]  Alessandro Panconesi,et al.  Nearly optimal distributed edge coloring in O (log log n ) rounds , 1997 .

[18]  Dorit S. Hochbaum,et al.  Approximation Algorithms for the Set Covering and Vertex Cover Problems , 1982, SIAM J. Comput..

[19]  Samir Khuller,et al.  A Primal-Dual Parallel Approximation Technique Applied to Weighted Set and Vertex Covers , 1994, J. Algorithms.

[20]  Lujun Jia,et al.  An efficient distributed algorithm for constructing small dominating sets , 2002, Distributed Computing.

[21]  Rajiv Gandhi,et al.  An improved approximation algorithm for vertex cover with hard capacities , 2003, J. Comput. Syst. Sci..

[22]  Vijay V. Vazirani,et al.  Approximation algorithms for metric facility location and k-Median problems using the primal-dual schema and Lagrangian relaxation , 2001, JACM.

[23]  Samir Khuller,et al.  An improved approximation algorithm for vertex cover with hard capacities (extended abstract) , 2003 .

[24]  Uriel Feige A threshold of ln n for approximating set cover (preliminary version) , 1996, STOC '96.

[25]  R. Rajaraman,et al.  An efficient distributed algorithm for constructing small dominating sets , 2002 .