88,230 research outputs found
Homology-based Distributed Coverage Hole Detection in Wireless Sensor Networks
Homology theory provides new and powerful solutions to address the coverage
problems in wireless sensor networks (WSNs). They are based on algebraic
objects, such as Cech complex and Rips complex. Cech complex gives accurate
information about coverage quality but requires a precise knowledge of the
relative locations of nodes. This assumption is rather strong and hard to
implement in practical deployments. Rips complex provides an approximation of
Cech complex. It is easier to build and does not require any knowledge of nodes
location. This simplicity is at the expense of accuracy. Rips complex can not
always detect all coverage holes. It is then necessary to evaluate its
accuracy. This work proposes to use the proportion of the area of undiscovered
coverage holes as performance criteria. Investigations show that it depends on
the ratio between communication and sensing radii of a sensor. Closed-form
expressions for lower and upper bounds of the accuracy are also derived. For
those coverage holes which can be discovered by Rips complex, a homology-based
distributed algorithm is proposed to detect them. Simulation results are
consistent with the proposed analytical lower bound, with a maximum difference
of 0.5%. Upper bound performance depends on the ratio of communication and
sensing radii. Simulations also show that the algorithm can localize about 99%
coverage holes in about 99% cases
Optimal randomized incremental construction for guaranteed logarithmic planar point location
Given a planar map of segments in which we wish to efficiently locate
points, we present the first randomized incremental construction of the
well-known trapezoidal-map search-structure that only requires expected preprocessing time while deterministically guaranteeing worst-case
linear storage space and worst-case logarithmic query time. This settles a long
standing open problem; the best previously known construction time of such a
structure, which is based on a directed acyclic graph, so-called the history
DAG, and with the above worst-case space and query-time guarantees, was
expected . The result is based on a deeper understanding of the
structure of the history DAG, its depth in relation to the length of its
longest search path, as well as its correspondence to the trapezoidal search
tree. Our results immediately extend to planar maps induced by finite
collections of pairwise interior disjoint well-behaved curves.Comment: The article significantly extends the theoretical aspects of the work
presented in http://arxiv.org/abs/1205.543
Improved Implementation of Point Location in General Two-Dimensional Subdivisions
We present a major revamp of the point-location data structure for general
two-dimensional subdivisions via randomized incremental construction,
implemented in CGAL, the Computational Geometry Algorithms Library. We can now
guarantee that the constructed directed acyclic graph G is of linear size and
provides logarithmic query time. Via the construction of the Voronoi diagram
for a given point set S of size n, this also enables nearest-neighbor queries
in guaranteed O(log n) time. Another major innovation is the support of general
unbounded subdivisions as well as subdivisions of two-dimensional parametric
surfaces such as spheres, tori, cylinders. The implementation is exact,
complete, and general, i.e., it can also handle non-linear subdivisions. Like
the previous version, the data structure supports modifications of the
subdivision, such as insertions and deletions of edges, after the initial
preprocessing. A major challenge is to retain the expected O(n log n)
preprocessing time while providing the above (deterministic) space and
query-time guarantees. We describe an efficient preprocessing algorithm, which
explicitly verifies the length L of the longest query path in O(n log n) time.
However, instead of using L, our implementation is based on the depth D of G.
Although we prove that the worst case ratio of D and L is Theta(n/log n), we
conjecture, based on our experimental results, that this solution achieves
expected O(n log n) preprocessing time.Comment: 21 page
- âŠ