Vincent Cohen-Addad, Søren Dahlgaard, Christian Wulff-Nilsen
{"title":"Fast and Compact Exact Distance Oracle for Planar Graphs","authors":"Vincent Cohen-Addad, Søren Dahlgaard, Christian Wulff-Nilsen","doi":"10.1109/FOCS.2017.93","DOIUrl":null,"url":null,"abstract":"For a given a graph, a distance oracle is a data structure that answers distance queries between pairs of vertices. We introduce an O(n 5/3)-space distance oracle which answers exact distance queries in O(log n) time for n-vertex planar edge-weighted digraphs. All previous distance oracles for planar graphs with truly subquadratic space (i.e., space O(n 2- ) for some constant 0) either required query time polynomial in n or could only answer approximate distance queries.Furthermore, we show how to trade-off time and space: for any S ≥ n 3/2, we show how to obtain an S-space distance 5/2 oracle that answers queries in time O(S n 3/2 log n). This is a polynomial improvement over the previous planar distance oracles with o(n 1/4) query time.","PeriodicalId":311592,"journal":{"name":"2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"37","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FOCS.2017.93","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 37
Abstract
For a given a graph, a distance oracle is a data structure that answers distance queries between pairs of vertices. We introduce an O(n 5/3)-space distance oracle which answers exact distance queries in O(log n) time for n-vertex planar edge-weighted digraphs. All previous distance oracles for planar graphs with truly subquadratic space (i.e., space O(n 2- ) for some constant 0) either required query time polynomial in n or could only answer approximate distance queries.Furthermore, we show how to trade-off time and space: for any S ≥ n 3/2, we show how to obtain an S-space distance 5/2 oracle that answers queries in time O(S n 3/2 log n). This is a polynomial improvement over the previous planar distance oracles with o(n 1/4) query time.