1,536 research outputs found
Algebraic Methods in the Congested Clique
In this work, we use algebraic methods for studying distance computation and
subgraph detection tasks in the congested clique model. Specifically, we adapt
parallel matrix multiplication implementations to the congested clique,
obtaining an round matrix multiplication algorithm, where
is the exponent of matrix multiplication. In conjunction
with known techniques from centralised algorithmics, this gives significant
improvements over previous best upper bounds in the congested clique model. The
highlight results include:
-- triangle and 4-cycle counting in rounds, improving upon the
triangle detection algorithm of Dolev et al. [DISC 2012],
-- a -approximation of all-pairs shortest paths in
rounds, improving upon the -round -approximation algorithm of Nanongkai [STOC 2014], and
-- computing the girth in rounds, which is the first
non-trivial solution in this model.
In addition, we present a novel constant-round combinatorial algorithm for
detecting 4-cycles.Comment: This is work is a merger of arxiv:1412.2109 and arxiv:1412.266
Distributed coloring in sparse graphs with fewer colors
This paper is concerned with efficiently coloring sparse graphs in the
distributed setting with as few colors as possible. According to the celebrated
Four Color Theorem, planar graphs can be colored with at most 4 colors, and the
proof gives a (sequential) quadratic algorithm finding such a coloring. A
natural problem is to improve this complexity in the distributed setting. Using
the fact that planar graphs contain linearly many vertices of degree at most 6,
Goldberg, Plotkin, and Shannon obtained a deterministic distributed algorithm
coloring -vertex planar graphs with 7 colors in rounds. Here, we
show how to color planar graphs with 6 colors in \mbox{polylog}(n) rounds.
Our algorithm indeed works more generally in the list-coloring setting and for
sparse graphs (for such graphs we improve by at least one the number of colors
resulting from an efficient algorithm of Barenboim and Elkin, at the expense of
a slightly worst complexity). Our bounds on the number of colors turn out to be
quite sharp in general. Among other results, we show that no distributed
algorithm can color every -vertex planar graph with 4 colors in
rounds.Comment: 16 pages, 4 figures - An extended abstract of this work was presented
at PODC'18 (ACM Symposium on Principles of Distributed Computing
Benchmarks for Parity Games (extended version)
We propose a benchmark suite for parity games that includes all benchmarks
that have been used in the literature, and make it available online. We give an
overview of the parity games, including a description of how they have been
generated. We also describe structural properties of parity games, and using
these properties we show that our benchmarks are representative. With this work
we provide a starting point for further experimentation with parity games.Comment: The corresponding tool and benchmarks are available from
https://github.com/jkeiren/paritygame-generator. This is an extended version
of the paper that has been accepted for FSEN 201
- …