7,314 research outputs found
Data Reduction for Graph Coloring Problems
This paper studies the kernelization complexity of graph coloring problems
with respect to certain structural parameterizations of the input instances. We
are interested in how well polynomial-time data reduction can provably shrink
instances of coloring problems, in terms of the chosen parameter. It is well
known that deciding 3-colorability is already NP-complete, hence parameterizing
by the requested number of colors is not fruitful. Instead, we pick up on a
research thread initiated by Cai (DAM, 2003) who studied coloring problems
parameterized by the modification distance of the input graph to a graph class
on which coloring is polynomial-time solvable; for example parameterizing by
the number k of vertex-deletions needed to make the graph chordal. We obtain
various upper and lower bounds for kernels of such parameterizations of
q-Coloring, complementing Cai's study of the time complexity with respect to
these parameters.
Our results show that the existence of polynomial kernels for q-Coloring
parameterized by the vertex-deletion distance to a graph class F is strongly
related to the existence of a function f(q) which bounds the number of vertices
which are needed to preserve the NO-answer to an instance of q-List-Coloring on
F.Comment: Author-accepted manuscript of the article that will appear in the FCT
2011 special issue of Information & Computatio
Finding long cycles in graphs
We analyze the problem of discovering long cycles inside a graph. We propose
and test two algorithms for this task. The first one is based on recent
advances in statistical mechanics and relies on a message passing procedure.
The second follows a more standard Monte Carlo Markov Chain strategy. Special
attention is devoted to Hamiltonian cycles of (non-regular) random graphs of
minimal connectivity equal to three
Parameterized Algorithms for Modular-Width
It is known that a number of natural graph problems which are FPT
parameterized by treewidth become W-hard when parameterized by clique-width. It
is therefore desirable to find a different structural graph parameter which is
as general as possible, covers dense graphs but does not incur such a heavy
algorithmic penalty.
The main contribution of this paper is to consider a parameter called
modular-width, defined using the well-known notion of modular decompositions.
Using a combination of ILPs and dynamic programming we manage to design FPT
algorithms for Coloring and Partitioning into paths (and hence Hamiltonian path
and Hamiltonian cycle), which are W-hard for both clique-width and its recently
introduced restriction, shrub-depth. We thus argue that modular-width occupies
a sweet spot as a graph parameter, generalizing several simpler notions on
dense graphs but still evading the "price of generality" paid by clique-width.Comment: to appear in IPEC 2013. arXiv admin note: text overlap with
arXiv:1304.5479 by other author
Upper bounds on the k-forcing number of a graph
Given a simple undirected graph and a positive integer , the
-forcing number of , denoted , is the minimum number of vertices
that need to be initially colored so that all vertices eventually become
colored during the discrete dynamical process described by the following rule.
Starting from an initial set of colored vertices and stopping when all vertices
are colored: if a colored vertex has at most non-colored neighbors, then
each of its non-colored neighbors becomes colored. When , this is
equivalent to the zero forcing number, usually denoted with , a recently
introduced invariant that gives an upper bound on the maximum nullity of a
graph. In this paper, we give several upper bounds on the -forcing number.
Notable among these, we show that if is a graph with order and
maximum degree , then . This simplifies to, for the zero forcing number case
of , . Moreover, when and the graph is -connected, we prove that , which is an improvement when , and
specializes to, for the zero forcing number case, . These results resolve a problem posed by
Meyer about regular bipartite circulant graphs. Finally, we present a
relationship between the -forcing number and the connected -domination
number. As a corollary, we find that the sum of the zero forcing number and
connected domination number is at most the order for connected graphs.Comment: 15 pages, 0 figure
- …