Distributed $(\Delta+1)$-Coloring in Graphs of Bounded Neighborhood Independence

TL;DR

This paper improves the deterministic distributed $( ext{Delta}+1)$-coloring complexity for graphs with bounded neighborhood independence, achieving quasipolylogarithmic time when neighborhood independence is polylogarithmic in $ ext{Delta}$.

Contribution

It provides a significantly faster deterministic coloring algorithm for graphs with bounded neighborhood independence, extending known results to a broader class of graphs.

Findings

Coloring in graphs of neighborhood independence $ heta$ can be done in $( heta\, ext{log}\, ext{Delta})^{O( ext{log} ext{log} ext{Delta}/ ext{log} ext{log} ext{log} ext{Delta})}+O( ext{log}^* n)$ rounds.

The new algorithm is quasipolylogarithmic in $ ext{Delta}$ for polylogarithmic $ heta$.

Existing approaches for $(2 ext{Delta}-1)$-edge coloring fail for hypergraphs of rank at least 3.

Abstract

The distributed coloring problem is arguably one of the key problems studied in the area of distributed graph algorithms. The most standard variant of the problem asks for a proper vertex coloring of a graph with $\Delta+1$ colors, where $\Delta$ is the maximum degree of the graph. Despite an immense amount of work on distributed coloring problems in the distributed setting, determining the deterministic complexity of $(\Delta+1)$-coloring in the standard message passing model remains one of the most important open questions of the area. In this paper, we aim to improve our understanding of the deterministic complexity of $(\Delta+1)$-coloring as a function of $\Delta$ in a special family of graphs for which significantly faster algorithms are already known. The neighborhood independence $\theta$ of a graph is the maximum number of pairwise non-adjacent neighbors of some node of the graph. In general, in graphs of neighborhood independence $\theta=O(1)$ (e.g., line graphs), it is known that $(\Delta+1)$-coloring can be solved in $2^{O(\sqrt{\log\Delta})}+O(\log^* n)$ rounds. In the present paper, we significantly improve this result, and we show that in graphs of neighborhood independence $\theta$, a $(\Delta+1)$-coloring can be computed in $(\theta\cdot\log\Delta)^{O(\log\log\Delta / \log\log\log\Delta)}+O(\log^* n)$ rounds and thus in quasipolylogarithmic time in $\Delta$ as long as $\theta$ is at most polylogarithmic in $\Delta$. We also show that the known approach that leads to a polylogarithmic in $\Delta$ algorithm for $(2\Delta-1)$-edge coloring already fails for edge colorings of hypergraphs of rank at least $3$.