9 research outputs found

    An Optimal Algorithm for Closest-Pair Maintenance

    Full text link
    Given a set S of n points in k-dimensional space, and an Lt metric, the dynamic closest-pair problem is defined as follows: find a closest pair of S after each update of S (the insertion or the deletion of a point). For fixed dimension k and fixed metric Lt, we give a data structure of size O(n) that maintains a closest pair of S in O(log n) time per insertion and deletion. The running time of the algorithm is optimal up to a constant factor because Ω(log n) is a lower bound, in an algebraic decision-tree model of computation, on the time complexity of any algorithm that maintains the closest pair (for k = 1). The algorithm is based on the fair-split tree. The constant factor in the update time is exponential in the dimension. We modify the fair-split tree to reduce it

    Finding Longest Increasing and Common Subsequences in Streaming Data

    No full text
    We present algorithms and lower bounds for the Longest Increasing Subsequence (LIS) and Longest Common Subsequence (LCS) problems in the data-streaming model. To decide if the LIS of a given stream of elements drawn from an alphabet Σ has length at least k, we discuss a one-pass algorithm using O(k log |Σ|) space, with update time either O(log k) or O(log log |Σ|); for |Σ | = O(1), we can achieve O(log k) space and constant-time updates. We also prove a lower bound of Ω(k) on the space requirement for this problem for general alphabets Σ, even when the input stream is a permutation of Σ. For finding the actual LIS, we give a ⌈log(1 + 1/ε)⌉pass algorithm using O(k 1+ε log |Σ|) space, for any ε> 0. For LCS, there is a trivial Θ(1)approximate O(log n)-space streaming algorithm when |Σ | = O(1). For general alphabets Σ, the problem is much harder. We prove several lower bounds on the LCS problem, of which the strongest is the following: it is necessary to use Ω(n/ρ 2) space to approximate the LCS of two n-element streams to within a factor of ρ, even if the streams are permutations of each other

    Efficient algorithms for geometric optimization

    No full text
    corecore