-
Towards Optimal Distributed Edge Coloring with Fewer Colors
Authors:
Manuel Jakob,
Yannic Maus,
Florian Schager
Abstract:
There is a huge difference in techniques and runtimes of distributed algorithms for problems that can be solved by a sequential greedy algorithm and those that cannot. A prime example of this contrast appears in the edge coloring problem: while $(2Δ-1)$-edge coloring can be solved in $\mathcal{O}(\log^{\ast}(n))$ rounds on constant-degree graphs, the seemingly minor reduction to $(2Δ-2)$ colors le…
▽ More
There is a huge difference in techniques and runtimes of distributed algorithms for problems that can be solved by a sequential greedy algorithm and those that cannot. A prime example of this contrast appears in the edge coloring problem: while $(2Δ-1)$-edge coloring can be solved in $\mathcal{O}(\log^{\ast}(n))$ rounds on constant-degree graphs, the seemingly minor reduction to $(2Δ-2)$ colors leads to an $Ω(\log n)$ lower bound [Chang, He, Li, Pettie & Uitto, SODA'18]. Understanding this sharp divide between very local problems and inherently more global ones remains a central open question in distributed computing and it is a core focus of this paper.
As our main contribution we design a deterministic distributed $\mathcal{O}(\log n)$-round reduction from the $(2Δ-2)$-edge coloring problem to the much easier $(2Δ-1)$-edge coloring problem. This reduction is optimal, as the $(2Δ-2)$-edge coloring problem admits an $Ω(\log n)$ lower bound, whereas the $2Δ-1$-edge coloring problem can be solved in $\mathcal{O}(\log^{\ast}n)$ rounds. By plugging in the $(2Δ-1)$-edge coloring algorithms from [Balliu, Brandt, Kuhn & Olivetti, PODC'22] running in $\mathcal{O}(\log^{12}Δ+ \log^{\ast} n)$ rounds, we obtain an optimal runtime of $\mathcal{O}(\log n)$ rounds as long as $Δ= 2^{\mathcal{O}(\log^{1/12} n)}$. Furthermore, on general graphs our reduction improves the runtime from $\widetilde{\mathcal{O}}(\log^3 n)$ to $\widetilde{\mathcal{O}}(\log^{5/3} n)$.
In addition, we also obtain an optimal $\mathcal{O}(\log \log n)$-round randomized reduction of $(2Δ- 2)$-edge coloring to $(2Δ- 1)$-edge coloring. Lastly, we obtain an $\mathcal{O}(\log_Δn)$-round reduction from the $(2Δ-1)$-edge coloring, albeit to the somewhat harder maximal independent set (MIS) problem.
△ Less
Submitted 26 May, 2025; v1 submitted 17 April, 2025;
originally announced April 2025.
-
On the Locality of Hall's Theorem
Authors:
Sebastian Brandt,
Yannic Maus,
Ananth Narayanan,
Florian Schager,
Jara Uitto
Abstract:
The last five years of research on distributed graph algorithms have seen huge leaps of progress, both regarding algorithmic improvements and impossibility results: new strong lower bounds have emerged for many central problems and exponential improvements over the state of the art have been achieved for the runtimes of many algorithms. Nevertheless, there are still large gaps between the best kno…
▽ More
The last five years of research on distributed graph algorithms have seen huge leaps of progress, both regarding algorithmic improvements and impossibility results: new strong lower bounds have emerged for many central problems and exponential improvements over the state of the art have been achieved for the runtimes of many algorithms. Nevertheless, there are still large gaps between the best known upper and lower bounds for many important problems. The current lower bound techniques for deterministic algorithms are often tailored to obtaining a logarithmic bound and essentially cannot be used to prove lower bounds beyond $Ω(\log n)$. In contrast, the best deterministic upper bounds are often polylogarithmic, raising the fundamental question of how to resolve the gap between logarithmic lower and polylogarithmic upper bounds and finally obtain tight bounds. We develop a novel algorithm design technique aimed at closing this gap. In essence, each node finds a carefully chosen local solution in $O(\log n)$ rounds and we guarantee that this solution is consistent with the other nodes' solutions without coordination. The local solutions are based on a distributed version of Hall's theorem that may be of independent interest and motivates the title of this work. We showcase our framework by improving on the state of the art for the following fundamental problems: edge coloring, bipartite saturating matchings and hypergraph sinkless orientation. In particular, we obtain an asymptotically optimal $O(\log n)$-round algorithm for $3Δ/2$-edge coloring in bounded degree graphs. The previously best bound for the problem was $O(\log^4 n)$ rounds, obtained by plugging in the state-of-the-art maximal independent set algorithm from arXiv:2303.16043 into the $3Δ/2$-edge coloring algorithm from arXiv:1711.05469 .
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
A Bijection between Stacked Directed Polyominoes and Motzkin Paths with Alternative Catastrophes
Authors:
Florian Schager,
Michael Wallner
Abstract:
We present a novel bijection between stacked directed polyominoes and Motzkin paths with alternative catastrophes. Further, we show how this new connection can be used in order to obtain a better understanding of certain parameters of stacked directed animals.
We present a novel bijection between stacked directed polyominoes and Motzkin paths with alternative catastrophes. Further, we show how this new connection can be used in order to obtain a better understanding of certain parameters of stacked directed animals.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Fixed-Parameter Algorithms for Computing RAC Drawings of Graphs
Authors:
Cornelius Brand,
Robert Ganian,
Sebastian Röder,
Florian Schager
Abstract:
In a right-angle crossing (RAC) drawing of a graph, each edge is represented as a polyline and edge crossings must occur at an angle of exactly $90^\circ$, where the number of bends on such polylines is typically restricted in some way. While structural and topological properties of RAC drawings have been the focus of extensive research, little was known about the boundaries of tractability for co…
▽ More
In a right-angle crossing (RAC) drawing of a graph, each edge is represented as a polyline and edge crossings must occur at an angle of exactly $90^\circ$, where the number of bends on such polylines is typically restricted in some way. While structural and topological properties of RAC drawings have been the focus of extensive research, little was known about the boundaries of tractability for computing such drawings. In this paper, we initiate the study of RAC drawings from the viewpoint of parameterized complexity. In particular, we establish that computing a RAC drawing of an input graph $G$ with at most $b$ bends (or determining that none exists) is fixed-parameter tractable parameterized by either the feedback edge number of $G$, or $b$ plus the vertex cover number of $G$.
△ Less
Submitted 23 August, 2023; v1 submitted 21 August, 2023;
originally announced August 2023.
