Abstract:Given a digraph G , a set is said to be an absorbing set (resp. dominating set ) if every vertex in the graph is either in X or is an in-neighbour (resp. out-neighbour) of a vertex in X . A set is said to be an independent set if no two vertices in S are adjacent in G . A kernel (resp. solution ) of G is an independent and absorbing (resp. dominating) set in G . The problem of deciding if there is a kernel (or solution) in an input digraph is known to be NP-complete. Similarly, the problems of computing a minimum cardinality dominating set or absorbing set or kernel, and the problems of computing a maximum cardinality independent set or kernel, are all known to be NP-hard for general digraphs. We explore the algorithmic complexity of these problems in the well known class of interval digraphs . A digraph G is an interval digraph if a pair of intervals can be assigned to each vertex u of G such that if and only if . Many different subclasses of interval digraphs have been defined and studied in the literature by restricting the kinds of pairs of intervals that can be assigned to the vertices. We observe that several of these classes, like interval catch digraphs, interval nest digraphs, adjusted interval digraphs and chronological interval digraphs, are subclasses of the more general class of reflexive interval digraphs —which arise when we require that the two intervals assigned to a vertex have to intersect. We see as our main contribution the identification of the class of reflexive interval digraphs as an important class of digraphs. We show that while the problems mentioned above are NP-complete, and even hard to approximate, on interval digraphs (even on some very restricted subclasses of interval digraphs called point-point digraphs , where the two intervals assigned to each vertex are required to be degenerate), they are all efficiently solvable, in most of the cases linear-time solvable, in the class of reflexive interval digraphs. The results we obtain improve and generalize several existing algorithms and structural results for subclasses of reflexive interval digraphs. In particular, we obtain a vertex ordering characterization of reflexive interval digraphs that implies the existence of an time algorithm for computing a maximum cardinality independent set in a reflexive interval digraph, improving and generalizing the earlier known O ( nm ) time algorithm for the same problem for the interval nest digraphs. (Here m denotes the number of edges in the digraph not counting the self-loops.) We also show that reflexive interval digraphs are kernel-perfect and that a kernel in such digraphs can be computed in linear time. This generalizes and improves an earlier result that interval nest digraphs are kernel-perfect and that a kernel can be computed in such digraphs in O ( nm ) time. The structural characterizations that we show for point-point digraphs, apart from helping us construct the NP-completeness/APX-hardness reductions, imply that these digraphs can be recognized in linear time. We also obtain some new results for undirected graphs along the way: (a) We describe an time algorithm for computing a minimum cardinality (undirected) independent dominating set in cocomparability graphs, which slightly improves the existing time algorithm for the same problem by Kratsch and Stewart; and (b) We show that the Red-Blue Dominating Set problem, which is NP-complete even for planar bipartite graphs, is linear-time solvable on interval bigraphs , which is a class of bipartite (undirected) graphs closely related to interval digraphs.

Parameterized complexity in multiple-interval graphs: domination

Parameterized Complexity of Dominating Set Variants in Almost Cluster and Split Graphs

The Constant Inapproximability of the Parameterized Dominating Set Problem

Fine-Grained Complexity of Multiple Domination and Dominating Patterns in Sparse Graphs

On $[1,2]$-Domination in Interval and Circle Graphs

Parameterized Complexity of Domination Problems Using Restricted Modular Partitions

The k-th Roman domination problem is polynomial on interval graphs

Balanced Independent and Dominating Sets on Colored Interval Graphs

The Maximum Clique Problem in Multiple Interval Graphs

The Parameterized Complexity of Maximality and Minimality Problems

On the Kernel and Related Problems in Interval Digraphs

Grouped Domination Parameterized by Vertex Cover, Twin Cover, and Beyond

On $k$-vertex-edge domination of graph

Recognizing unit multiple intervals is hard

Interval scheduling and colorful independent sets

On the complexity of Dominating Set for graphs with fixed diameter

Disjoint Dominating and 2-Dominating Sets in Graphs: Hardness and Approximation results

Characterizations of the graphs with dominating parameters

Parameterized Directed $k$-Chinese Postman Problem and $k$ Arc-Disjoint Cycles Problem on Euler Digraphs

Paired-domination Problem on Circle and $k$-polygon Graphs

Tight Bounds for Constant-Round Domination on Graphs of High Girth and Low Expansion