## Abstract

Let P ⊆ ℝ^{d} be a set of n points, each with an associated radius r_{p}>0. The transmission graph G for P has vertex set P and an edge from p to q if and only if q lies in the ball with radius r_{p} around p. Let t>1. A t-spanner H for G is a sparse subgraph of G such that for any two vertices p, q connected by a path of length in G, there is a p-q-path of length at most t in H. We show how to compute a t-spanner for G if d = 2. The running time is O(n(log n + log ψ)), where Ψ is the ratio of the largest and smallest radius of two points in P. We extend this construction to be independent of Ψ at the expense of a polylogarithmic overhead in the running time. As a first application, we prove a property of the t-spanner that allows us to find a BFS tree in G for any given start vertex s 2 P in the same time. After that, we deal with reachability oracles for G. These are data structures that answer reachability queries: given two vertices, is there a directed path between them? The quality of an oracle is measured by the space S(n), the query time Q(n), and the preproccesing time. For d = 1, we show how to compute an oracle with Q(n) = O(1) and S(n) = O(n) in time O(n log n). For d = 2, the radius ratio Ψ again turns out to be an important measure for the complexity of the problem. We present three different data structures whose quality depends on Ψ : (i) if Ψ < 3, we achieve Q(n) = O(1) with S(n) = O(n) and preproccesing time O(n log n); (ii) if Ψ ≥ 3 , we get Q(n) = O(Ψ^{3}n) and S(n) = O(Ψ^{5}^{3/2}); and (iii) if Ψ is polynomially bounded in n, we use probabilistic methods to obtain an oracle with Q(n) = O(n^{2/3} log n) and S(n) = O(n^{5/3} log n) that answers queries correctly with high probability. We employ our t-spanner to achieve a fast preproccesing time of O(Ψ^{5}n^{3/2}) and O(n^{5/3} log^{2} n) in case (ii) and (iii), respectively.

Original language | English |
---|---|

Title of host publication | 31st International Symposium on Computational Geometry, SoCG 2015 |

Editors | Janos Pach, Janos Pach, Lars Arge |

Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |

Pages | 156-170 |

Number of pages | 15 |

ISBN (Electronic) | 9783939897835 |

DOIs | |

State | Published - 1 Jun 2015 |

Event | 31st International Symposium on Computational Geometry, SoCG 2015 - Eindhoven, Netherlands Duration: 22 Jun 2015 → 25 Jun 2015 |

### Publication series

Name | Leibniz International Proceedings in Informatics, LIPIcs |
---|---|

Volume | 34 |

ISSN (Print) | 1868-8969 |

### Conference

Conference | 31st International Symposium on Computational Geometry, SoCG 2015 |
---|---|

Country/Territory | Netherlands |

City | Eindhoven |

Period | 22/06/15 → 25/06/15 |

## Keywords

- Intersection Graph
- Reachability Oracles
- Spanner
- Transmission Graphs