5 research outputs found
Minimum Cuts in Geometric Intersection Graphs
Let be a set of disks in the plane. The disk graph
for is the undirected graph with vertex set
in which two disks are joined by an edge if and only if they
intersect. The directed transmission graph for
is the directed graph with vertex set in which
there is an edge from a disk to a disk if and only if contains the center of .
Given and two non-intersecting disks , we
show that a minimum - vertex cut in or in
can be found in
expected time. To obtain our result, we combine an algorithm for the maximum
flow problem in general graphs with dynamic geometric data structures to
manipulate the disks.
As an application, we consider the barrier resilience problem in a
rectangular domain. In this problem, we have a vertical strip bounded by
two vertical lines, and , and a collection of
disks. Let be a point in above all disks of , and let
a point in below all disks of . The task is to find a curve
from to that lies in and that intersects as few disks of
as possible. Using our improved algorithm for minimum cuts in
disk graphs, we can solve the barrier resilience problem in
expected time.Comment: 11 pages, 4 figure
Dynamic data structures for k-nearest neighbor queries
Our aim is to develop dynamic data structures that support k-nearest neighbors (k-NN) queries for a set of n point sites in the plane in O(f(n)+k) time, where f(n) is some polylogarithmic function of n. The key component is a general query algorithm that allows us to find the k-NN spread over t substructures simultaneously, thus reducing an O(tk) term in the query time to O(k). Combining this technique with the logarithmic method allows us to turn any static k-NN data structure into a data structure supporting both efficient insertions and queries. For the fully dynamic case, this technique allows us to recover the deterministic, worst-case, O(log2n/loglogn+k) query time for the Euclidean distance claimed before, while preserving the polylogarithmic update times. We adapt this data structure to also support fully dynamic geodesic k-NN queries among a set of sites in a simple polygon. For this purpose, we design a shallow cutting based, deletion-only k-NN data structure. More generally, we obtain a dynamic planar k-NN data structure for any type of distance functions for which we can build vertical shallow cuttings. We apply all of our methods in the plane for the Euclidean distance, the geodesic distance, and general, constant-complexity, algebraic distance functions
Maximum Matchings in Geometric Intersection Graphs
Let G be an intersection graph of n geometric objects in the plane. We show that a maximum matching in G can be found in O(ρ3ω/2nω/2) time with high probability, where ρ is the density of the geometric objects and ω>2 is a constant such that n×n matrices can be multiplied in O(nω) time. The same result holds for any subgraph of G, as long as a geometric representation is at hand. For this, we combine algebraic methods, namely computing the rank of a matrix via Gaussian elimination, with the fact that geometric intersection graphs have small separators. We also show that in many interesting cases, the maximum matching problem in a general geometric intersection graph can be reduced to the case of bounded density. In particular, a maximum matching in the intersection graph of any family of translates of a convex object in the plane can be found in O(nω/2) time with high probability, and a maximum matching in the intersection graph of a family of planar disks with radii in [1,Ψ] can be found in O(Ψ6log11n+Ψ12ωnω/2) time with high probability
Dynamic Connectivity in Disk Graphs
Let S ⊆ R2 be a set of n sites in the plane, so that every site s ∈ S has an associated
radius rs > 0. Let D(S) be the disk intersection graph defined by S, i.e., the graph
with vertex set S and an edge between two distinct sites s, t ∈ S if and only if the
disks with centers s, t and radii rs , rt intersect. Our goal is to design data structures
that maintain the connectivity structure of D(S) as sites are inserted and/or deleted
in S. First, we consider unit disk graphs, i.e., we fix rs = 1, for all sites s ∈ S.
For this case, we describe a data structure that has O(log2 n) amortized update time
and O(log n/ log log n) query time. Second, we look at disk graphs with bounded
radius ratio Ψ, i.e., for all s ∈ S, we have 1 ≤ rs ≤ Ψ, for a parameter Ψ that is
known in advance. Here, we not only investigate the fully dynamic case, but also the
incremental and the decremental scenario, where only insertions or only deletions of
sites are allowed. In the fully dynamic case, we achieve amortized expected update
time O(Ψ log4 n) and query time O(log n/ log log n). This improves the currently
best update time by a factor of Ψ. In the incremental case, we achieve logarithmic
dependency on Ψ, with a data structure that has O(α(n)) amortized query time and
O(log Ψ log4 n) amortized expected update time, where α(n) denotes the inverse Ackermann
function. For the decremental setting, we first develop an efficient decremental
disk revealing data structure: given two sets R and B of disks in the plane, we can delete
disks from B, and upon each deletion, we receive a list of all disks in R that no longer
intersect the union of B. Using this data structure, we get decremental data structures
with a query time of O(log n/ log log n) that supports deletions in O(n log Ψ log4 n)
overall expected time for disk graphs with bounded radius ratio Ψ and O(n log5 n)
overall expected time for disk graphs with arbitrary radii, assuming that the deletion
sequence is oblivious of the internal random choices of the data structures