-
Geometric Computations on Indecisive and Uncertain Points
Authors:
Allan Jorgensen,
Maarten Löffler,
Jeff M. Phillips
Abstract:
We study computing geometric problems on uncertain points. An uncertain point is a point that does not have a fixed location, but rather is described by a probability distribution. When these probability distributions are restricted to a finite number of locations, the points are called indecisive points. In particular, we focus on geometric shape-fitting problems and on building compact distribut…
▽ More
We study computing geometric problems on uncertain points. An uncertain point is a point that does not have a fixed location, but rather is described by a probability distribution. When these probability distributions are restricted to a finite number of locations, the points are called indecisive points. In particular, we focus on geometric shape-fitting problems and on building compact distributions to describe how the solutions to these problems vary with respect to the uncertainty in the points. Our main results are: (1) a simple and efficient randomized approximation algorithm for calculating the distribution of any statistic on uncertain data sets; (2) a polynomial, deterministic and exact algorithm for computing the distribution of answers for any LP-type problem on an indecisive point set; and (3) the development of shape inclusion probability (SIP) functions which captures the ambient distribution of shapes fit to uncertain or indecisive point sets and are admissible to the two algorithmic constructions.
△ Less
Submitted 1 May, 2012;
originally announced May 2012.
-
Dynamic Planar Point Location with Sub-Logarithmic Local Updates
Authors:
Maarten Löffler,
Joe Simons,
Darren Strash
Abstract:
We study planar point location in a collection of disjoint fat regions, and investigate the complexity of \emph {local updates}: replacing any region by a different region that is "similar" to the original region. (i.e., the size differs by at most a constant factor, and distance between the two regions is a constant times that size). We show that it is possible to create a linear size data struct…
▽ More
We study planar point location in a collection of disjoint fat regions, and investigate the complexity of \emph {local updates}: replacing any region by a different region that is "similar" to the original region. (i.e., the size differs by at most a constant factor, and distance between the two regions is a constant times that size). We show that it is possible to create a linear size data structure that allows for insertions, deletions, and queries in logarithmic time, and allows for local updates in sub-logarithmic time on a pointer machine.
△ Less
Submitted 22 February, 2013; v1 submitted 20 April, 2012;
originally announced April 2012.
-
Flow Computations on Imprecise Terrains
Authors:
Anne Driemel,
Herman J. Haverkort,
Maarten Löffler,
Rodrigo Silveira
Abstract:
We study the computation of the flow of water on imprecise terrains. We consider two approaches to modeling flow on a terrain: one where water flows across the surface of a polyhedral terrain in the direction of steepest descent, and one where water only flows along the edges of a predefined graph, for example a grid or a triangulation. In both cases each vertex has an imprecise elevation, given b…
▽ More
We study the computation of the flow of water on imprecise terrains. We consider two approaches to modeling flow on a terrain: one where water flows across the surface of a polyhedral terrain in the direction of steepest descent, and one where water only flows along the edges of a predefined graph, for example a grid or a triangulation. In both cases each vertex has an imprecise elevation, given by an interval of possible values, while its (x,y)-coordinates are fixed. For the first model, we show that the problem of deciding whether one vertex may be contained in the watershed of another is NP-hard. In contrast, for the second model we give a simple O(n log n) time algorithm to compute the minimal and the maximal watershed of a vertex, where n is the number of edges of the graph. On a grid model, we can compute the same in O(n) time.
△ Less
Submitted 26 September, 2012; v1 submitted 7 November, 2011;
originally announced November 2011.
-
Category-Based Routing in Social Networks: Membership Dimension and the Small-World Phenomenon (Full)
Authors:
David Eppstein,
Michael T. Goodrich,
Maarten Löffler,
Darren Strash,
Lowell Trott
Abstract:
A classic experiment by Milgram shows that individuals can route messages along short paths in social networks, given only simple categorical information about recipients (such as "he is a prominent lawyer in Boston" or "she is a Freshman sociology major at Harvard"). That is, these networks have very short paths between pairs of nodes (the so-called small-world phenomenon); moreover, participants…
▽ More
A classic experiment by Milgram shows that individuals can route messages along short paths in social networks, given only simple categorical information about recipients (such as "he is a prominent lawyer in Boston" or "she is a Freshman sociology major at Harvard"). That is, these networks have very short paths between pairs of nodes (the so-called small-world phenomenon); moreover, participants are able to route messages along these paths even though each person is only aware of a small part of the network topology. Some sociologists conjecture that participants in such scenarios use a greedy routing strategy in which they forward messages to acquaintances that have more categories in common with the recipient than they do, and similar strategies have recently been proposed for routing messages in dynamic ad-hoc networks of mobile devices. In this paper, we introduce a network property called membership dimension, which characterizes the cognitive load required to maintain relationships between participants and categories in a social network. We show that any connected network has a system of categories that will support greedy routing, but that these categories can be made to have small membership dimension if and only if the underlying network exhibits the small-world phenomenon.
△ Less
Submitted 20 October, 2011;
originally announced October 2011.
-
Planar and Poly-Arc Lombardi Drawings
Authors:
Christian A. Duncan,
David Eppstein,
Michael T. Goodrich,
Stephen G. Kobourov,
Maarten Löffler
Abstract:
In Lombardi drawings of graphs, edges are represented as circular arcs, and the edges incident on vertices have perfect angular resolution. However, not every graph has a Lombardi drawing, and not every planar graph has a planar Lombardi drawing. We introduce k-Lombardi drawings, in which each edge may be drawn with k circular arcs, noting that every graph has a smooth 2-Lombardi drawing. We show…
▽ More
In Lombardi drawings of graphs, edges are represented as circular arcs, and the edges incident on vertices have perfect angular resolution. However, not every graph has a Lombardi drawing, and not every planar graph has a planar Lombardi drawing. We introduce k-Lombardi drawings, in which each edge may be drawn with k circular arcs, noting that every graph has a smooth 2-Lombardi drawing. We show that every planar graph has a smooth planar 3-Lombardi drawing and further investigate topics connecting planarity and Lombardi drawings.
△ Less
Submitted 1 September, 2011;
originally announced September 2011.
-
Category-Based Routing in Social Networks: Membership Dimension and the Small-World Phenomenon (Short)
Authors:
David Eppstein,
Michael T. Goodrich,
Maarten Löffler,
Darren Strash,
Lowell Trott
Abstract:
A classic experiment by Milgram shows that individuals can route messages along short paths in social networks, given only simple categorical information about recipients (such as "he is a prominent lawyer in Boston" or "she is a Freshman sociology major at Harvard"). That is, these networks have very short paths between pairs of nodes (the so-called small-world phenomenon); moreover, participants…
▽ More
A classic experiment by Milgram shows that individuals can route messages along short paths in social networks, given only simple categorical information about recipients (such as "he is a prominent lawyer in Boston" or "she is a Freshman sociology major at Harvard"). That is, these networks have very short paths between pairs of nodes (the so-called small-world phenomenon); moreover, participants are able to route messages along these paths even though each person is only aware of a small part of the network topology. Some sociologists conjecture that participants in such scenarios use a greedy routing strategy in which they forward messages to acquaintances that have more categories in common with the recipient than they do, and similar strategies have recently been proposed for routing messages in dynamic ad-hoc networks of mobile devices. In this paper, we introduce a network property called membership dimension, which characterizes the cognitive load required to maintain relationships between participants and categories in a social network. We show that any connected network has a system of categories that will support greedy routing, but that these categories can be made to have small membership dimension if and only if the underlying network exhibits the small-world phenomenon.
△ Less
Submitted 23 August, 2011;
originally announced August 2011.
-
Adjacency-Preserving Spatial Treemaps
Authors:
Kevin Buchin,
David Eppstein,
Maarten Löffler,
Martin Nöllenburg,
Rodrigo I. Silveira
Abstract:
Rectangular layouts, subdivisions of an outer rectangle into smaller rectangles, have many applications in visualizing spatial information, for instance in rectangular cartograms in which the rectangles represent geographic or political regions. A spatial treemap is a rectangular layout with a hierarchical structure: the outer rectangle is subdivided into rectangles that are in turn subdivided int…
▽ More
Rectangular layouts, subdivisions of an outer rectangle into smaller rectangles, have many applications in visualizing spatial information, for instance in rectangular cartograms in which the rectangles represent geographic or political regions. A spatial treemap is a rectangular layout with a hierarchical structure: the outer rectangle is subdivided into rectangles that are in turn subdivided into smaller rectangles. We describe algorithms for transforming a rectangular layout that does not have this hierarchical structure, together with a clustering of the rectangles of the layout, into a spatial treemap that respects the clustering and also respects to the extent possible the adjacencies of the input layout.
△ Less
Submitted 2 May, 2011;
originally announced May 2011.
-
Tracking Moving Objects with Few Handovers
Authors:
David Eppstein,
Michael T. Goodrich,
Maarten Löffler
Abstract:
We study the online problem of assigning a moving point to a base-station region that contains it. For instance, the moving object could represent a cellular phone and the base station could represent the coverage zones of cell towers. Our goal is to minimize the number of handovers that occur when the point moves outside its assigned region and must be assigned to a new region. We study this prob…
▽ More
We study the online problem of assigning a moving point to a base-station region that contains it. For instance, the moving object could represent a cellular phone and the base station could represent the coverage zones of cell towers. Our goal is to minimize the number of handovers that occur when the point moves outside its assigned region and must be assigned to a new region. We study this problem in terms of competitive analysis and we measure the competitive ratio of our algorithms as a function of the ply of the system of regions, that is, the maximum number of regions that cover any single point. In the offline version of this problem, when object motions are known in advance, a simple greedy strategy suffices to determine an optimal assignment of objects to base stations, with as few handovers as possible. For the online version of this problem for moving points in one dimension, we present a deterministic algorithm that achieves a competitive ratio of O(log ply) with respect to the optimal algorithm, and we show that no better ratio is possible. For two or more dimensions, we present a randomized online algorithm that achieves a competitive ratio of O(log ply) with respect to the optimal algorithm, and a deterministic algorithm that achieves a competitive ratio of O(ply); again, we show that no better ratio is possible.
△ Less
Submitted 2 May, 2011;
originally announced May 2011.
-
Bounds on the Complexity of Halfspace Intersections when the Bounded Faces have Small Dimension
Authors:
David Eppstein,
Maarten Löffler
Abstract:
We study the combinatorial complexity of D-dimensional polyhedra defined as the intersection of n halfspaces, with the property that the highest dimension of any bounded face is much smaller than D. We show that, if d is the maximum dimension of a bounded face, then the number of vertices of the polyhedron is O(n^d) and the total number of bounded faces of the polyhedron is O(n^d^2). For inputs in…
▽ More
We study the combinatorial complexity of D-dimensional polyhedra defined as the intersection of n halfspaces, with the property that the highest dimension of any bounded face is much smaller than D. We show that, if d is the maximum dimension of a bounded face, then the number of vertices of the polyhedron is O(n^d) and the total number of bounded faces of the polyhedron is O(n^d^2). For inputs in general position the number of bounded faces is O(n^d). For any fixed d, we show how to compute the set of all vertices, how to determine the maximum dimension of a bounded face of the polyhedron, and how to compute the set of bounded faces in polynomial time, by solving a polynomial number of linear programs.
△ Less
Submitted 13 March, 2011;
originally announced March 2011.
-
Drawing Graphs in the Plane with a Prescribed Outer Face and Polynomial Area
Authors:
Erin W. Chambers,
David Eppstein,
Michael T. Goodrich,
Maarten Löffler
Abstract:
We study the classic graph drawing problem of drawing a planar graph using straight-line edges with a prescribed convex polygon as the outer face. Unlike previous algorithms for this problem, which may produce drawings with exponential area, our method produces drawings with polynomial area. In addition, we allow for collinear points on the boundary, provided such vertices do not create overlappin…
▽ More
We study the classic graph drawing problem of drawing a planar graph using straight-line edges with a prescribed convex polygon as the outer face. Unlike previous algorithms for this problem, which may produce drawings with exponential area, our method produces drawings with polynomial area. In addition, we allow for collinear points on the boundary, provided such vertices do not create overlap** edges. Thus, we solve an open problem of Duncan et al., which, when combined with their work, implies that we can produce a planar straight-line drawing of a combinatorially-embedded genus-g graph with the graph's canonical polygonal schema drawn as a convex polygonal external face.
△ Less
Submitted 1 September, 2010;
originally announced September 2010.
-
Optimal 3D Angular Resolution for Low-Degree Graphs
Authors:
David Eppstein,
Maarten Löffler,
Elena Mumford,
Martin Nöllenburg
Abstract:
We show that every graph of maximum degree three can be drawn in three dimensions with at most two bends per edge, and with 120-degree angles between any two edge segments meeting at a vertex or a bend. We show that every graph of maximum degree four can be drawn in three dimensions with at most three bends per edge, and with 109.5-degree angles, i.e., the angular resolution of the diamond lattice…
▽ More
We show that every graph of maximum degree three can be drawn in three dimensions with at most two bends per edge, and with 120-degree angles between any two edge segments meeting at a vertex or a bend. We show that every graph of maximum degree four can be drawn in three dimensions with at most three bends per edge, and with 109.5-degree angles, i.e., the angular resolution of the diamond lattice, between any two edge segments meeting at a vertex or bend.
△ Less
Submitted 31 August, 2010;
originally announced September 2010.
-
Listing All Maximal Cliques in Sparse Graphs in Near-optimal Time
Authors:
David Eppstein,
Maarten Löffler,
Darren Strash
Abstract:
The degeneracy of an $n$-vertex graph $G$ is the smallest number $d$ such that every subgraph of $G$ contains a vertex of degree at most $d$. We show that there exists a nearly-optimal fixed-parameter tractable algorithm for enumerating all maximal cliques, parametrized by degeneracy. To achieve this result, we modify the classic Bron--Kerbosch algorithm and show that it runs in time…
▽ More
The degeneracy of an $n$-vertex graph $G$ is the smallest number $d$ such that every subgraph of $G$ contains a vertex of degree at most $d$. We show that there exists a nearly-optimal fixed-parameter tractable algorithm for enumerating all maximal cliques, parametrized by degeneracy. To achieve this result, we modify the classic Bron--Kerbosch algorithm and show that it runs in time $O(dn3^{d/3})$. We also provide matching upper and lower bounds showing that the largest possible number of maximal cliques in an $n$-vertex graph with degeneracy $d$ (when $d$ is a multiple of 3 and $n\ge d+3$) is $(n-d)3^{d/3}$. Therefore, our algorithm matches the $Θ(d(n-d)3^{d/3})$ worst-case output size of the problem whenever $n-d=Ω(n)$.
△ Less
Submitted 28 June, 2010;
originally announced June 2010.
-
The dilation of the Delaunay triangulation is greater than π/2
Authors:
Prosenjit Bose,
Luc Devroye,
Maarten Löffler,
Jack Snoeyink,
Vishal Verma
Abstract:
Consider the Delaunay triangulation T of a set P of points in the plane as a Euclidean graph, in which the weight of every edge is its length. It has long been conjectured that the dilation in T of any pair p, p \in P, which is the ratio of the length of the shortest path from p to p' in T over the Euclidean distance ||pp'||, can be at most π/2 \approx 1.5708. In this paper, we show how to constru…
▽ More
Consider the Delaunay triangulation T of a set P of points in the plane as a Euclidean graph, in which the weight of every edge is its length. It has long been conjectured that the dilation in T of any pair p, p \in P, which is the ratio of the length of the shortest path from p to p' in T over the Euclidean distance ||pp'||, can be at most π/2 \approx 1.5708. In this paper, we show how to construct point sets in convex position with dilation > 1.5810 and in general position with dilation > 1.5846. Furthermore, we show that a sufficiently large set of points drawn independently from any distribution will in the limit approach the worst-case dilation for that distribution.
△ Less
Submitted 2 June, 2010;
originally announced June 2010.
-
Photolysis of pure solid O3 and O2 films at 193 nm
Authors:
U. Raut,
M. J. Loeffler,
M. Famá,
R. A. Baragiola
Abstract:
We studied quantitatively the photochemistry of solid O3 and O2 films at 193 nm and 22 K with infrared spectroscopy and microgravimetry. Photolysis of pure ozone destroyed O3, but a small amount of ozone remained in the film at high fluence. Photolysis of pure O2 produced O3 in an amount that increased with photon fluence to a stationary level. For both O2 and O3 films, the O3:O2 ratio at saturati…
▽ More
We studied quantitatively the photochemistry of solid O3 and O2 films at 193 nm and 22 K with infrared spectroscopy and microgravimetry. Photolysis of pure ozone destroyed O3, but a small amount of ozone remained in the film at high fluence. Photolysis of pure O2 produced O3 in an amount that increased with photon fluence to a stationary level. For both O2 and O3 films, the O3:O2 ratio at saturation is 0.03, nearly 10-30 times larger than those obtained in gas phase photolysis. This enhancement is attributed to the increased photodissociation of O2 due to photoabsorption by O2 dimers, a process significant at solid state densities. We obtain initial quantum yield for ozone synthesis from solid oxygen, Φ (O3) = 0.18 and for destruction of ozone and oxygen in their parent solids, Φ (- O3) = 1.7 and Φ (-O2) = 0.28. Combined with known photoabsorption cross sections, we estimate probabilities for germinate recombination of 0.15 for O3 fragments and 0.90 for oxygen atoms from O2 dissociation. Using a two-parameter kinetic model, we deduce the average probabilities for the reaction of an O atom with O2 and O3 to be 0.10 and 1, respectively. These probabilities are the same for both O2 and O3 films, even though the distribution of kinetic and internal energy of the photofragments is very different in both cases. This finding suggests efficient energy relaxation of photofragments in the solid occur prior to their reactions with other species.
△ Less
Submitted 27 May, 2010;
originally announced May 2010.
-
Removing Local Extrema from Imprecise Terrains
Authors:
Chris Gray,
Frank Kammer,
Maarten Loffler,
Rodrigo I. Silveira
Abstract:
In this paper we consider imprecise terrains, that is, triangulated terrains with a vertical error interval in the vertices. In particular, we study the problem of removing as many local extrema (minima and maxima) as possible from the terrain. We show that removing only minima or only maxima can be done optimally in O(n log n) time, for a terrain with n vertices. Interestingly, however, removing…
▽ More
In this paper we consider imprecise terrains, that is, triangulated terrains with a vertical error interval in the vertices. In particular, we study the problem of removing as many local extrema (minima and maxima) as possible from the terrain. We show that removing only minima or only maxima can be done optimally in O(n log n) time, for a terrain with n vertices. Interestingly, however, removing both the minima and maxima simultaneously is NP-hard, and is even hard to approximate within a factor of O(log log n) unless P=NP. Moreover, we show that even a simplified version of the problem where vertices can have only two different heights is already NP-hard, a result we obtain by proving hardness of a special case of 2-Disjoint Connected Subgraphs, a problem that has lately received considerable attention from the graph-algorithms community.
△ Less
Submitted 12 August, 2011; v1 submitted 12 February, 2010;
originally announced February 2010.
-
The directed Hausdorff distance between imprecise point sets
Authors:
Christian Knauer,
Maarten Löffler,
Marc Scherfenberg,
Thomas Wolle
Abstract:
We consider the directed Hausdorff distance between point sets in the plane, where one or both point sets consist of imprecise points. An imprecise point is modelled by a disc given by its centre and a radius. The actual position of an imprecise point may be anywhere within its disc. Due to the direction of the Hausdorff Distance and whether its tight upper or lower bound is computed there are s…
▽ More
We consider the directed Hausdorff distance between point sets in the plane, where one or both point sets consist of imprecise points. An imprecise point is modelled by a disc given by its centre and a radius. The actual position of an imprecise point may be anywhere within its disc. Due to the direction of the Hausdorff Distance and whether its tight upper or lower bound is computed there are several cases to consider. For every case we either show that the computation is NP-hard or we present an algorithm with a polynomial running time. Further we give several approximation algorithms for the hard cases and show that one of them cannot be approximated better than with factor 3, unless P=NP.
△ Less
Submitted 25 September, 2009;
originally announced September 2009.
-
Shape Fitting on Point Sets with Probability Distributions
Authors:
Maarten Loffler,
Jeff M. Phillips
Abstract:
A typical computational geometry problem begins: Consider a set P of n points in R^d. However, many applications today work with input that is not precisely known, for example when the data is sensed and has some known error model. What if we do not know the set P exactly, but rather we have a probability distribution mu_p governing the location of each point p in P?
Consider a set of (non-fix…
▽ More
A typical computational geometry problem begins: Consider a set P of n points in R^d. However, many applications today work with input that is not precisely known, for example when the data is sensed and has some known error model. What if we do not know the set P exactly, but rather we have a probability distribution mu_p governing the location of each point p in P?
Consider a set of (non-fixed) points P, and let mu_P be the probability distribution of this set. We study several measures (e.g. the radius of the smallest enclosing ball, or the area of the smallest enclosing box) with respect to mu_P. The solutions to these problems do not, as in the traditional case, consist of a single answer, but rather a distribution of answers. We describe several data structures that approximate distributions of answers for shape fitting problems.
We provide simple and efficient randomized algorithms for computing all of these data structures, which are easy to implement and practical. We provide some experimental results to assert this. We also provide more involved deterministic algorithms for some of these data structures that run in time polynomial in n and 1/eps, where eps is the approximation factor.
△ Less
Submitted 15 December, 2008;
originally announced December 2008.