Proximal Navigation Graphs and t-spanners

Let (X,d) be a metric space, V ⊆ X a finite set, and E ⊆ V × V . We call the graph G(E, V ) a metric graph if each edge (u, v) ∈ E has weight d(u, v). In particular edge (u, u) is in the graph and have distance 0. We call G a proximal navigation graph or PN-graph if for each edge (u, v) ∈ E either u = v or there is a node u1 such that (u, u1) ∈ E and d(u, v) > d(u1, v). In such graph it is possible to navigate greedily from an arbitrary source node to an arbitrary target node by reducing the distance between the current node and the target node in each step. The complete graph, the Delaunay triangulation and the Half Space Proximal (HSP) graph (defined below in the paper) are examples of PN-graphs. In this paper we study the relationship between PN-graphs and t-spanners and prove that there are PN-graphs that are not t-spanners for any t. On the positive side we give sufficient conditions for a PN-graph to be a t-spanner and prove that any PN-graph over Rn under the euclidean distance is a t-spanner.