Abstract:We present a deterministic distributed algorithm that computes a $(2\Delta-1)$-edge-coloring, or even list-edge-coloring, in any $n$-node graph with maximum degree $\Delta$, in $O(\log^7 \Delta \log n)$ rounds. This answers one of the long-standing open questions of \emph{distributed graph algorithms} from the late 1980s, which asked for a polylogarithmic-time algorithm. See, e.g., Open Problem 4 in the Distributed Graph Coloring book of Barenboim and Elkin. The previous best round complexities were $2^{O(\sqrt{\log n})}$ by Panconesi and Srinivasan [STOC'92] and $\tilde{O}(\sqrt{\Delta}) + O(\log^* n)$ by Fraigniaud, Heinrich, and Kosowski [FOCS'16]. A corollary of our deterministic list-edge-coloring also improves the randomized complexity of $(2\Delta-1)$-edge-coloring to poly$(\log\log n)$ rounds. The key technical ingredient is a deterministic distributed algorithm for \emph{hypergraph maximal matching}, which we believe will be of interest beyond this result. In any hypergraph of rank $r$ --- where each hyperedge has at most $r$ vertices --- with $n$ nodes and maximum degree $\Delta$, this algorithm computes a maximal matching in $O(r^5 \log^{6+\log r } \Delta \log n)$ rounds. This hypergraph matching algorithm and its extensions lead to a number of other results. In particular, a polylogarithmic-time deterministic distributed maximal independent set algorithm for graphs with bounded neighborhood independence, hence answering Open Problem 5 of Barenboim and Elkin's book, a $((\log \Delta/\varepsilon)^{O(\log (1/\varepsilon))})$-round deterministic algorithm for $(1+\varepsilon)$-approximation of maximum matching, and a quasi-polylogarithmic-time deterministic distributed algorithm for orienting $\lambda$-arboricity graphs with out-degree at most $(1+\varepsilon)\lambda$, for any constant $\varepsilon>0$, hence partially answering Open Problem 10 of Barenboim and Elkin's book.

Distributed Coloring in the SLEEPING Model

Distributed ($#916;+1)-coloring in the physical model

Distributed (Δ + 1)-Coloring in the Physical Model

Solving Sequential Greedy Problems Distributedly with Sub-Logarithmic Energy Cost

Inductive Coloring: Implementing Basic Communication Primitives with Rayleigh-fading Interference

Optimal Distributed Coloring Algorithms for Planar Graphs in the LOCAL model

Distributed Local Broadcasting Algorithms in the Physical Interference Model.

Locally-iterative (Δ+1)-Coloring in Sublinear (in Δ) Rounds

Distributed Delta-Coloring under Bandwidth Limitations

Distributed Graph Coloring: An Approach Based on the Calling Behavior of Japanese Tree Frogs

Deterministic Distributed Edge-Coloring via Hypergraph Maximal Matching

Asynchronous Fault-Tolerant Distributed Proper Coloring of Graphs

List Defective Colorings: Distributed Algorithms and Applications

Deterministic Distributed Edge-Coloring with Fewer Colors

Decentralized Distributed Graph Coloring II: degree+1-Coloring Virtual Graphs

An Optimal Distributed $(Δ+1)$-Coloring Algorithm?

A note on the network coloring game: A randomized distributed $(Δ+1)$-coloring algorithm

Coloring Fast with Broadcasts

A Distributed Palette Sparsification Theorem

Distributed Algorithms, the Lovász Local Lemma, and Descriptive Combinatorics

Topology Recognition and Leader Election in Colored Networks