This paper describes a new algorithm for constructing the set of free bitangents of a collection of n disjoint convex obstacles of constant complexity. The algorithm runs in time O(nlogn + k), where k is the output size, and uses O(n) space. While earlier algorithms achieve the same optimal running time, this is the first optimal algorithm that uses only linear space. The visibility graph or the visibility complex can be computed in the same time and space. The only complicated data structure used by the algorithm is a splittable queue, which can be implemented easily using red-black trees. The algorithm is conceptually very simple, and should therefore be easy to implement and quite fast in practice. The algorithm relies on greedy pseudotriangulations, which are subgraphs of the visibility graph with many nice combinatorial properties. These properties, and thus the correctness of the algorithm, are partially derived from properties of a certain partial order on the faces of the visibility complex.

We study the set of all pseudoline arrangements with contact points which cover a given support. We define a natural notion of flip between these arrangements and study the graph of these flips. In particular, we provide an enumeration algorithm for arrangements with a given support, based on the properties of certain greedy pseudoline arrangements and on their connection with sorting networks. Both the running time per arrangement and the working space of our algorithm are polynomial.As the motivation for this work, we provide in this paper a new interpretation of both pseudotriangulations and multitriangulations in terms of pseudoline arrangements on specific supports. This interpretation explains their common properties and leads to a natural definition of multipseudotriangulations, which generalizes both. We study elementary properties of multipseudotriangulations and compare them to iterations of pseudotriangulations.

No abstract

Take-down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

We introduce the visibility complex (a 2-dimensional regular cell complex) of a collection of n pairwise disjoint convex obstacles in the plane. It can be considered as a subdivision of the set of free rays (i.e., rays whose origins lie in free space, the complement of the obstacles). Its cells correspond to collections of rays with the same backward and forward views. The combinatorial complexity of the visibility complex is proportional to the number k of free bitangents of the collection of obstacles. We give an O(n log n+k) time and O(k) working space algorithm for its construction. Furthermore we show how the visibility complex can be used to compute the visibility polygon from a point in O(m log n) time, where m is the size of the visibility polygon. Our method is based on the notions of pseudotriangle and pseudo-triangulation, introduced in this paper.