199 research outputs found
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
Antimatroids and Balanced Pairs
We generalize the 1/3-2/3 conjecture from partially ordered sets to
antimatroids: we conjecture that any antimatroid has a pair of elements x,y
such that x has probability between 1/3 and 2/3 of appearing earlier than y in
a uniformly random basic word of the antimatroid. We prove the conjecture for
antimatroids of convex dimension two (the antimatroid-theoretic analogue of
partial orders of width two), for antimatroids of height two, for antimatroids
with an independent element, and for the perfect elimination antimatroids and
node search antimatroids of several classes of graphs. A computer search shows
that the conjecture is true for all antimatroids with at most six elements.Comment: 16 pages, 5 figure
Graph classes and forbidden patterns on three vertices
This paper deals with graph classes characterization and recognition. A
popular way to characterize a graph class is to list a minimal set of forbidden
induced subgraphs. Unfortunately this strategy usually does not lead to an
efficient recognition algorithm. On the other hand, many graph classes can be
efficiently recognized by techniques based on some interesting orderings of the
nodes, such as the ones given by traversals.
We study specifically graph classes that have an ordering avoiding some
ordered structures. More precisely, we consider what we call patterns on three
nodes, and the recognition complexity of the associated classes. In this
domain, there are two key previous works. Damashke started the study of the
classes defined by forbidden patterns, a set that contains interval, chordal
and bipartite graphs among others. On the algorithmic side, Hell, Mohar and
Rafiey proved that any class defined by a set of forbidden patterns can be
recognized in polynomial time. We improve on these two works, by characterizing
systematically all the classes defined sets of forbidden patterns (on three
nodes), and proving that among the 23 different classes (up to complementation)
that we find, 21 can actually be recognized in linear time.
Beyond this result, we consider that this type of characterization is very
useful, leads to a rich structure of classes, and generates a lot of open
questions worth investigating.Comment: Third version version. 38 page
Some results on triangle partitions
We show that there exist efficient algorithms for the triangle packing
problem in colored permutation graphs, complete multipartite graphs,
distance-hereditary graphs, k-modular permutation graphs and complements of
k-partite graphs (when k is fixed). We show that there is an efficient
algorithm for C_4-packing on bipartite permutation graphs and we show that
C_4-packing on bipartite graphs is NP-complete. We characterize the cobipartite
graphs that have a triangle partition
Dynamic representation of consecutive-ones matrices and interval graphs
2015 Spring.Includes bibliographical references.We give an algorithm for updating a consecutive-ones ordering of a consecutive-ones matrix when a row or column is added or deleted. When the addition of the row or column would result in a matrix that does not have the consecutive-ones property, we return a well-known minimal forbidden submatrix for the consecutive-ones property, known as a Tucker submatrix, which serves as a certificate of correctness of the output in this case, in O(n log n) time. The ability to return such a certificate within this time bound is one of the new contributions of this work. Using this result, we obtain an O(n) algorithm for updating an interval model of an interval graph when an edge or vertex is added or deleted. This matches the bounds obtained by a previous dynamic interval-graph recognition algorithm due to Crespelle. We improve on Crespelle's result by producing an easy-to-check certificate, known as a Lekkerkerker-Boland subgraph, when a proposed change to the graph results in a graph that is not an interval graph. Our algorithm takes O(n log n) time to produce this certificate. The ability to return such a certificate within this time bound is the second main contribution of this work
- …