A spanner of a graph is a sparse subgraph that approximately preserves distances in the original graph. More precisely, a subgraph H = (V, EH ) is a k-spanner of a graph G = (V, E) if for every pair of vertices u, v V , the shortest path distance distH (u, v) from u to v in H is at most k