Distribution-Sensitive Construction of the Greedy Spanner [chapter]

Sander P. A. Alewijnse, Quirijn W. Bouts, Alex P. Ten Brink
<span title="">2014</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The greedy spanner is the highest quality geometric spanner (in e.g. edge count and weight, both in theory and practice) known to be computable in polynomial time. Unfortunately, all known algorithms for computing it on n points take Ω(n 2 ) time, limiting its applicability on large data sets. We propose a novel algorithm design which uses the observation that for many point sets, the greedy spanner has many 'short' edges that can be determined locally and usually quickly. To find the usually
more &raquo; ... w remaining 'long' edges, we use a combination of already determined local information and the well-separated pair decomposition. We give experimental results showing large to massive performance increases over the state-of-the-art on nearly all tests and reallife data sets. On the theoretical side we prove a near-linear expected time bound on uniform point sets and a near-quadratic worst-case bound. Our bound for point sets drawn uniformly and independently at random in a square follows from a local characterization of t-spanners we give on such point sets. We give a geometric property that holds with high probability, which in turn implies that if an edge set on these points has t-paths between pairs of points 'close' to each other, then it has t-paths between all pairs of points. This characterization gives an O(n log 2 n log 2 log n) expected time bound on our greedy spanner algorithm, making it the first subquadratic time algorithm for this problem on any interesting class of points. We also use this characterization to give an O((n +|E|) log 2 n log log n) expected time algorithm on uniformly distributed Quirijn W. 123 210 Algorithmica (2017) 78:209-231 points that determines whether E is a t-spanner, making it the first subquadratic time algorithm for this problem that does not make assumptions on E.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-44777-2_6">doi:10.1007/978-3-662-44777-2_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qk4ri5nfwbbg7gk7qlkfc2w7da">fatcat:qk4ri5nfwbbg7gk7qlkfc2w7da</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180729045711/https://link.springer.com/content/pdf/10.1007%2Fs00453-016-0160-9.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e3/8c/e38c66f89ddb390d64ec4c3f287e3bbaa9a809e9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-44777-2_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>