Sharif Digital Repository

A Semi-Separated Pair Decomposition (SSPD), with parameter s>1, of a set SâŠ"Rd is a set {(Ai,Bi)} of pairs of subsets of S such that for each i, there are balls DAi and DBi containing Ai and Bi respectively such that d(DAi,DBi)≥s×min(radius(DAi), radius(DBi)), and for any two points p,qâ̂̂S there is a unique index i such that pâ̂̂Ai and qâ̂̂Bi or vice versa. In this paper, we use the SSPD to obtain the following results: First, we consider the construction of geometric t-spanners in the context of imprecise points and we prove that any set SâŠ"Rd of n imprecise points, modeled as pairwise disjoint balls, admits a t-spanner with O(nlogn/(t-1)d) edges that can be computed in O(nlogn/(t-1)d)... 

We present a new optimal construction of a semi-separated pair decomposition (i.e., SSPD) for a set of n points in Rd. In the new construction each point participates in a few pairs, and it extends easily to spaces with low doubling dimension. This is the first optimal construction with these properties. As an application of the new construction, for a fixed t>1, we present a new construction of a t-spanner with O(n) edges and maximum degree O( log2n) that has a separator of size O(n1 -1/d)