This paper gives poly-logarithmic-round, distributed δ-approximation algorithms for covering problems with submodular cost and monotone covering constraints (Submodular-cost Covering). The approximation ratio δ is the maximum number of variables in any constraint. Special cases include Covering Mixed Integer Linear Programs (CMIP), and Weighted Vertex Cover (with δ = 2). Via duality, the paper also gives poly-logarithmicround, distributed δ-approximation algorithms for Fractional Packing linear programs (where δ is the maximum number of constraints in which any variable occurs), and for Max Weighted c-Matching in hypergraphs (where δ is the maximum size of any of the hyperedges; for graphs δ = 2). The paper also gives parallel (RNC) 2-approximation algorithms for CMIP with two variables per constraint and Weighted Vertex Cover. The algorithms are randomized. All of the approximation ratios exactly match those of comparable centralized algorithms. 1
Background and resultsMany distributed systems are composed of components that can only communicate locally, yet need to achieve a global (system-wide) goal involving many components. are widely studied [12,38,39,42,49,54]. It is of specific interest to see which fundamental combinatorial optimization problems admit efficient distributed algorithms that achieve approximation guarantees that are as good as those of the best centralized algorithms. Research in this spirit includes works on Set Cover (Dominating Set) [26,40,41], capacitated dominating set [37], Capacitated Vertex Cover [16,17], and many other problems. This paper presents distributed approximation algorithms for some fundamental covering and packing problems.The algorithms use the standard synchronous communication model: in each round, nodes can exchange a constant number of messages with neighbors and perform local computation [54]. There is no restriction on message size or local computation. The algorithms are efficient-they finish in a number of rounds that is poly-logarithmic in the network size [42].
Covering problemsConsider optimization problems of the following form: given a non-decreasing, continuous, and submodular 2 cost function c : R n + → R + , and a set of constraints C where each constraint S ∈ C is closed upwards, 3 1 Preliminary versions appeared in [34,35].