477 research outputs found
Large induced subgraphs via triangulations and CMSO
We obtain an algorithmic meta-theorem for the following optimization problem.
Let \phi\ be a Counting Monadic Second Order Logic (CMSO) formula and t be an
integer. For a given graph G, the task is to maximize |X| subject to the
following: there is a set of vertices F of G, containing X, such that the
subgraph G[F] induced by F is of treewidth at most t, and structure (G[F],X)
models \phi.
Some special cases of this optimization problem are the following generic
examples. Each of these cases contains various problems as a special subcase:
1) "Maximum induced subgraph with at most l copies of cycles of length 0
modulo m", where for fixed nonnegative integers m and l, the task is to find a
maximum induced subgraph of a given graph with at most l vertex-disjoint cycles
of length 0 modulo m.
2) "Minimum \Gamma-deletion", where for a fixed finite set of graphs \Gamma\
containing a planar graph, the task is to find a maximum induced subgraph of a
given graph containing no graph from \Gamma\ as a minor.
3) "Independent \Pi-packing", where for a fixed finite set of connected
graphs \Pi, the task is to find an induced subgraph G[F] of a given graph G
with the maximum number of connected components, such that each connected
component of G[F] is isomorphic to some graph from \Pi.
We give an algorithm solving the optimization problem on an n-vertex graph G
in time O(#pmc n^{t+4} f(t,\phi)), where #pmc is the number of all potential
maximal cliques in G and f is a function depending of t and \phi\ only. We also
show how a similar running time can be obtained for the weighted version of the
problem. Pipelined with known bounds on the number of potential maximal
cliques, we deduce that our optimization problem can be solved in time
O(1.7347^n) for arbitrary graphs, and in polynomial time for graph classes with
polynomial number of minimal separators
Colouring of Graphs with Ramsey-Type Forbidden Subgraphs
A colouring of a graph G = (V;E) is a mapping c : V ! f1; 2; : : :g such that c(u) 6= c(v) if uv 2 E; if jc(V )j k then c is a k-colouring. The Colouring problem is that of testing whether a given graph has a k-colouring for some given integer k. If a graph contains no induced subgraph isomorphic to any graph in some family H, then it is called H-free. The complexity of Colouring for H-free graphs with jHj = 1 has been completely classied. When jHj = 2, the classication is still wide open, although many partial results are known. We continue this line of research and forbid induced subgraphs fH1;H2g, where we allow H1 to have a single edge and H2 to have a single nonedge. Instead of showing only polynomial-time solvability, we prove that Colouring on such graphs is xed-parameter tractable when parameterized by jH1j + jH2j. As a byproduct, we obtain the same result both for the problem of determining a maximum independent set and for the problem of determining a maximum clique
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
A graph is -free if it does not contain pairwise vertex-disjoint and
non-adjacent cycles. We show that Maximum Independent Set and 3-Coloring in
-free graphs can be solved in quasi-polynomial time. As a main technical
result, we establish that "sparse" (here, not containing large complete
bipartite graphs as subgraphs) -free graphs have treewidth (even, feedback
vertex set number) at most logarithmic in the number of vertices. This is
proven sharp as there is an infinite family of -free graphs without
-subgraph and whose treewidth is (at least) logarithmic.
Other consequences include that most of the central NP-complete problems
(such as Maximum Independent Set, Minimum Vertex Cover, Minimum Dominating Set,
Minimum Coloring) can be solved in polynomial time in sparse -free graphs,
and that deciding the -freeness of sparse graphs is polynomial time
solvable.Comment: 28 pages, 6 figures. v3: improved complexity result
A note on recognizing an old friend in a new place:list coloring and the zero-temperature Potts model
Here we observe that list coloring in graph theory coincides with the
zero-temperature antiferromagnetic Potts model with an external field. We give
a list coloring polynomial that equals the partition function in this case.
This is analogous to the well-known connection between the chromatic polynomial
and the zero-temperature, zero-field, antiferromagnetic Potts model. The
subsequent cross fertilization yields immediate results for the Potts model and
suggests new research directions in list coloring
Preprocessing Subgraph and Minor Problems: When Does a Small Vertex Cover Help?
We prove a number of results around kernelization of problems parameterized
by the size of a given vertex cover of the input graph. We provide three sets
of simple general conditions characterizing problems admitting kernels of
polynomial size. Our characterizations not only give generic explanations for
the existence of many known polynomial kernels for problems like q-Coloring,
Odd Cycle Transversal, Chordal Deletion, Eta Transversal, or Long Path,
parameterized by the size of a vertex cover, but also imply new polynomial
kernels for problems like F-Minor-Free Deletion, which is to delete at most k
vertices to obtain a graph with no minor from a fixed finite set F.
While our characterization captures many interesting problems, the
kernelization complexity landscape of parameterizations by vertex cover is much
more involved. We demonstrate this by several results about induced subgraph
and minor containment testing, which we find surprising. While it was known
that testing for an induced complete subgraph has no polynomial kernel unless
NP is in coNP/poly, we show that the problem of testing if a graph contains a
complete graph on t vertices as a minor admits a polynomial kernel. On the
other hand, it was known that testing for a path on t vertices as a minor
admits a polynomial kernel, but we show that testing for containment of an
induced path on t vertices is unlikely to admit a polynomial kernel.Comment: To appear in the Journal of Computer and System Science
- …