Distributed edge coloring and a special case of the constructive lovász local lemma

Abstract

The complexity of distributed edge coloring depends heavily on the palette size as a function of the maximum degree Δ. In this article, we explore the complexity of edge coloring in the LOCAL model in different palette size regimes. Our results are as follows. Lower Bounds: First, we simplify the round elimination technique of Brandt et al. [16] and prove that (2Δ - 2)-edge coloring requires Ω(logΔ logn) time with high probability and Ω(logΔ n) time deterministically, even on trees. Second, we show that a natural approach to computing (Δ + 1)-edge colorings (Vizing's theorem), namely, extending an arbitrary partial coloring by iteratively recoloring subgraphs, requires Ω(Δlogn) time. Upper Bounds on General Graphs: We give a randomized edge coloring algorithm that can use palette sizes as small as Δ + O ( √ Δ), which is a natural barrier for randomized approaches. The running time of our (1 + ∈)Δ-edge coloring algorithm is usually dominated by O(log ∈ -1) calls to a distributed Lovasz local lemma (LLL) algorithm. For example, using the Chung-Pettie-Su LLL algorithm, we compute a (1 + ∈)Δ-edge coloring in O(logn) time when ∈ ≥ (log3 Δ)/ √ Δ, or O(logΔ n) + (log logn)3+o(1) time when ∈ = Ω(1). When Δ is sublogarithmic in n the performance is improved with the Ghaffari-Harris-Kuhn LLL algorithm. Upper Bounds on Trees: We show that the Ω(logΔ logn) lower bound can be nearly matched on trees. To establish this result, we develop a new distributed Lovasz local lemma algorithm for tree-structured dependency graphs, which arise naturally from O(1)-round probabilistic algorithms run on trees. Specifically, our (1 + ∈)Δ-edge coloring algorithm for trees takes O(log(1/∈ )) max{ log log n log log log n , loglog Δ logn} time when∈ ≥ (log3 Δ)/ √ Δ, orO(max{ log log n log log log n , logΔ logn}) time when ∈ = Ω(1).