TY - GEN
T1 - Brief Announcement
T2 - 38th ACM Symposium on Principles of Distributed Computing, PODC 2019
AU - Ben Basat, Ran
AU - Even, Guy
AU - Kawarabayashi, Ken Ichi
AU - Schwartzman, Gregory
N1 - Publisher Copyright: © 2019 Association for Computing Machinery. All rights reserved.
PY - 2019/7/16
Y1 - 2019/7/16
N2 - We present a time-optimal deterministic distributed algorithm for approximating a minimum weight vertex cover in hypergraphs of rank f . This problem is equivalent to the Minimum Weight Set Cover problem in which the frequency of every element is bounded by f . The approximation factor of our algorithm is (f +ϵ). Let δ denote the maximum degree in the hypergraph. Our algorithm runs in the congest model and requiresO(log δ/log log δ) rounds, for constants ϵ ϵ (0, 1] and f ϵ ℕ+. This is the first distributed algorithm for this problem whose running time does not depend on the vertex weights nor the number of vertices. Thus adding another member to the exclusive family of provably optimal distributed algorithms. For constant values of f and ϵ, our algorithm improves over the (f + ϵ)-approximation algorithm of [16] whose running time is O(log δ + logW), whereW is the ratio between the largest and smallest vertexweights in the graph. Our algorithm also achieves an f -approximation for the problem in O(f logn) rounds, improving over the classical result of [13] that achieves a running time of O(f log2 n). Finally, forweighted vertex cover (f = 2) our algorithm achieves a deterministic running time of O(logn), matching the randomized previously best result of [14]. We also show that integer covering-programs can be reduced to the Minimum Weight Set Cover problem in the distributed setting. This allows us to achieve an (f +ϵ)-approximate integral solution in (equation presented) rounds, where f bounds the number of variables in a constraint, δ bounds the number of constraints a variable appears in, and M = max {1, 1/amin}, where amin is the smallest normalized constraint coefficient. This significantly improves over the results of [16] for the integral case, which achieves the same guarantees in O (ϵ-4 · f4 · log f · log(M · δ) rounds.
AB - We present a time-optimal deterministic distributed algorithm for approximating a minimum weight vertex cover in hypergraphs of rank f . This problem is equivalent to the Minimum Weight Set Cover problem in which the frequency of every element is bounded by f . The approximation factor of our algorithm is (f +ϵ). Let δ denote the maximum degree in the hypergraph. Our algorithm runs in the congest model and requiresO(log δ/log log δ) rounds, for constants ϵ ϵ (0, 1] and f ϵ ℕ+. This is the first distributed algorithm for this problem whose running time does not depend on the vertex weights nor the number of vertices. Thus adding another member to the exclusive family of provably optimal distributed algorithms. For constant values of f and ϵ, our algorithm improves over the (f + ϵ)-approximation algorithm of [16] whose running time is O(log δ + logW), whereW is the ratio between the largest and smallest vertexweights in the graph. Our algorithm also achieves an f -approximation for the problem in O(f logn) rounds, improving over the classical result of [13] that achieves a running time of O(f log2 n). Finally, forweighted vertex cover (f = 2) our algorithm achieves a deterministic running time of O(logn), matching the randomized previously best result of [14]. We also show that integer covering-programs can be reduced to the Minimum Weight Set Cover problem in the distributed setting. This allows us to achieve an (f +ϵ)-approximate integral solution in (equation presented) rounds, where f bounds the number of variables in a constraint, δ bounds the number of constraints a variable appears in, and M = max {1, 1/amin}, where amin is the smallest normalized constraint coefficient. This significantly improves over the results of [16] for the integral case, which achieves the same guarantees in O (ϵ-4 · f4 · log f · log(M · δ) rounds.
KW - Distributed computing
KW - Graph algorithms
KW - Primal dual
KW - Set cover
KW - Vertex cover
UR - http://www.scopus.com/inward/record.url?scp=85070993257&partnerID=8YFLogxK
U2 - 10.1145/3293611.3331577
DO - 10.1145/3293611.3331577
M3 - منشور من مؤتمر
T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing
SP - 104
EP - 106
BT - PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing
PB - Association for Computing Machinery
Y2 - 29 July 2019 through 2 August 2019
ER -