On Envelopes of Arrangements of Lines

The envelope of an arrangement of lines is the polygon consisting of the finite length segments that bound the infinite faces of the arrangement. We study the geometry of envelope polygons (simple polygons that are the envelope of some arrangement). We show that envelope polygons areL-convex and derive several geometric properties of envelopes. Given an envelope polygonPofnvertices, we show how to sort its edges by slope inO(n) time (for unrestricted simple polygons this problem has complexity ?(nlogn)). Using this result, we give a linear time procedure to verify if a given polygon is an envelope polygon. We introduce a hierarchy of classes of arrangements of lines based on the number of convex vertices of their envelopes. In particular, we look at a class calledsail arrangements, which we prove has properties that enable us to solve a number of problems optimally. Given a sail arrangement consisting ofnlines (and ?(n2) vertices), we show how the prune-and-search technique can be used to determine all the convex vertices of its envelope inO(n) time. This implies that the intersection point with minimum or maximumx-coordinate, the diameter, and the convex hull of sail arrangements (problems that also have ?(nlogn) complexity for arbitrary arrangements) can be found inO(n) time. We show, in spite of this, that the problem of constructing thefullenvelope of a sail arrangement still has a lower bound of ?(nlogn). We also examine the existence of hamiltonian circuits through the intersection points of a nontrivial subclass of sail arrangements. Finally, we establish an ?(nlogn) time lower bound for the problem of constructing a hamiltonian circuit through the vertices of an arrangement ofnlines, where only the vertices where a turn is made need be output.