845 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
Forbidden minor characterizations for low-rank optimal solutions to semidefinite programs over the elliptope
We study a new geometric graph parameter \egd(G), defined as the smallest
integer for which any partial symmetric matrix which is completable to
a correlation matrix and whose entries are specified at the positions of the
edges of , can be completed to a matrix in the convex hull of correlation
matrices of \rank at most . This graph parameter is motivated by its
relevance to the problem of finding low rank solutions to semidefinite programs
over the elliptope, and also by its relevance to the bounded rank Grothendieck
constant. Indeed, \egd(G)\le r if and only if the rank- Grothendieck
constant of is equal to 1. We show that the parameter \egd(G) is minor
monotone, we identify several classes of forbidden minors for \egd(G)\le r
and we give the full characterization for the case . We also show an upper
bound for \egd(G) in terms of a new tree-width-like parameter \sla(G),
defined as the smallest for which is a minor of the strong product of a
tree and . We show that, for any 2-connected graph on at
least 6 nodes, \egd(G)\le 2 if and only if \sla(G)\le 2.Comment: 33 pages, 8 Figures. In its second version, the paper has been
modified to accommodate the suggestions of the referees. Furthermore, the
title has been changed since we feel that the new title reflects more
accurately the content and the main results of the pape
Shellable graphs and sequentially Cohen-Macaulay bipartite graphs
Associated to a simple undirected graph G is a simplicial complex whose faces
correspond to the independent sets of G. We call a graph G shellable if this
simplicial complex is a shellable simplicial complex in the non-pure sense of
Bjorner-Wachs. We are then interested in determining what families of graphs
have the property that G is shellable. We show that all chordal graphs are
shellable. Furthermore, we classify all the shellable bipartite graphs; they
are precisely the sequentially Cohen-Macaulay bipartite graphs. We also give an
recursive procedure to verify if a bipartite graph is shellable. Because
shellable implies that the associated Stanley-Reisner ring is sequentially
Cohen-Macaulay, our results complement and extend recent work on the problem of
determining when the edge ideal of a graph is (sequentially) Cohen-Macaulay. We
also give a new proof for a result of Faridi on the sequentially
Cohen-Macaulayness of simplicial forests.Comment: 16 pages; more detail added to some proofs; Corollary 2.10 was been
clarified; the beginning of Section 4 has been rewritten; references updated;
to appear in J. Combin. Theory, Ser.
- β¦