Construct an exact minimum path-length dominating pair efficiently

Develop a linear-time algorithm that, for an arbitrary graph G, finds a k-dominating pair with k at most the path-length of G.

Background

The paper notes that a minimum-k dominating pair can be found in O(n3 log n) time, while an existing linear-time algorithm finds a dominating pair with k at most twice the path-length. The authors explicitly state that they do not know how to obtain a linear-time algorithm achieving the stronger bound k at most the path-length itself.

References

We do not know how to find in linear time for an arbitrary graph $G$ a $k$-dominating pair with $k\le (G)$.

Graph parameters that are coarsely equivalent to path-length  (2503.05661 - Dragan et al., 7 Mar 2025) in Section 3.2, paragraph discussing algorithms for dominating pairs