7,486 research outputs found
Fast algorithms for Vizing's theorem on bounded degree graphs
Vizing's theorem states that every graph of maximum degree can
be properly edge-colored using colors. The fastest currently known
-edge-coloring algorithm for general graphs is due to Sinnamon and
runs in time , where and . In this paper
we investigate the case when is constant, i.e., . In
this regime, the running time of Sinnamon's algorithm is , which
can be improved to , as shown by Gabow, Nishizeki, Kariv, Leven,
and Terada. Here we give an algorithm whose running time is only , which
is obviously best possible. We also develop new algorithms for
-edge-coloring in the model of distributed
computation. Namely, we design a deterministic algorithm with
running time and a randomized algorithm
with running time . All these results are new already for . Although our focus is on the constant regime, our results remain
interesting for up to . The key new ingredient in our
algorithms is a novel application of the entropy compression method.Comment: 42 pages, 15 figure
Faster Deterministic Distributed MIS and Approximate Matching
We present an
round deterministic distributed algorithm for the maximal independent set
problem. By known reductions, this round complexity extends also to maximal
matching, vertex coloring, and edge coloring. These four
problems are among the most central problems in distributed graph algorithms
and have been studied extensively for the past four decades. This improved
round complexity comes closer to the lower bound of
maximal independent set and maximal matching [Balliu et al. FOCS '19]. The
previous best known deterministic complexity for all of these problems was
. Via the shattering technique, the improvement permeates
also to the corresponding randomized complexities, e.g., the new randomized
complexity of vertex coloring is now
rounds.
Our approach is a novel combination of the previously known two methods for
developing deterministic algorithms for these problems, namely global
derandomization via network decomposition (see e.g., [Rozhon, Ghaffari STOC'20;
Ghaffari, Grunau, Rozhon SODA'21; Ghaffari et al. SODA'23]) and local rounding
of fractional solutions (see e.g., [Fischer DISC'17; Harris FOCS'19; Fischer,
Ghaffari, Kuhn FOCS'17; Ghaffari, Kuhn FOCS'21; Faour et al. SODA'23]). We
consider a relaxation of the classic network decomposition concept, where
instead of requiring the clusters in the same block to be non-adjacent, we
allow each node to have a small number of neighboring clusters. We also show a
deterministic algorithm that computes this relaxed decomposition faster than
standard decompositions. We then use this relaxed decomposition to
significantly improve the integrality of certain fractional solutions, before
handing them to the local rounding procedure that now has to do fewer rounding
steps
Streaming and Massively Parallel Algorithms for Edge Coloring
A valid edge-coloring of a graph is an assignment of "colors" to its edges such that no two incident edges receive the same color. The goal is to find a proper coloring that uses few colors. (Note that the maximum degree, Delta, is a trivial lower bound.) In this paper, we revisit this fundamental problem in two models of computation specific to massive graphs, the Massively Parallel Computations (MPC) model and the Graph Streaming model:
- Massively Parallel Computation: We give a randomized MPC algorithm that with high probability returns a Delta+O~(Delta^(3/4)) edge coloring in O(1) rounds using O(n) space per machine and O(m) total space. The space per machine can also be further improved to n^(1-Omega(1)) if Delta = n^Omega(1). Our algorithm improves upon a previous result of Harvey et al. [SPAA 2018].
- Graph Streaming: Since the output of edge-coloring is as large as its input, we consider a standard variant of the streaming model where the output is also reported in a streaming fashion. The main challenge is that the algorithm cannot "remember" all the reported edge colors, yet has to output a proper edge coloring using few colors.
We give a one-pass O~(n)-space streaming algorithm that always returns a valid coloring and uses 5.44 Delta colors with high probability if the edges arrive in a random order. For adversarial order streams, we give another one-pass O~(n)-space algorithm that requires O(Delta^2) colors
On the Complexity of Distributed Splitting Problems
One of the fundamental open problems in the area of distributed graph
algorithms is the question of whether randomization is needed for efficient
symmetry breaking. While there are fast, -time randomized
distributed algorithms for all of the classic symmetry breaking problems, for
many of them, the best deterministic algorithms are almost exponentially
slower. The following basic local splitting problem, which is known as the
\emph{weak splitting} problem takes a central role in this context: Each node
of a graph has to be colored red or blue such that each node of
sufficiently large degree has at least one node of each color among its
neighbors. Ghaffari, Kuhn, and Maus [STOC '17] showed that this seemingly
simple problem is complete w.r.t. the above fundamental open question in the
following sense: If there is an efficient -time determinstic
distributed algorithm for weak splitting, then there is such an algorithm for
all locally checkable graph problems for which an efficient randomized
algorithm exists. In this paper, we investigate the distributed complexity of
weak splitting and some closely related problems. E.g., we obtain efficient
algorithms for special cases of weak splitting, where the graph is nearly
regular. In particular, we show that if and are the minimum
and maximum degrees of and if , weak splitting can
be solved deterministically in time
. Further, if and , there is a
randomized algorithm with time complexity
- …