105,870 research outputs found
On Strong Diameter Padded Decompositions
Given a weighted graph G=(V,E,w), a partition of V is Delta-bounded if the diameter of each cluster is bounded by Delta. A distribution over Delta-bounded partitions is a beta-padded decomposition if every ball of radius gamma Delta is contained in a single cluster with probability at least e^{-beta * gamma}. The weak diameter of a cluster C is measured w.r.t. distances in G, while the strong diameter is measured w.r.t. distances in the induced graph G[C]. The decomposition is weak/strong according to the diameter guarantee.
Formerly, it was proven that K_r free graphs admit weak decompositions with padding parameter O(r), while for strong decompositions only O(r^2) padding parameter was known. Furthermore, for the case of a graph G, for which the induced shortest path metric d_G has doubling dimension ddim, a weak O(ddim)-padded decomposition was constructed, which is also known to be tight. For the case of strong diameter, nothing was known.
We construct strong O(r)-padded decompositions for K_r free graphs, matching the state of the art for weak decompositions. Similarly, for graphs with doubling dimension ddim we construct a strong O(ddim)-padded decomposition, which is also tight. We use this decomposition to construct (O(ddim),O~(ddim))-sparse cover scheme for such graphs. Our new decompositions and cover have implications to approximating unique games, the construction of light and sparse spanners, and for path reporting distance oracles
Topological minors of cover graphs and dimension
We show that posets of bounded height whose cover graphs exclude a fixed
graph as a topological minor have bounded dimension. This result was already
proven by Walczak. However, our argument is entirely combinatorial and does not
rely on structural decomposition theorems. Given a poset with large dimension
but bounded height, we directly find a large clique subdivision in its cover
graph. Therefore, our proof is accessible to readers not familiar with
topological graph theory, and it allows us to provide explicit upper bounds on
the dimension. With the introduced tools we show a second result that is
supporting a conjectured generalization of the previous result. We prove that
-free posets whose cover graphs exclude a fixed graph as a topological
minor contain only standard examples of size bounded in terms of .Comment: revised versio
Space and Time Efficient Parallel Graph Decomposition, Clustering, and Diameter Approximation
We develop a novel parallel decomposition strategy for unweighted, undirected
graphs, based on growing disjoint connected clusters from batches of centers
progressively selected from yet uncovered nodes. With respect to similar
previous decompositions, our strategy exercises a tighter control on both the
number of clusters and their maximum radius.
We present two important applications of our parallel graph decomposition:
(1) -center clustering approximation; and (2) diameter approximation. In
both cases, we obtain algorithms which feature a polylogarithmic approximation
factor and are amenable to a distributed implementation that is geared for
massive (long-diameter) graphs. The total space needed for the computation is
linear in the problem size, and the parallel depth is substantially sublinear
in the diameter for graphs with low doubling dimension. To the best of our
knowledge, ours are the first parallel approximations for these problems which
achieve sub-diameter parallel time, for a relevant class of graphs, using only
linear space. Besides the theoretical guarantees, our algorithms allow for a
very simple implementation on clustered architectures: we report on extensive
experiments which demonstrate their effectiveness and efficiency on large
graphs as compared to alternative known approaches.Comment: 14 page
On constructions preserving the asymptotic topology of metric spaces
We prove that graph products constructed over infinite graphs with bounded
clique number preserve finite asymptotic dimension. We also study the extent to
which Dranishnikov's property C, and Dranishnikov and Zarichnyi's straight
finite decomposition complexity are preserved by constructions such as unions,
free products, and group extensions.Comment: 13 pages, accepted for publication in NC Journal of Mathematics and
Statistic
Canonisation and Definability for Graphs of Bounded Rank Width
We prove that the combinatorial Weisfeiler-Leman algorithm of dimension
is a complete isomorphism test for the class of all graphs of rank
width at most . Rank width is a graph invariant that, similarly to tree
width, measures the width of a certain style of hierarchical decomposition of
graphs; it is equivalent to clique width. It was known that isomorphism of
graphs of rank width is decidable in polynomial time (Grohe and Schweitzer,
FOCS 2015), but the best previously known algorithm has a running time
for a non-elementary function . Our result yields an isomorphism
test for graphs of rank width running in time . Another
consequence of our result is the first polynomial time canonisation algorithm
for graphs of bounded rank width. Our second main result is that fixed-point
logic with counting captures polynomial time on all graph classes of bounded
rank width.Comment: 32 page
On Strong Diameter Padded Decompositions
Given a weighted graph , a partition of is -bounded if
the diameter of each cluster is bounded by . A distribution over
-bounded partitions is a -padded decomposition if every ball of
radius is contained in a single cluster with probability at
least . The weak diameter of a cluster is measured
w.r.t. distances in , while the strong diameter is measured w.r.t. distances
in the induced graph . The decomposition is weak/strong according to the
diameter guarantee.
Formerly, it was proven that free graphs admit weak decompositions with
padding parameter , while for strong decompositions only padding
parameter was known. Furthermore, for the case of a graph , for which the
induced shortest path metric has doubling dimension , a weak
-padded decomposition was constructed, which is also known to be tight.
For the case of strong diameter, nothing was known.
We construct strong -padded decompositions for free graphs,
matching the state of the art for weak decompositions. Similarly, for graphs
with doubling dimension we construct a strong -padded decomposition,
which is also tight. We use this decomposition to construct
-sparse cover scheme for such graphs. Our new
decompositions and cover have implications to approximating unique games, the
construction of light and sparse spanners, and for path reporting distance
oracles
- …