-
New Algorithms for Weighted $k$-Domination and Total $k$-Domination Problems in Proper Interval Graphs
Authors:
Nina Chiarelli,
Tatiana Romina Hartinger,
Valeria Alejandra Leoni,
Maria Inés Lopez Pujato,
Martin Milanič
Abstract:
Given a positive integer $k$, a $k$-dominating set in a graph $G$ is a set of vertices such that every vertex not in the set has at least $k$ neighbors in the set. A total $k$-dominating set, also known as a $k$-tuple total dominating set, is a set of vertices such that every vertex of the graph has at least $k$ neighbors in the set. The problems of finding the minimum size of a $k$-dominating, re…
▽ More
Given a positive integer $k$, a $k$-dominating set in a graph $G$ is a set of vertices such that every vertex not in the set has at least $k$ neighbors in the set. A total $k$-dominating set, also known as a $k$-tuple total dominating set, is a set of vertices such that every vertex of the graph has at least $k$ neighbors in the set. The problems of finding the minimum size of a $k$-dominating, respectively total $k$-dominating set, in a given graph, are referred to as $k$-domination, respectively total $k$-domination. These generalizations of the classical domination and total domination problems are known to be NP-hard in the class of chordal graphs, and, more specifically, even in the classes of split graphs (both problems) and undirected path graphs (in the case of total $k$-domination). On the other hand, it follows from recent work of Kang et al.~(2017) that these two families of problems are solvable in time $\mathcal{O}(|V(G)|^{6k+4})$ in the class of interval graphs. We develop faster algorithms for $k$-domination and total $k$-domination in the class of proper interval graphs, by means of reduction to a single shortest path computation in a derived directed acyclic graph with $\mathcal{O}(|V(G)|^{2k})$ nodes and $\mathcal{O}(|V(G)|^{4k})$ arcs. We show that a suitable implementation, which avoids constructing all arcs of the digraph, leads to a running time of $\mathcal{O}(|V(G)|^{3k})$. The algorithms are also applicable to the weighted case.
△ Less
Submitted 24 July, 2018; v1 submitted 12 March, 2018;
originally announced March 2018.
-
Minimum Connected Transversals in Graphs: New Hardness Results and Tractable Cases Using the Price of Connectivity
Authors:
Nina Chiarelli,
Tatiana R. Hartinger,
Matthew Johnson,
Martin Milanič,
Daniël Paulusma
Abstract:
We perform a systematic study in the computational complexity of the connected variant of three related transversal problems: Vertex Cover, Feedback Vertex Set, and Odd Cycle Transversal. Just like their original counterparts, these variants are NP-complete for general graphs. A graph $G$ is $H$-free for some graph $H$ if $G$ contains no induced subgraph isomorphic to $H$. It is known that Connect…
▽ More
We perform a systematic study in the computational complexity of the connected variant of three related transversal problems: Vertex Cover, Feedback Vertex Set, and Odd Cycle Transversal. Just like their original counterparts, these variants are NP-complete for general graphs. A graph $G$ is $H$-free for some graph $H$ if $G$ contains no induced subgraph isomorphic to $H$. It is known that Connected Vertex Cover is NP-complete even for $H$-free graphs if $H$ contains a claw or a cycle. We show that the two other connected variants also remain NP-complete if $H$ contains a cycle or claw. In the remaining case $H$ is a linear forest. We show that Connected Vertex Cover, Connected Feedback Vertex Set, and Connected Odd Cycle Transversal are polynomial-time solvable for $sP_2$-free graphs for every constant $s\geq 1$. For proving these results we use known results on the price of connectivity for vertex cover, feedback vertex set, and odd cycle transversal. This is the first application of the price of connectivity that results in polynomial-time algorithms.
△ Less
Submitted 21 September, 2017; v1 submitted 25 June, 2017;
originally announced June 2017.
-
On two extensions of equimatchable graphs
Authors:
Zakir Deniz,
Tınaz Ekim,
Tatiana Romina Hartinger,
Martin Milanič,
Mordechai Shalom
Abstract:
A graph is said to be equimatchable if all its maximal matchings are of the same size. In this work we introduce two extensions of the property of equimatchability by defining two new graph parameters that measure how far a graph is from being equimatchable. The first one, called the matching gap, measures the difference between the sizes of a maximum matching and a minimum maximal matching. The s…
▽ More
A graph is said to be equimatchable if all its maximal matchings are of the same size. In this work we introduce two extensions of the property of equimatchability by defining two new graph parameters that measure how far a graph is from being equimatchable. The first one, called the matching gap, measures the difference between the sizes of a maximum matching and a minimum maximal matching. The second extension is obtained by introducing the concept of equimatchable sets; a set of vertices in a graph $G$ is said to be equimatchable if all maximal matchings of $G$ saturating the set are of the same size. Noting that $G$ is equimatchable if and only if the empty set is equimatchable, we study the equimatchability defect of the graph, defined as the minimum size of an equimatchable set in it. We develop several inapproximability and parameterized complexity results and algorithms regarding the computation of these two parameters, a characterization of graphs of unit matching gap, exact values of the equimatchability defect of cycles, and sharp bounds for both parameters.
△ Less
Submitted 27 December, 2016;
originally announced December 2016.
-
On total domination in the Cartesian product of graphs
Authors:
Boštjan Brešar,
Tatiana Romina Hartinger,
Tim Kos,
Martin Milanič
Abstract:
Ho proved in [A note on the total domination number, Util.Math. 77 (2008) 97--100] that the total domination number of the Cartesian product of any two graphs with no isolated vertices is at least one half of the product of their total domination numbers. We extend a result of Lu and Hou from [Total domination in the Cartesian product of a graph and $K_2$ or $C_n$, Util. Math. 83 (2010) 313--322]…
▽ More
Ho proved in [A note on the total domination number, Util.Math. 77 (2008) 97--100] that the total domination number of the Cartesian product of any two graphs with no isolated vertices is at least one half of the product of their total domination numbers. We extend a result of Lu and Hou from [Total domination in the Cartesian product of a graph and $K_2$ or $C_n$, Util. Math. 83 (2010) 313--322] by characterizing the pairs of graphs $G$ and $H$ for which $γ_t(G\Box H)=\frac{1}{2}γ_t(G) γ_t(H)\,$, whenever $γ_t(H)=2$. In addition, we present an infinite family of graphs $G_n$ with $γ_t(G_n)=2n$, which asymptotically approximate the equality in $γ_t(G_n\Box G_n)\ge \frac{1}{2}γ_t(G_n)^2$.
△ Less
Submitted 28 December, 2016; v1 submitted 7 July, 2016;
originally announced July 2016.
-
$1$-perfectly orientable $K_4$-minor-free and outerplanar graphs
Authors:
Boštjan Brešar,
Tatiana Romina Hartinger,
Tim Kos,
Martin Milanič
Abstract:
A graph $G$ is said to be $1$-perfectly orientable if it has an orientation such that for every vertex $v\in V(G)$, the out-neighborhood of $v$ in $D$ is a clique in $G$. In $1982$, Skrien posed the problem of characterizing the class of $1$-perfectly orientable graphs. This graph class forms a common generalization of the classes of chordal and circular arc graphs; however, while polynomially rec…
▽ More
A graph $G$ is said to be $1$-perfectly orientable if it has an orientation such that for every vertex $v\in V(G)$, the out-neighborhood of $v$ in $D$ is a clique in $G$. In $1982$, Skrien posed the problem of characterizing the class of $1$-perfectly orientable graphs. This graph class forms a common generalization of the classes of chordal and circular arc graphs; however, while polynomially recognizable via a reduction to $2$-SAT, no structural characterization of this intriguing class of graphs is known. Based on a reduction of the study of $1$-perfectly orientable graphs to the biconnected case, we characterize, both in terms of forbidden induced minors and in terms of composition theorems, the classes of $1$-perfectly orientable $K_4$-minor-free graphs and of $1$-perfectly orientable outerplanar graphs. As part of our approach, we introduce a class of graphs defined similarly as the class of $2$-trees and relate the classes of graphs under consideration to two other graph classes closed under induced minors studied in the literature: cyclically orientable graphs and graphs of separability at most~$2$.
△ Less
Submitted 19 April, 2016; v1 submitted 15 April, 2016;
originally announced April 2016.
-
1-perfectly orientable graphs and graph products
Authors:
Tatiana Romina Hartinger,
Martin Milanič
Abstract:
A graph G is said to be 1-perfectly orientable (1-p.o. for short) if it admits an orientation such that the out-neighborhood of every vertex is a clique in G. The class of 1-p.o. graphs forms a common generalization of the classes of chordal and circular arc graphs. Even though 1-p.o. graphs can be recognized in polynomial time, no structural characterization of 1-p.o. graphs is known. In this pap…
▽ More
A graph G is said to be 1-perfectly orientable (1-p.o. for short) if it admits an orientation such that the out-neighborhood of every vertex is a clique in G. The class of 1-p.o. graphs forms a common generalization of the classes of chordal and circular arc graphs. Even though 1-p.o. graphs can be recognized in polynomial time, no structural characterization of 1-p.o. graphs is known. In this paper we consider the four standard graph products: the Cartesian product, the strong product, the direct product, and the lexicographic product. For each of them, we characterize when a nontrivial product of two graphs is 1-p.o.
△ Less
Submitted 30 August, 2016; v1 submitted 23 November, 2015;
originally announced November 2015.
-
Partial characterizations of 1-perfectly orientable graphs
Authors:
Tatiana Romina Hartinger,
Martin Milanič
Abstract:
We study the class of 1-perfectly orientable graphs, that is, graphs having an orientation in which every out-neighborhood induces a tournament. 1-perfectly orientable graphs form a common generalization of chordal graphs and circular arc graphs. Even though they can be recognized in polynomial time, little is known about their structure. In this paper, we develop several results on 1-perfectly or…
▽ More
We study the class of 1-perfectly orientable graphs, that is, graphs having an orientation in which every out-neighborhood induces a tournament. 1-perfectly orientable graphs form a common generalization of chordal graphs and circular arc graphs. Even though they can be recognized in polynomial time, little is known about their structure. In this paper, we develop several results on 1-perfectly orientable graphs. In particular, we: (i) give a characterization of 1-perfectly orientable graphs in terms of edge clique covers, (ii) identify several graph transformations preserving the class of 1-perfectly orientable graphs, (iii) exhibit an infinite family of minimal forbidden induced minors for the class of 1-perfectly orientable graphs, and (iv) characterize the class of 1-perfectly orientable graphs within the classes of cographs and of cobipartite graphs. The class of 1-perfectly orientable co-bipartite graphs coincides with the class of co-bipartite circular arc graphs.
△ Less
Submitted 7 March, 2016; v1 submitted 24 November, 2014;
originally announced November 2014.
