2,992 research outputs found
Recovering sparse graphs
We construct a fixed parameter algorithm parameterized by d and k that takes
as an input a graph G' obtained from a d-degenerate graph G by complementing on
at most k arbitrary subsets of the vertex set of G and outputs a graph H such
that G and H agree on all but f(d,k) vertices.
Our work is motivated by the first order model checking in graph classes that
are first order interpretable in classes of sparse graphs. We derive as a
corollary that if G_0 is a graph class with bounded expansion, then the first
order model checking is fixed parameter tractable in the class of all graphs
that can obtained from a graph G from G_0 by complementing on at most k
arbitrary subsets of the vertex set of G; this implies an earlier result that
the first order model checking is fixed parameter tractable in graph classes
interpretable in classes of graphs with bounded maximum degree
Combinatorial Problems on -graphs
Bir\'{o}, Hujter, and Tuza introduced the concept of -graphs (1992),
intersection graphs of connected subgraphs of a subdivision of a graph .
They naturally generalize many important classes of graphs, e.g., interval
graphs and circular-arc graphs. We continue the study of these graph classes by
considering coloring, clique, and isomorphism problems on -graphs.
We show that for any fixed containing a certain 3-node, 6-edge multigraph
as a minor that the clique problem is APX-hard on -graphs and the
isomorphism problem is isomorphism-complete. We also provide positive results
on -graphs. Namely, when is a cactus the clique problem can be solved in
polynomial time. Also, when a graph has a Helly -representation, the
clique problem can be solved in polynomial time. Finally, we observe that one
can use treewidth techniques to show that both the -clique and list
-coloring problems are FPT on -graphs. These FPT results apply more
generally to treewidth-bounded graph classes where treewidth is bounded by a
function of the clique number
Fully polynomial FPT algorithms for some classes of bounded clique-width graphs
Parameterized complexity theory has enabled a refined classification of the
difficulty of NP-hard optimization problems on graphs with respect to key
structural properties, and so to a better understanding of their true
difficulties. More recently, hardness results for problems in P were achieved
using reasonable complexity theoretic assumptions such as: Strong Exponential
Time Hypothesis (SETH), 3SUM and All-Pairs Shortest-Paths (APSP). According to
these assumptions, many graph theoretic problems do not admit truly
subquadratic algorithms, nor even truly subcubic algorithms (Williams and
Williams, FOCS 2010 and Abboud, Grandoni, Williams, SODA 2015). A central
technique used to tackle the difficulty of the above mentioned problems is
fixed-parameter algorithms for polynomial-time problems with polynomial
dependency in the fixed parameter (P-FPT). This technique was introduced by
Abboud, Williams and Wang in SODA 2016 and continued by Husfeldt (IPEC 2016)
and Fomin et al. (SODA 2017), using the treewidth as a parameter. Applying this
technique to clique-width, another important graph parameter, remained to be
done. In this paper we study several graph theoretic problems for which
hardness results exist such as cycle problems (triangle detection, triangle
counting, girth, diameter), distance problems (diameter, eccentricities, Gromov
hyperbolicity, betweenness centrality) and maximum matching. We provide
hardness results and fully polynomial FPT algorithms, using clique-width and
some of its upper-bounds as parameters (split-width, modular-width and
-sparseness). We believe that our most important result is an -time algorithm for computing a maximum matching where
is either the modular-width or the -sparseness. The latter generalizes
many algorithms that have been introduced so far for specific subclasses such
as cographs, -lite graphs, -extendible graphs and -tidy
graphs. Our algorithms are based on preprocessing methods using modular
decomposition, split decomposition and primeval decomposition. Thus they can
also be generalized to some graph classes with unbounded clique-width
Partitioning Perfect Graphs into Stars
The partition of graphs into "nice" subgraphs is a central algorithmic
problem with strong ties to matching theory. We study the partitioning of
undirected graphs into same-size stars, a problem known to be NP-complete even
for the case of stars on three vertices. We perform a thorough computational
complexity study of the problem on subclasses of perfect graphs and identify
several polynomial-time solvable cases, for example, on interval graphs and
bipartite permutation graphs, and also NP-complete cases, for example, on grid
graphs and chordal graphs.Comment: Manuscript accepted to Journal of Graph Theor
Colouring exact distance graphs of chordal graphs
For a graph and positive integer , the exact distance- graph
is the graph with vertex set and with an edge between
vertices and if and only if and have distance . Recently,
there has been an effort to obtain bounds on the chromatic number
of exact distance- graphs for from certain
classes of graphs. In particular, if a graph has tree-width , it has
been shown that for odd ,
and for even . We
show that if is chordal and has tree-width , then for odd , and for even .
If we could show that for every graph of tree-width there is a
chordal graph of tree-width which contains as an isometric subgraph
(i.e., a distance preserving subgraph), then our results would extend to all
graphs of tree-width . While we cannot do this, we show that for every graph
of genus there is a graph which is a triangulation of genus and
contains as an isometric subgraph.Comment: 11 pages, 2 figures. Versions 2 and 3 include minor changes, which
arise from reviewers' comment
- …