3,904 research outputs found
Approximately coloring graphs without long induced paths
It is an open problem whether the 3-coloring problem can be solved in
polynomial time in the class of graphs that do not contain an induced path on
vertices, for fixed . We propose an algorithm that, given a 3-colorable
graph without an induced path on vertices, computes a coloring with
many colors. If the input graph is
triangle-free, we only need many
colors. The running time of our algorithm is if the input
graph has vertices and edges
Exhaustive generation of -critical -free graphs
We describe an algorithm for generating all -critical -free
graphs, based on a method of Ho\`{a}ng et al. Using this algorithm, we prove
that there are only finitely many -critical -free graphs, for
both and . We also show that there are only finitely many
-critical graphs -free graphs. For each case of these cases we
also give the complete lists of critical graphs and vertex-critical graphs.
These results generalize previous work by Hell and Huang, and yield certifying
algorithms for the -colorability problem in the respective classes.
Moreover, we prove that for every , the class of 4-critical planar
-free graphs is finite. We also determine all 27 4-critical planar
-free graphs.
We also prove that every -free graph of girth at least five is
3-colorable, and determine the smallest 4-chromatic -free graph of
girth five. Moreover, we show that every -free graph of girth at least
six and every -free graph of girth at least seven is 3-colorable. This
strengthens results of Golovach et al.Comment: 17 pages, improved girth results. arXiv admin note: text overlap with
arXiv:1504.0697
Deterministic Distributed Edge-Coloring via Hypergraph Maximal Matching
We present a deterministic distributed algorithm that computes a
-edge-coloring, or even list-edge-coloring, in any -node graph
with maximum degree , in rounds. This answers
one of the long-standing open questions of \emph{distributed graph algorithms}
from the late 1980s, which asked for a polylogarithmic-time algorithm. See,
e.g., Open Problem 4 in the Distributed Graph Coloring book of Barenboim and
Elkin. The previous best round complexities were by
Panconesi and Srinivasan [STOC'92] and
by Fraigniaud, Heinrich, and Kosowski [FOCS'16]. A corollary of our
deterministic list-edge-coloring also improves the randomized complexity of
-edge-coloring to poly rounds.
The key technical ingredient is a deterministic distributed algorithm for
\emph{hypergraph maximal matching}, which we believe will be of interest beyond
this result. In any hypergraph of rank --- where each hyperedge has at most
vertices --- with nodes and maximum degree , this algorithm
computes a maximal matching in rounds.
This hypergraph matching algorithm and its extensions lead to a number of
other results. In particular, a polylogarithmic-time deterministic distributed
maximal independent set algorithm for graphs with bounded neighborhood
independence, hence answering Open Problem 5 of Barenboim and Elkin's book, a
-round deterministic
algorithm for -approximation of maximum matching, and a
quasi-polylogarithmic-time deterministic distributed algorithm for orienting
-arboricity graphs with out-degree at most ,
for any constant , hence partially answering Open Problem 10 of
Barenboim and Elkin's book
Online Multi-Coloring with Advice
We consider the problem of online graph multi-coloring with advice.
Multi-coloring is often used to model frequency allocation in cellular
networks. We give several nearly tight upper and lower bounds for the most
standard topologies of cellular networks, paths and hexagonal graphs. For the
path, negative results trivially carry over to bipartite graphs, and our
positive results are also valid for bipartite graphs. The advice given
represents information that is likely to be available, studying for instance
the data from earlier similar periods of time.Comment: IMADA-preprint-c
Extremal results in sparse pseudorandom graphs
Szemer\'edi's regularity lemma is a fundamental tool in extremal
combinatorics. However, the original version is only helpful in studying dense
graphs. In the 1990s, Kohayakawa and R\"odl proved an analogue of Szemer\'edi's
regularity lemma for sparse graphs as part of a general program toward
extending extremal results to sparse graphs. Many of the key applications of
Szemer\'edi's regularity lemma use an associated counting lemma. In order to
prove extensions of these results which also apply to sparse graphs, it
remained a well-known open problem to prove a counting lemma in sparse graphs.
The main advance of this paper lies in a new counting lemma, proved following
the functional approach of Gowers, which complements the sparse regularity
lemma of Kohayakawa and R\"odl, allowing us to count small graphs in regular
subgraphs of a sufficiently pseudorandom graph. We use this to prove sparse
extensions of several well-known combinatorial theorems, including the removal
lemmas for graphs and groups, the Erd\H{o}s-Stone-Simonovits theorem and
Ramsey's theorem. These results extend and improve upon a substantial body of
previous work.Comment: 70 pages, accepted for publication in Adv. Mat
Glauber Dynamics on Trees and Hyperbolic Graphs
We study continuous time Glauber dynamics for random configurations with
local constraints (e.g. proper coloring, Ising and Potts models) on finite
graphs with vertices and of bounded degree. We show that the relaxation
time
(defined as the reciprocal of the spectral gap ) for
the dynamics on trees and on planar hyperbolic graphs, is polynomial in .
For these hyperbolic graphs, this yields a general polynomial sampling
algorithm for random configurations. We then show that if the relaxation time
satisfies , then the correlation coefficient, and the
mutual information, between any local function (which depends only on the
configuration in a fixed window) and the boundary conditions, decays
exponentially in the distance between the window and the boundary. For the
Ising model on a regular tree, this condition is sharp.Comment: To appear in Probability Theory and Related Field
- …