517 research outputs found
Hitting all Maximal Independent Sets of a Bipartite Graph
We prove that given a bipartite graph G with vertex set V and an integer k,
deciding whether there exists a subset of V of size k hitting all maximal
independent sets of G is complete for the class Sigma_2^P.Comment: v3: minor chang
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
Red-blue clique partitions and (1-1)-transversals
Motivated by the problem of Gallai on -transversals of -intervals,
it was proved by the authors in 1969 that if the edges of a complete graph
are colored with red and blue (both colors can appear on an edge) so that there
is no monochromatic induced and then the vertices of can be
partitioned into a red and a blue clique. Aharoni, Berger, Chudnovsky and Ziani
recently strengthened this by showing that it is enough to assume that there is
no induced monochromatic and there is no induced in {\em one of the
colors}. Here this is strengthened further, it is enough to assume that there
is no monochromatic induced and there is no on which both color
classes induce a .
We also answer a question of Kaiser and Rabinovich, giving an example of six
-convex sets in the plane such that any three intersect but there is no
-transversal for them
A Polynomial Delay Algorithm for Enumerating Minimal Dominating Sets in Chordal Graphs
An output-polynomial algorithm for the listing of minimal dominating sets in
graphs is a challenging open problem and is known to be equivalent to the
well-known Transversal problem which asks for an output-polynomial algorithm
for listing the set of minimal hitting sets in hypergraphs. We give a
polynomial delay algorithm to list the set of minimal dominating sets in
chordal graphs, an important and well-studied graph class where such an
algorithm was open for a while.Comment: 13 pages, 1 figure, submitte
Hitting all maximum cliques with a stable set using lopsided independent transversals
Rabern recently proved that any graph with omega >= (3/4)(Delta+1) contains a
stable set meeting all maximum cliques. We strengthen this result, proving that
such a stable set exists for any graph with omega > (2/3)(Delta+1). This is
tight, i.e. the inequality in the statement must be strict. The proof relies on
finding an independent transversal in a graph partitioned into vertex sets of
unequal size.Comment: 7 pages. v4: Correction to statement of Lemma 8 and clarified proof
- …