473 research outputs found
Maximum Weight Independent Sets in Odd-Hole-Free Graphs Without Dart or Without Bull
The Maximum Weight Independent Set (MWIS) Problem on graphs with vertex
weights asks for a set of pairwise nonadjacent vertices of maximum total
weight. Being one of the most investigated and most important problems on
graphs, it is well known to be NP-complete and hard to approximate. The
complexity of MWIS is open for hole-free graphs (i.e., graphs without induced
subgraphs isomorphic to a chordless cycle of length at least five). By applying
clique separator decomposition as well as modular decomposition, we obtain
polynomial time solutions of MWIS for odd-hole- and dart-free graphs as well as
for odd-hole- and bull-free graphs (dart and bull have five vertices, say
, and dart has edges , while bull has edges
). If the graphs are hole-free instead of odd-hole-free then
stronger structural results and better time bounds are obtained
Vertex elimination orderings for hereditary graph classes
We provide a general method to prove the existence and compute efficiently
elimination orderings in graphs. Our method relies on several tools that were
known before, but that were not put together so far: the algorithm LexBFS due
to Rose, Tarjan and Lueker, one of its properties discovered by Berry and
Bordat, and a local decomposition property of graphs discovered by Maffray,
Trotignon and Vu\vskovi\'c. We use this method to prove the existence of
elimination orderings in several classes of graphs, and to compute them in
linear time. Some of the classes have already been studied, namely
even-hole-free graphs, square-theta-free Berge graphs, universally signable
graphs and wheel-free graphs. Some other classes are new. It turns out that all
the classes that we study in this paper can be defined by excluding some of the
so-called Truemper configurations. For several classes of graphs, we obtain
directly bounds on the chromatic number, or fast algorithms for the maximum
clique problem or the coloring problem
3-manifolds efficiently bound 4-manifolds
It is known since 1954 that every 3-manifold bounds a 4-manifold. Thus, for
instance, every 3-manifold has a surgery diagram. There are several proofs of
this fact, including constructive proofs, but there has been little attention
to the complexity of the 4-manifold produced. Given a 3-manifold M of
complexity n, we show how to construct a 4-manifold bounded by M of complexity
O(n^2). Here we measure ``complexity'' of a piecewise-linear manifold by the
minimum number of n-simplices in a triangulation. It is an open question
whether this quadratic bound can be replaced by a linear bound.
The proof goes through the notion of "shadow complexity" of a 3-manifold M. A
shadow of M is a well-behaved 2-dimensional spine of a 4-manifold bounded by M.
We prove that, for a manifold M satisfying the Geometrization Conjecture with
Gromov norm G and shadow complexity S, c_1 G <= S <= c_2 G^2 for suitable
constants c_1, c_2. In particular, the manifolds with shadow complexity 0 are
the graph manifolds.Comment: 39 pages, 21 figures; added proof for spin case as wel
On the structure of (pan, even hole)-free graphs
A hole is a chordless cycle with at least four vertices. A pan is a graph
which consists of a hole and a single vertex with precisely one neighbor on the
hole. An even hole is a hole with an even number of vertices. We prove that a
(pan, even hole)-free graph can be decomposed by clique cutsets into
essentially unit circular-arc graphs. This structure theorem is the basis of
our -time certifying algorithm for recognizing (pan, even hole)-free
graphs and for our -time algorithm to optimally color them.
Using this structure theorem, we show that the tree-width of a (pan, even
hole)-free graph is at most 1.5 times the clique number minus 1, and thus the
chromatic number is at most 1.5 times the clique number.Comment: Accepted to appear in the Journal of Graph Theor
The world of hereditary graph classes viewed through Truemper configurations
In 1982 Truemper gave a theorem that characterizes graphs whose edges can be labeled so that all chordless cycles have prescribed parities. The characterization states that this can be done for a graph G if and only if it can be done for all induced subgraphs of G that are of few speci c types, that we will call Truemper con gurations. Truemper was originally motivated by the problem of obtaining a co-NP characterization of bipartite graphs that are signable to be balanced (i.e. bipartite graphs whose node-node incidence matrices are balanceable matrices). The con gurations that Truemper identi ed in his theorem ended up playing a key role in understanding the structure of several seemingly diverse classes of objects, such as regular matroids, balanceable matrices and perfect graphs. In this survey we view all these classes, and more, through the excluded Truemper con gurations, focusing on the algorithmic consequences, trying to understand what structurally enables e cient recognition and optimization algorithms
Algorithms for square-3PC(·, ·)-free Berge graphs
We consider the class of graphs containing no odd hole, no odd antihole, and no configuration consisting of three paths between two nodes such that any two of the paths
induce a hole, and at least two of the paths are of length 2. This class generalizes clawfree Berge graphs and square-free Berge graphs. We give a combinatorial algorithm of
complexity O(n7) to find a clique of maximum weight in such a graph. We also consider several subgraph-detection problems related to this class
- …