5,704 research outputs found
On treewidth and minimum fill-in of asteroidal triple-free graphs
We present O(n5R + n3R3) time algorithms to compute the treewidth, pathwidth, minimum fill-in and minimum interval graph completion of asteroidal triple-free graphs, where n is the number of vertices and R is the number of minimal separators of the input graph. This yields polynomial time algorithms for the four NP-complete graph problems on any subclass of the asteroidal triple-free graphs that has a polynomially bounded number of minimal separators, as e.g. cocomparability graphs of bounded dimension and d-trapezoid graphs for any fixed d â©ľ 1
A polynomial bound on the number of minimal separators and potential maximal cliques in -free graphs of bounded clique number
In this note we show a polynomial bound on the number of minimal separators
and potential maximal cliques in -free graphs of bounded clique number
Computing the treewidth and the minimum fill-in with the modular decomposition
Using the notion of modular decomposition we extend the class of
graphs on which both the TREEWIDTH and the MINIMUM-FILL-
IN problems can be solved in polynomial time. We show that if C is
a class of graphs which is modularly decomposable into graphs that
have a polynomial number of minimal separators, or graphs formed by
adding a matching between two cliques, then both the TREEWIDTH
and the MINIMUM-FILL-IN problems on C can be solved in polyno-
mial time. For the graphs that are modular decomposable into cycles
we give algorithms, that use respectively O(n) and O(nÂł) time for
TREEWIDTH and MINIMUM FILL-IN
Separability and Vertex Ordering of Graphs
Many graph optimization problems, such as finding an optimal coloring, or a largest clique, can be solved by a divide-and-conquer approach. One such well-known technique is decomposition by clique separators where a graph is decomposed into special induced subgraphs along their clique separators. While the most common practice of this method employs minimal clique separators, in this work we study other variations as well. We strive to characterize their structure and in particular the bound on the number of atoms. In fact, we strengthen the known bounds for the general clique cutset decomposition and the minimal clique separator decomposition. Graph ordering is the arrangement of a graph’s vertices according to a certain logic and is a useful tool in optimization problems. Special types of vertices are often recognized in graph classes, for instance it is well-known every chordal graph contains a simplicial vertex. Vertex-ordering, based on such properties, have originated many linear time algorithms. We propose to define a new family named SE-Class such that every graph belonging to this family inherently contains a simplicial extreme, that is a vertex which is either simplicial or has exactly two neighbors which are non-adjacent. Our family lends itself to an ordering based on simplicial extreme vertices (named SEO) which we demonstrate to be advantageous for the coloring and maximum clique problems. In addition, we examine the relation of SE-Class to the family of (Even-Hole, Kite)-free graphs and show a linear time generation of SEO for (Even-Hole, Diamond, Claw)-free graphs. We showcase the applications of those two core tools, namely clique-based decomposition and vertex ordering, on the (Even-Hole, Kite)-free family
On the Enumeration of all Minimal Triangulations
We present an algorithm that enumerates all the minimal triangulations of a
graph in incremental polynomial time. Consequently, we get an algorithm for
enumerating all the proper tree decompositions, in incremental polynomial time,
where "proper" means that the tree decomposition cannot be improved by removing
or splitting a bag
On the Enumeration of Minimal Dominating Sets and Related Notions
A dominating set in a graph is a subset of its vertex set such that each
vertex is either in or has a neighbour in . In this paper, we are
interested in the enumeration of (inclusion-wise) minimal dominating sets in
graphs, called the Dom-Enum problem. It is well known that this problem can be
polynomially reduced to the Trans-Enum problem in hypergraphs, i.e., the
problem of enumerating all minimal transversals in a hypergraph. Firstly we
show that the Trans-Enum problem can be polynomially reduced to the Dom-Enum
problem. As a consequence there exists an output-polynomial time algorithm for
the Trans-Enum problem if and only if there exists one for the Dom-Enum
problem. Secondly, we study the Dom-Enum problem in some graph classes. We give
an output-polynomial time algorithm for the Dom-Enum problem in split graphs,
and introduce the completion of a graph to obtain an output-polynomial time
algorithm for the Dom-Enum problem in -free chordal graphs, a proper
superclass of split graphs. Finally, we investigate the complexity of the
enumeration of (inclusion-wise) minimal connected dominating sets and minimal
total dominating sets of graphs. We show that there exists an output-polynomial
time algorithm for the Dom-Enum problem (or equivalently Trans-Enum problem) if
and only if there exists one for the following enumeration problems: minimal
total dominating sets, minimal total dominating sets in split graphs, minimal
connected dominating sets in split graphs, minimal dominating sets in
co-bipartite graphs.Comment: 15 pages, 3 figures, In revisio
- …