Ô C2 − − 2 Most O(N ) [10], Where C2 =(1 Log2(1 + 1 Β ))/2 C1 −

Total Page:16

File Type:pdf, Size:1020Kb

Ô C2 − − 2 Most O(N ) [10], Where C2 =(1 Log2(1 + 1 Β ))/2 C1 − CCCG 2003, Halifax, Nova Scotia, August 11–13, 2003 The spanning ratio of β-Skeletons Weizhao Wang∗ Xiang-Yang Li∗ Kousha Moaveninejad∗ Yu Wang∗ Wen-Zhan Song∗ Abstract disconnected, so we restrict our attention to the case that 0 ≤ β ≤ 2. As β approaches 0, N(u, v, β)ap- In this paper we study the spanning ratio of the β- proximates the line segment connecting u and v.Thus, skeletons for β ∈ [0, 2]. Both our upper-bounds and except in degenerate situations (three or more points co- lower-bounds improve the previously best known results linear), all point pairs are β-neighbors under this scheme [10, 12]. for β sufficiently small, which means that we can find a β to make the β-skeleton of S a complete graph. 1 Introduction For β ∈ [0, 1], the spanning ratio of β-skeletons is at Ô c2 − − 2 most O(n ) [10], where c2 =(1 log2(1 + 1 β ))/2 c1 − Proximity graphs [1, 2, 3, 4] have been used exten- and at least Ω(n ) [12], where c1 =1 log5(3 + Ô sively in various fields including pattern recognition, 2+2 1 − β2). For some special β-skeletons such as GIS( Geographic Information System), computer vi- Gabriel graph (GG) [1, 13, 10] (β = 1) and the Rela- sion, and neural network [5, 3]. The spanning ra- tive Neighborhood Graph (RNG) [4, 14, 3,√ 15] (β = 2), tios of the proximity graphs are of great interest to Bose et al. [10] gave a bound which is Θ( n) and Θ(n) many applications. For example, several results showed respectively. Since the spanning ratio increases over β that Delaunay Triangulation has a constant bounded ∈ π for β [1, 2], the spanning ratio of the beta-skeletons spanning ratio, which is at least [6] and at most 1 2 for β for β ∈ [1, 2] is at least Ω(n 2 ) and at most O(n), 2π/(3 cos(π/6)) 2.42[2]. which is also the best known result till now. As one of the proximity graphs, β-skeletons have been The contribution of this paper is: We first prove that, studied extensively in [8, 9, 10, 11]. Our main concern for β ∈ [1, 2], the β-skeletons have spanning ratio at in this paper is about the spanning ratio (or dilation) − γ − 1 most (n 1) , where γ =1 2 log2(µ2 + 1), µ2 = of the β-skeletons. Given a set S of n points in a two − 2 β . We then show that the Gabriel Graph has exact dimensional plane, two points u and v are β-neighbors β √ in S if N(u, v, β) contains no point other than u or v spanning ratio n − 1 and the Relative Neighborhood in S in its interior 1. The most common definition of Graph has exact spanning ratio n − 1. The spanning N(u, v, β) is so-called Lune-Based Neighborhoods,which ratio of β-skeletons for β ∈ [0, 1] is at most (n − 1)γ , 1 − 1 Ô − 2 is defined as follows. where γ = 2 2 log2(µ1 +1), µ1 = 1 β . Finally, we Case 1: β ≥ 1. N(u, v, β) is the intersection of the construct a point set whose β-skeleton, for β ∈ [0, 1], has β uv c3 1 − 1 µ1+1 two circles of radius 2 centered at the points p1 = spanning ratio n , where c3 = 2 2 log2(1 + 2 ), − β β β − β which improves the previously best known lower bound (1 2 )u + 2 v and p2 = 2 u +(1 2 )v, respectively. Case 2: 0 ≤ β ≤ 1. N(u, v, β) is the intersection of [12]. D(uv) the two circles of radius 2β passing through both u and v. 2 Upper Bound of Spanning Ratio Here uv is the Euclidian distance between u and v. The β-skeleton of a point set S is the set of edges joining Consider a geometry graph G =(V,E)overn points V . β-neighbors in S. When β = 1, the closed N(u, v, β) For each pair of points (u, v), the length of the shortest corresponds exactly to the Gabriel neighborhood of u path connecting u and v measured by Euclidean dis- and v. When β = 2, the open N(u, v, β) is the rela- tance is denoted by DG(u, v), while the direct Euclidean tive neighborhood of u and v.Asβ approaches ∞,the distance is uv. The spanning ratio (also dilation ra- neighborhood of u and v approximates the infinite strip tio or length stretch factor) of the graph G is defined by formed by translating the line segment (u, v) normal to DG(u,v) ψ(G) = maxu,v∈G uv . If the graph G is not con- itself. Notice when β>2theβ-skeleton graph can be nected, then ψ(G) is infinity, so it is reasonable to focus ∗Department of Computer Science, Illinois Institute of on connected graphs only. Technology, Chicago, IL. Email {wangwei4, wangyu1, moavkoo, songwen}@iit.edu, [email protected]. 1There are two possible interpretations of the interior: one 2.1 Fade Factor of β-skeletons includes the boundary which is called Closed Neighbor and the other excludes the boundary which is called Open Neighbor.We Our analysis of the upper bound of the spanning ra- always consider closed neighbor here. tio of β-skeletons rely on our definition of fade fac- 1 15th Canadian Conference on Computational Geometry, 2003 tor of β-skeletons, which is defined as follows. Given 1. Construct the root node corresponding to uv. a 2-dimensional point set S and its β-skeleton G(β), choose any pair of points u, v ∈ S.Ifuv ∈ G(β), there 2. If there is no point inside N(u, v, β) then stop. Oth- ∈ must exist a point w ∈ S other than u, v in N(u, v, β). erwise, assume a point u0 N(u, v, β). We put We say that the point w breaks edge (u, v) and define edge uu0 as uv’s left child and edge u0v as uv’s right child and label these two branches with their x = uw , x = vw as the two fade factors of uv 1 uv 2 uv fade factor x and x respectively. The leaf nodes by w. We then study the property of fade factors of 1 2 uu , u v form path uu v. β-skeletons, illustrated by Figure 1. 0 0 0 Case 1: β ∈ [1, 2]. In this case, w must lie in the 3. If we already have a binary tree with k leaf nodes shaded area N(u, v, β). For symmetry, we assume that p p , p p , ···, p − p , where p = u, v = p .Let ≥ 2 0 1 1 2 k 1 k 0 k wu wv , In triangles wup1 and wvp1,we S = {p ,p , ··· ,p }. For every point p ∈ S,we 2 2 2 − 1 0 1 k have uw = up1 + wp1 2 up1 wp1 cos α test if p breaks edge p p . We consider five cases and vw2 = vp 2 +wp 2 −2vp wp cos(π−α). i i+1 1 1 1 1 here. Consequently, 2 2 2 2 2 2 (a) If p doesn’t break any pipi+1 then continue to uw −up1 −wp1 uw −vp1 −wp1 + =0 try other points in S. up1 vp1 2 2 2 (b) If p ∈ S − S and p breaks a single edge x1 x2 1 wp1 2 1 1 ⇒ + = + ≤ . 2 − β β 2 uv2 β(2 − β) 2 − β pipi+1 then similar to step (2), attach pip as the left child and ppi+1 as the right child of ≤ 2−β ≤ edge p p . Suppose that 0 µ2 = β 1. We have the relation i i+1 ∈ ≥ between the fade factors when β [1, 2] and x1 x2, (c) If p ∈ S − S1 and it breaks multiple edges, choose such broken edge prpr+1 with the min- x2 + µ x2 ≤ 1 (1) 1 2 2 imum index r and psps+1 with the maximum index s. Attach node prp to node prpr+1 and node pps+1 to node psps+1 in the tree. Mark p 1 all leaf nodes between prp and pps+1. If all de- w α scendant leaf nodes of an internal node have x1 x 2 marks, then also mark it. Delete all nodes α π−α u v with marks. p1 p2 (d) If p ∈ S ,sayp = p ,and it breaks single edge 1 j A C pipi+1.Ifj>i+ 1 then attach pipj to node θ x 1 x 2 p p , and mark all leaf nodes p p for B i i+1 m m+1 ≤ ≤ − (a) β ∈ [1, 2] (b) β ∈ [0, 1] i+1 m j 1. If j<ithen attach pjpi+1 to node pipi+1 and mark all leaf nodes pmpm+1 Figure 1: The relations between fade factors of β- for j +1≤ m ≤ i. If all descendant leaf nodes skeletons. of an internal node have marks, then also mark it. Delete all nodes with mark. Case 2. β ∈ [0, 1]. In this case, we have 1 = x2 + ∈ Ô 1 (e) If p S1,sayp = pj and it breaks multiple 2 − − 2 ≥ x2 2x1x2 cos θ. Let cos α = 1 β .Fromθ +α π, edges, choose the edge with the minimum in- we have dex prpr+1 and the maximum index psps+1.If j<rthen attach p p to p p and mark 1 ≥ x2 + x2 − 2x x cos(π − α)=x2 + x2 +2x x cos α j s+1 j j+1 1 2 1 2 1 2 1 2 all leaf nodes between p p and p p .If (2) j s+1 s s+1 j>s+1 then attach pspj to psps+1 and mark all leaf nodes between psps+1 and pj−1pj.If 2.2 Construction of the fade factor tree r +1 <j<sthen attach prpj to prpr+1 Our analysis of the spanning ratio is based on a con- and attach pjps+1 to psps+1, then mark all cept called fade factor tree, which intuitively records nodes between prpr+1 and psps+1.Ifanin- the edge-breaking sequence for a pair of points u and ternal node’s all descendant leaf nodes have v.
Recommended publications
  • Shape of Shortest Paths in Random Spatial Networks Alexander Kartun-Giles, Marc Barthelemy, Carl Dettmann
    Shape of shortest paths in random spatial networks Alexander Kartun-Giles, Marc Barthelemy, Carl Dettmann To cite this version: Alexander Kartun-Giles, Marc Barthelemy, Carl Dettmann. Shape of shortest paths in random spatial networks. Physical Review E , American Physical Society (APS), 2019, 100 (3), pp.2315. 10.1103/PhysRevE.100.032315. cea-02564008 HAL Id: cea-02564008 https://hal-cea.archives-ouvertes.fr/cea-02564008 Submitted on 2 Sep 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The shape of shortest paths in random spatial networks Alexander P. Kartun-Giles,1 Marc Barthelemy,2 and Carl P. Dettmann3 1Max Plank Institute for Mathematics in the Sciences, Inselstr. 22, Leipzig, Germany 2Institut de Physique Th´eorique,CEA, CNRS-URA 2306, Gif-sur-Yvette, France 3School of Mathematics, University of Bristol, University Walk, Bristol BS8 1TW, UK In the classic model of first passage percolation, for pairs of vertices separated by a Euclidean distance L, geodesics exhibit deviations from their mean length L that are of order Lχ, while the transversal fluctuations, known as wandering, grow as Lξ. We find that when weighting edges directly with their Euclidean span in various spatial network models, we have two distinct classes defined by different exponents ξ = 3=5 and χ = 1=5, or ξ = 7=10 and χ = 2=5, depending only on coarse details of the specific connectivity laws used.
    [Show full text]
  • Nonobtuse Triangulations of Pslgs
    NONOBTUSE TRIANGULATIONS OF PSLGS CHRISTOPHER J. BISHOP Abstract. We show that any planar PSLG with n vertices has a conforming triangulation by O(n2.5) nonobtuse triangles, answering the question of whether a polynomial bound exists. The triangles may be chosen to be all acute or all right. A nonobtuse triangulation is Delaunay, so this result improves a previous O(n3) bound of Eldesbrunner and Tan for conforming Delaunay triangulations. In the special case that the PSLG is the triangulation of a simple polygon, we will show that only O(n2) elements are needed, improving an O(n4) bound of Bern and Eppstein. We also show that for any ǫ> 0, every PSLG has a conforming triangulation with O(n2/ǫ2) elements and with all angles bounded above by 90◦ + ǫ. This improves a 3 ◦ 7 ◦ result of S. Mitchell when ǫ = 8 π = 67.5 and Tan when ǫ = 30 π = 42 . Date: March 1, 2011. 1991 Mathematics Subject Classification. Primary: 30C62 Secondary: Key words and phrases. nonobtuse, acute, triangulation, conforming triangulation, PSLG, De- launay, Gabriel, nearest-neighbor learning, quadrilateral mesh, beta-skeleton, thick-thin decompo- sition, polynomial complexity, The author is partially supported by NSF Grant DMS 10-06309. This is a very preliminary version and should not be distributed. Please contact me for the latest version if you wish to share this with someone. 1 NONOBTUSE TRIANGULATIONS OF PSLGS 1 1. Introduction A planar straight line graph (or PSLG from now on) is the union of a finite number (possibly none) of non-intersecting open line segments together with a disjoint finite set that includes all the endpoints of the line segments, but may include other points as well.
    [Show full text]
  • Hierarchical Correlation Clustering in Multiple 2D Scalar Fields
    Lawrence Berkeley National Laboratory Recent Work Title Hierarchical Correlation Clustering in Multiple 2D Scalar Fields Permalink https://escholarship.org/uc/item/09j2d6cg Journal Computer Graphics Forum, 37(3) ISSN 0167-7055 Authors Liebmann, T Weber, GH Scheuermann, G Publication Date 2018-06-01 DOI 10.1111/cgf.13396 Peer reviewed eScholarship.org Powered by the California Digital Library University of California Eurographics Conference on Visualization (EuroVis) 2018 Volume 37 (2018), Number 3 J. Heer, H. Leitte, and T. Ropinski (Guest Editors) Hierarchical Correlation Clustering in Multiple 2D Scalar Fields Tom Liebmann1, Gunther H. Weber2;3, and Gerik Scheuermann1 1Department of Computer Science, Leipzig University, Germany 2Lawrence Berkeley National Laboratory 3University of California, Davis Abstract Sets of multiple scalar fields can be used to model different types of varying data, such as uncertainty in measurements and simulations or time-dependent behavior of scalar quantities. Many structural properties of such fields can be explained by de- pendencies between different points in the scalar field. Although these dependencies can be of arbitrary complexity, correlation, i.e., the linear dependency, already provides significant structural information. Existing methods for correlation analysis are usually limited to positive correlation, handle only local dependencies, or use combinatorial approximations to this continuous problem. We present a new approach for computing and visualizing correlated regions in sets of 2-dimensional scalar fields. This work consists of three main parts: (i) An algorithm for hierarchical correlation clustering resulting in a dendrogram, (ii) adaption of topological landscapes for dendrogram visualization, and (iii) an optional extension of our clustering and visualization to handle negative correlation values.
    [Show full text]
  • Spatial Networks and Probability
    Spatial Networks and Probability David Aldous April 17, 2014 This talk has a different style. Not start with a probability model for a random network and then study its mathematical properties instead start with some data, then try to find some simplified math model that illuminates the data. Advice to young researchers: the Socratic question: if you wish to make an impact with new theory, should you (i) choose a field with extensive theory and no data (ii) choose a field with extensive data and no theory? Also: I teach an undergraduate \probability in the real world" course { 20 lectures on different topics, each \anchored" by (ideally) new real-world data that students could obtain themselves. (22) Psychology of probability: predictable irrationality (18) Global economic risks (17) Everyday perception of chance (16) Luck (16) Science fiction meets science (14) Risk to individuals: perception and reality (13) Probability and algorithms. (13) Game theory (13) Coincidences, near misses and paradoxes. (11) So what do I do in my own research? (spatial networks) (10) Stock Market investment, as gambling on a favorable game (10) Mixing and sorting (9) Tipping points and phase transitions (9) Size-biasing, regression effect and dust-to-dust phenomena (6) Prediction markets, fair games and martingales (6) Branching processes, advantageous mutations and epidemics (5) Toy models of social networks (4) The local uniformity principle (2) Coding and entropy (-5) From neutral alleles to diversity statistics A 2012 paper \Evolution of subway networks" concludes subway systems of very large cities consist of a highly-connected core with branches radiating outwards.
    [Show full text]
  • Minimum-Weight Triangulation Is NP-Hard
    Minimum-Weight Triangulation is NP-hard WOLFGANG MULZER Princeton University and GUNTER¨ ROTE Freie Universit¨at Berlin A triangulation of a planar point set S is a maximal plane straight-line graph with vertex set S. In the minimum-weight triangulation (MWT) problem, we are looking for a triangulation of a given point set that minimizes the sum of the edge lengths. We prove that the decision version of this problem is NP-hard, using a reduction from PLANAR 1-IN-3-SAT. The correct working of the gadgets is established with computer assistance, using dynamic programming on polygonal faces, as well as the β-skeleton heuristic to certify that certain edges belong to the minimum-weight triangulation. Categories and Subject Descriptors: F.2.2 [Nonnumerical Algorithms and Problems]: Geo- metrical problems and computations; G.2.2 [Graph Theory]: Graph algorithms General Terms: Algorithms, Theory Additional Key Words and Phrases: Optimal triangulations, PLANAR 1-IN-3-SAT 1. INTRODUCTION Given a set S of points in the Euclidean plane, a triangulation T of S is a maximal plane straight-line graph with vertex set S. The weight of T is defined as the total Euclidean length of all edges in T . A triangulation that achieves the minimum weight is called a minimum-weight triangulation (MWT) of S. The problem of computing a triangulation for a given planar point set arises nat- urally in many applications such as stock cutting, finite element analysis, terrain modeling, and numerical approximation. The minimum-weight triangulation has attracted the attention of many researchers, mainly due to its natural definition of optimality, and not so much because it would be important for the mentioned ap- plications.
    [Show full text]
  • Algorithmic and Geometric Aspects of Data Depth with Focus on Β-Skeleton Depth
    Algorithmic and Geometric Aspects of Data Depth With Focus on β-skeleton Depth by Rasoul Shahsavarifar Master of Science, University of Tabriz, Iran, 2008 Bachelor of Science, Razi University, Iran, 2006 A DISSERTATION SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF Doctor of Philosophy In the Graduate Academic Unit of Computer Science Supervisor(s): David Bremner, Ph.D, Computer Science Examining Board: Patricia Evans, Ph.D, Computer Science, Chair Suprio Ray, Ph.D, Computer Science Jeffrey Picka, Ph.D Mathematics and Statistics External Examiner: Pat Morin, Ph.D, Computer Science, Carleton University This dissertation is accepted by Dean of Graduate Studies THE UNIVERSITY OF NEW BRUNSWICK April, 2019 c Rasoul Shahsavarifar, 2019 Abstract The statistical rank tests play important roles in univariate non-parametric data analysis. If one attempts to generalize the rank tests to a multivariate case, the problem of defining a multivariate order will occur. It is not clear how to define a multivariate order or statistical rank in a meaningful way. One approach to overcome this problem is to use the notion of data depth which measures the centrality of a point with respect to a given data set. In other words, a data depth can be applied to indicate how deep a point is lo- cated with respect to a given data set. Using data depth, a multivariate order can be defined by ordering the data points according to their depth values. Various notions of data depth have been introduced over the last decades. In this thesis, we discuss three depth functions: two well-known depth functions halfspace depth and simplicial depth, and one recently defined depth function named as β-skeleton depth, β ≥ 1.
    [Show full text]
  • The Shape of Shortest Paths in Random Spatial Networks
    The shape of shortest paths in random spatial networks Alexander P. Kartun-Giles,1 Marc Barthelemy,2 and Carl P. Dettmann3 1Max Plank Institute for Mathematics in the Sciences, Inselstr. 22, Leipzig, Germany 2Institut de Physique Th´eorique,CEA, CNRS-URA 2306, Gif-sur-Yvette, France 3School of Mathematics, University of Bristol, University Walk, Bristol BS8 1TW, UK In the classic model of first passage percolation, for pairs of vertices separated by a Euclidean distance L, geodesics exhibit deviations from their mean length L that are of order Lχ, while the transversal fluctuations, known as wandering, grow as Lξ. We find that when weighting edges directly with their Euclidean span in various spatial network models, we have two distinct classes defined by different exponents ξ = 3=5 and χ = 1=5, or ξ = 7=10 and χ = 2=5, depending only on coarse details of the specific connectivity laws used. Also, the travel time fluctuations are Gaussian, rather than Tracy-Widom, which is rarely seen in first passage models. The first class contains proximity graphs such as the hard and soft random geometric graph, and the k-nearest neighbour random geometric graphs, where via Monte Carlo simulations we find ξ = 0:60 ± 0:01 and χ = 0:20 ± 0:01, showing a theoretical minimal wandering. The second class contains graphs based on excluded regions such as β-skeletons and the Delaunay triangulation and are characterized by the values ξ = 0:70 ± 0:01 and χ = 0:40 ± 0:01, with a nearly theoretically maximal wandering exponent. We also show numerically that the KPZ relation χ = 2ξ − 1 is satisfied for all these models.
    [Show full text]
  • 2D Points Curve Reconstruction Survey and Benchmark
    EUROGRAPHICS ’0x/ N.N. and N.N. STAR – State of The Art Report 2D Points Curve Reconstruction Survey and Benchmark S. Ohrhallinger1 and J. Peethambaran2 and A. D. Parakkat3 and T. K. Dey4 and R. Muthuganapathy5 1Institute of Visual Computing and Human-Centered Technology, TU Wien, Austria 2Department of Math and Computing Science, Saint Mary’s University, Halifax, Canada 3Department of Computer Science and Engineering, Indian Institute of Technology Guwahati, India 4Department of Computer Science, Purdue University, Indiana, USA 5Department of Engineering Design, Indian Institute of Technology Madras, India Figure 1: We survey 36 curve reconstruction algorithms and compare 14 of these, with quantitative and qualitative analysis. As inputs we take unorganized points, samples on the boundary of binary images or smooth curves, and evaluate with ground truth. Abstract Curve reconstruction from unstructured points in a plane is a fundamental problem with many applications that has generated research interest for decades. Involved aspects like handling open, sharp, multiple and non- manifold outlines, run-time and provability as well as potential extension to 3D for surface reconstruction have led to many different algorithms. We survey the literature on 2D curve reconstruction and then present an open- sourced benchmark for the experimental study. Our unprecedented evaluation on a selected set of planar curve reconstruction algorithms aims to give an overview of both quantitative analysis and qualitative aspects for helping arXiv:2103.09583v1 [cs.GR] 17 Mar 2021 users to select the right algorithm for specific problems in the field. Our benchmark framework is available online to permit reproducing the results, and easy integration of new algorithms.
    [Show full text]
  • Stable Delaunay Graphs
    Discrete Comput Geom (2015) 54:905–929 DOI 10.1007/s00454-015-9730-x Stable Delaunay Graphs Pankaj K. Agarwal1 · Jie Gao2 · Leonidas J. Guibas3 · Haim Kaplan4 · Natan Rubin5 · Micha Sharir6,7 Received: 29 April 2014 / Revised: 19 June 2015 / Accepted: 10 August 2015 / Published online: 3 September 2015 © Springer Science+Business Media New York 2015 Abstract Let P be a set of n points in R2, and let DT(P) denote its Euclidean Delaunay triangulation. We introduce the notion of the stability of edges of DT(P). Editor in Charge: János Pach An earlier version [4] of this paper appeared in Proceedings of the 26th Annual Symposium on Computational Geometry, 2010, 127–136. Pankaj K. Agarwal [email protected] Jie Gao [email protected] Leonidas J. Guibas [email protected] Haim Kaplan [email protected] Natan Rubin [email protected] Micha Sharir [email protected] 1 Department of Computer Science, Duke University, Durham, NC 27708-0129, USA 2 Department of Computer Science, Stony Brook University, Stony Brook, NY 11794, USA 3 Department of Computer Science, Stanford University, Stanford, CA 94305, USA 4 School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel 5 Department of Computer Science, Ben-Gurion University of the Negev, Beersheva 84105, Israel 6 School of Computer Science, Tel Aviv University, Tel Aviv 69978, Israel 7 Courant Institute of Mathematical Sciences, New York University, New York, NY 10012, USA 123 906 Discrete Comput Geom (2015) 54:905–929 Specifically, defined in terms of a parameter α>0, a Delaunay edge pq is called α-stable, if the (equal) angles at which p and q see the corresponding Voronoi edge epq are at least α.
    [Show full text]
  • Models for Connected Networks Over Random Points and a Route-Length Statistic
    Models for Connected Networks over Random Points and a Route-Length Statistic David J. Aldous∗ Julian Shun July 8, 2008 Abstract We review mathematically tractable models for connected networks on random points in the plane, emphasising the little-studied class of proximity graphs and introducing a new model called the Hammersley network. We introduce and motivate a particular statistic R measur- ing shortness of routes in a network. We show (via Monte Carlo, in part) the trade-off between normalized network length and R in a one- parameter family of proximity graphs. How close this family comes to the optimal trade-off over all possible networks remains an intriguing open question. xxx Almost finished draft. MSC 2000 subject classifications. 60D05, 90B15. Key words and phrases. Proximity graph, random graph, spatial net- work, geometric graph. Short title: Connected Networks over Random Points ∗Department of Statistics, 367 Evans Hall # 3860, U.C. Berkeley CA 94720; al- [email protected]; www.stat.berkeley.edu/users/aldous. Aldous's research sup- ported by N.S.F Grant DMS-0704159. 1 1 Introduction This is intended as the least technical in a series of papers [4, 7, 5] on spatial networks. For concreteness, visualize a road network linking a given set of cities. Our main purpose is to introduce a specific statistic R for measuring the effectiveness of a network in providing short routes (\route-length effi- ciency"). The definition of R and its motivation are given in section 3.2. A second purpose, perhaps of broader interest (hence presented first, in section 2), is to review models for connected networks on deterministic or random points in the plane.
    [Show full text]
  • Efficiently Computing All Delaunay Triangles Occurring Over
    Efficiently Computing All Delaunay Triangles Occurring over All Contiguous Subsequences Stefan Funke Universität Stuttgart, Germany [email protected] Felix Weitbrecht Universität Stuttgart, Germany [email protected] Abstract Given an ordered sequence of points P = {p1, p2, . , pn}, we are interested in computing T , the set of distinct triangles occurring over all Delaunay triangulations of contiguous subsequences within P . We present a deterministic algorithm for this purpose with near-optimal time complexity O(|T | log n). Additionally, we prove that for an arbitrary point set in random order, the expected number of Delaunay triangles occurring over all contiguous subsequences is Θ(n log n). 2012 ACM Subject Classification Theory of computation → Computational geometry Keywords and phrases Computational Geometry, Delaunay Triangulation, Randomized Analysis Digital Object Identifier 10.4230/LIPIcs.ISAAC.2020.28 1 Introduction For an ordered sequence of points P = {p1, p2, . , pn}, we consider for 1 ≤ i < j ≤ n the contiguous subsequences Pi,j := {pi, pi+1, . , pj} and their Delaunay triangulations S Ti,j := DT (Pi,j). We are interested in the set T := i<j{t | t ∈ Ti,j} of distinct Delaunay triangles occurring over all contiguous subsequences. Figure 1 shows a sequence of points 2 n p1, . , pn where |T | = Ω(n ) (collinearities could be perturbed away). For j > 2 , any point p will be connected to all points {p , . , p n } in T , so any such T contains Θ(n) j 1 2 1,j 1,j 0 2 Delaunay triangles not contained in any T1,j0 with j < j, hence |T | = Ω(n ).
    [Show full text]
  • Graph-Theoretic Scagnostics∗
    Graph-Theoretic Scagnostics∗ Leland Wilkinson† Anushka Anand‡ Robert Grossman§ SPSS Inc. University of Illinois at Chicago University of Illinois at Chicago Northwestern University ABSTRACT 2 TUKEY AND TUKEY SCAGNOSTICS We introduce Tukey and Tukey scagnostics and develop graph- A scatterplot matrix, variously called a SPLOM or casement plot theoretic methods for implementing their procedure on large or draftman’s plot, is a (usually) symmetric matrix of pairwise scat- datasets. terplots. An easy way to conceptualize a symmetric SPLOM is CR Categories: H.5.2 [User Interfaces]: Graphical to think of a covariance matrix of p variables and imagine that User Interfaces—Visualization; I.3.6 [Computing Methodologies]: each off-diagonal cell consists of a scatterplot of n cases rather Computer Graphics—Methodology and Techniques; than a scalar number representing a single covariance. This display was first published by John Hartigan [19] and was popularized by Keywords: visualization, statistical graphics Tukey and his associates at Bell Laboratories [9]. Figure 1 shows a SPLOM of measurements on abalones using data from [27]. Off the 1 INTRODUCTION diagonal are the pairwise scatterplots of nine variables. The vari- ables are sex (indeterminate, male, female), shell length, shell di- Around 20 years ago, John and Paul Tukey developed an ex- ameter, shell height, whole weight, shucked weight, viscera weight, ploratory visualization method called scagnostics. While they shell weight, and number of rings in shell. briefly mentioned their invention in [42], the specifics of the method were never published. Paul Tukey did offer more detail at an IMA visualization workshop a few years later, but he did not include the talk in the workshop volume he and Andreas Buja edited [7].
    [Show full text]