Defensive Domination in Proper Interval Graphs

TL;DR

This paper introduces efficient algorithms for solving the NP-complete $k$-defensive domination problem on proper interval graphs, leveraging interval orderings and bubble representations for improved computational complexity.

Contribution

It presents two novel algorithms that efficiently solve the $k$-defensive domination problem on proper interval graphs, with complexity improvements over previous methods.

Findings

First algorithm runs in ${ m O}(n imes k)$ time.

Second algorithm improves complexity to ${ m O}(n + | ext{B}| imes ext{log} k)$.

Algorithms exploit linear orderings and bubble representations of proper interval graphs.

Abstract

$k$-defensive domination, a variant of the classical domination problem on graphs, seeks a minimum cardinality vertex set providing a surjective defense against any attack on vertices of cardinality bounded by a parameter $k$. The problem has been shown to be NP-complete} for fixed $k$; if $k$ is part of the input, the problem is not even in NP. We present efficient algorithms solving this problem on proper interval graphs with $k$ part of the input. The algorithms take advantage of the linear orderings of the end points of the intervals associated with vertices to realize a greedy approach to solution. The first algorithm is based on the interval model and has complexity ${\cal O}(n \cdot k)$ for a graph on $n$ vertices. The second one is an improvement of the first and employs bubble representations of proper interval graph to realize an improved complexity of ${\cal O}(n+ \vert{\cal B}\vert \cdot \log k)$ for a graph represented by $\vert{\cal B}\vert$ bubbles.