## Abstract

We present an explicit and efficient construction of additively weighted Voronoi diagrams on planar graphs. Let G be a planar graph with n vertices and b sites that lie on a constant number of faces. We show how to preprocess G in Õ(nb^{2}) time so that one can compute any additively weighted Voronoi diagram for these sites in Õ(b) time. We use this construction to compute the diameter of a directed planar graph with real arc lengths in Õ(n^{5}/^{3}) time. This improves the recent breakthrough result of Cabello [SODA 2017, SIAM, Philadelphia, 2017, pp. 2143–2152], both by improving the running time (from Õ(n^{11}/^{6})), and by providing a deterministic algorithm. It is in fact the first truly subquadratic deterministic algorithm for this problem. Our use of Voronoi diagrams to compute the diameter follows that of Cabello, but he used abstract Voronoi diagrams, which makes his diameter algorithm more involved, more expensive, and randomized. As in Cabello’s work, our algorithm can compute, for every vertex v, both the farthest vertex from v (i.e., the eccentricity of v), and the sum of distances from v to all other vertices. Hence, our algorithm can also compute the radius, median, and Wiener index (sum of all pairwise distances) of a planar graph within the same time bounds. Our construction of Voronoi diagrams for planar graphs is of independent interest.

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

Pages (from-to) | 509-554 |

Number of pages | 46 |

Journal | SIAM Journal on Computing |

Volume | 50 |

Issue number | 3 |

DOIs | |

State | Published - 2021 |

### Funding

Funders | Funder number |
---|---|

Blavatnik Research Fund in Computer Science | |

German-Israeli Foundation for Scientific Research and Development | 1367, 892/13, 260/18, 1161 |

Israel Science Foundation | 1595/19, 1841/14 |

Tel Aviv University | |

Israeli Centers for Research Excellence | 794/13, 592/17 |

## Keywords

- Diameter
- Divide-and-conquer
- Planar graph
- Shortest paths
- Voronoi diagrams

## Fingerprint

Dive into the research topics of 'Voronoi diagrams on planar graphs, and computing the diameter in deterministic Õ(n^{5}/

^{3}) time

^{∗}'. Together they form a unique fingerprint.