Construct an optimal-length dominating pair efficiently

Construct, in linear time for an arbitrary graph, a k-dominating pair whose domination radius k is at most the graph’s path-length.

Background

A k-dominating pair is a pair of vertices such that every path joining the pair is a k-dominating path. The paper explains that a minimum-radius dominating pair can be found in polynomial time, while a known linear-time algorithm returns a pair with radius at most twice the path-length.

The authors explicitly state that they do not know how to achieve the stronger bound equal to path-length in linear time. Thus, the unresolved issue is an algorithmic improvement from the existing factor-two guarantee to an exact path-length guarantee.

References

We do not know how to find in linear time for an arbitrary graph $G$ a $k$-dominating pair with $k\le (G)$. However, as it was shown in \, there is a linear time algorithm that determines a $k$-dominating pair of an arbitrary graph $G$ such that $k \le 2\cdot (G)$.

Graph parameters that are coarsely equivalent to path-length  (2503.05661 - Dragan et al., 7 Mar 2025) in Section 3.2, paragraph following Corollary 3.5