125 research outputs found
On globally sparse Ramsey graphs
We say that a graph has the Ramsey property w.r.t.\ some graph and
some integer , or is -Ramsey for short, if any -coloring
of the edges of contains a monochromatic copy of . R{\"o}dl and
Ruci{\'n}ski asked how globally sparse -Ramsey graphs can possibly
be, where the density of is measured by the subgraph with
the highest average degree. So far, this so-called Ramsey density is known only
for cliques and some trivial graphs . In this work we determine the Ramsey
density up to some small error terms for several cases when is a complete
bipartite graph, a cycle or a path, and colors are available
Super-Fast 3-Ruling Sets
A -ruling set of a graph is a vertex-subset
that is independent and satisfies the property that every vertex is
at a distance of at most from some vertex in . A \textit{maximal
independent set (MIS)} is a 1-ruling set. The problem of computing an MIS on a
network is a fundamental problem in distributed algorithms and the fastest
algorithm for this problem is the -round algorithm due to Luby
(SICOMP 1986) and Alon et al. (J. Algorithms 1986) from more than 25 years ago.
Since then the problem has resisted all efforts to yield to a sub-logarithmic
algorithm. There has been recent progress on this problem, most importantly an
-round algorithm on graphs with
vertices and maximum degree , due to Barenboim et al. (Barenboim,
Elkin, Pettie, and Schneider, April 2012, arxiv 1202.1983; to appear FOCS
2012).
We approach the MIS problem from a different angle and ask if O(1)-ruling
sets can be computed much more efficiently than an MIS? As an answer to this
question, we show how to compute a 2-ruling set of an -vertex graph in
rounds. We also show that the above result can be improved
for special classes of graphs such as graphs with high girth, trees, and graphs
of bounded arboricity.
Our main technique involves randomized sparsification that rapidly reduces
the graph degree while ensuring that every deleted vertex is close to some
vertex that remains. This technique may have further applications in other
contexts, e.g., in designing sub-logarithmic distributed approximation
algorithms. Our results raise intriguing questions about how quickly an MIS (or
1-ruling sets) can be computed, given that 2-ruling sets can be computed in
sub-logarithmic rounds
Networks of Complements
We consider a network of sellers, each selling a single product, where the
graph structure represents pair-wise complementarities between products. We
study how the network structure affects revenue and social welfare of
equilibria of the pricing game between the sellers. We prove positive and
negative results, both of "Price of Anarchy" and of "Price of Stability" type,
for special families of graphs (paths, cycles) as well as more general ones
(trees, graphs). We describe best-reply dynamics that converge to non-trivial
equilibrium in several families of graphs, and we use these dynamics to prove
the existence of approximately-efficient equilibria.Comment: An extended abstract will appear in ICALP 201
Parallel Greedy Spanners
A -spanner of a graph is a subgraph that -approximates pairwise
distances. The greedy algorithm is one of the simplest and most well-studied
algorithms for constructing a sparse spanner: it computes a -spanner with
edges by repeatedly choosing any edge which does not close a
cycle of chosen edges with or fewer edges.
We demonstrate that the greedy algorithm computes a -spanner with edges even when a matching of such edges are added in parallel. In
particular, it suffices to repeatedly add any matching where each individual
edge does not close a cycle with or fewer edges but where adding the
entire matching might. Our analysis makes use of and illustrates the power of
new advances in length-constrained expander decompositions
The Three Tree Theorem
We prove that every 2-sphere graph different from a prism can be vertex
4-colored in such a way that all Kempe chains are forests. This implies the
following three tree theorem: the arboricity of a discrete 2-sphere is 3.
Moreover, the three trees can be chosen so that each hits every triangle. A
consequence is a result of an exercise in the book of Bondy and Murty based on
work of A. Frank, A. Gyarfas and C. Nash-Williams: the arboricity of a planar
graph is less or equal than 3.Comment: 17 pages, 3 figure
Linear Time Subgraph Counting, Graph Degeneracy, and the Chasm at Size Six
We consider the problem of counting all k-vertex subgraphs in an input graph, for any constant k. This problem (denoted SUB-CNT_k) has been studied extensively in both theory and practice. In a classic result, Chiba and Nishizeki (SICOMP 85) gave linear time algorithms for clique and 4-cycle counting for bounded degeneracy graphs. This is a rich class of sparse graphs that contains, for example, all minor-free families and preferential attachment graphs. The techniques from this result have inspired a number of recent practical algorithms for SUB-CNT_k. Towards a better understanding of the limits of these techniques, we ask: for what values of k can SUB_CNT_k be solved in linear time?
We discover a chasm at k=6. Specifically, we prove that for k < 6, SUB_CNT_k can be solved in linear time. Assuming a standard conjecture in fine-grained complexity, we prove that for all k ? 6, SUB-CNT_k cannot be solved even in near-linear time
- âŠ