252 research outputs found
Upper clique transversals in graphs
A clique transversal in a graph is a set of vertices intersecting all maximal
cliques. The problem of determining the minimum size of a clique transversal
has received considerable attention in the literature. In this paper, we
initiate the study of the "upper" variant of this parameter, the upper clique
transversal number, defined as the maximum size of a minimal clique
transversal. We investigate this parameter from the algorithmic and complexity
points of view, with a focus on various graph classes. We show that the
corresponding decision problem is NP-complete in the classes of chordal graphs,
chordal bipartite graphs, and line graphs of bipartite graphs, but solvable in
linear time in the classes of split graphs and proper interval graphs.Comment: Full version of a WG 2023 pape
Optimal-size clique transversals in chordal graphs
The following question was raised by Tuza in 1990 and Erdos et al. in 1992:
if every edge of an n-vertex chordal graph G is contained in a clique of size
at least four, does G have a clique transversal, i.e., a set of vertices
meeting all non-trivial maximal cliques, of size at most n/4? We prove that
every such graph G has a clique transversal of size at most 2(n-1)/7 if n>=5,
which is the best possible bound
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
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
On Minimum Maximal Distance-k Matchings
We study the computational complexity of several problems connected with
finding a maximal distance- matching of minimum cardinality or minimum
weight in a given graph. We introduce the class of -equimatchable graphs
which is an edge analogue of -equipackable graphs. We prove that the
recognition of -equimatchable graphs is co-NP-complete for any fixed . We provide a simple characterization for the class of strongly chordal
graphs with equal -packing and -domination numbers. We also prove that
for any fixed integer the problem of finding a minimum weight
maximal distance- matching and the problem of finding a minimum weight
-independent dominating set cannot be approximated in polynomial
time in chordal graphs within a factor of unless
, where is a fixed constant (thereby
improving the NP-hardness result of Chang for the independent domination case).
Finally, we show the NP-hardness of the minimum maximal induced matching and
independent dominating set problems in large-girth planar graphs.Comment: 15 pages, 4 figure
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
Feedback Vertex Set Inspired Kernel for Chordal Vertex Deletion
Given a graph and a parameter , the Chordal Vertex Deletion (CVD)
problem asks whether there exists a subset of size at most
that hits all induced cycles of size at least 4. The existence of a
polynomial kernel for CVD was a well-known open problem in the field of
Parameterized Complexity. Recently, Jansen and Pilipczuk resolved this question
affirmatively by designing a polynomial kernel for CVD of size
, and asked whether one can design a kernel of size
. While we do not completely resolve this question, we design a
significantly smaller kernel of size , inspired by the
-size kernel for Feedback Vertex Set. Furthermore, we introduce the
notion of the independence degree of a vertex, which is our main conceptual
contribution
- …