Showing 1–4 of 4 results for author: Pocchiola, M

Computing pseudotriangulations via branched coverings

Authors: Luc Habert, Michel Pocchiola

Abstract: We describe an efficient algorithm to compute a pseudotriangulation of a finite planar family of pairwise disjoint convex bodies presented by its chirotope. The design of the algorithm relies on a deepening of the theory of visibility complexes and on the extension of that theory to the setting of branched coverings. The problem of computing a pseudotriangulation that contains a given set of bitan… ▽ More We describe an efficient algorithm to compute a pseudotriangulation of a finite planar family of pairwise disjoint convex bodies presented by its chirotope. The design of the algorithm relies on a deepening of the theory of visibility complexes and on the extension of that theory to the setting of branched coverings. The problem of computing a pseudotriangulation that contains a given set of bitangent line segments is also examined. △ Less

Submitted 13 July, 2012; v1 submitted 1 February, 2011; originally announced February 2011.

Comments: 66 pages, 39 figures

MSC Class: 52C30; 52A10; 52C40; 68-04; 68U05; 68R05

Journal ref: Discrete Comput. Geom. 48(3):518-579, 2012

LR characterization of chirotopes of finite planar families of pairwise disjoint convex bodies

Authors: Luc Habert, Michel Pocchiola

Abstract: We extend the classical LR characterization of chirotopes of finite planar families of points to chirotopes of finite planar families of pairwise disjoint convex bodies: a map \c{hi} on the set of 3-subsets of a finite set I is a chirotope of finite planar families of pairwise disjoint convex bodies if and only if for every 3-, 4-, and 5-subset J of I the restriction of \c{hi} to the set of 3-subs… ▽ More We extend the classical LR characterization of chirotopes of finite planar families of points to chirotopes of finite planar families of pairwise disjoint convex bodies: a map \c{hi} on the set of 3-subsets of a finite set I is a chirotope of finite planar families of pairwise disjoint convex bodies if and only if for every 3-, 4-, and 5-subset J of I the restriction of \c{hi} to the set of 3-subsets of J is a chirotope of finite planar families of pairwise disjoint convex bodies. Our main tool is the polarity map, i.e., the map that assigns to a convex body the set of lines missing its interior, from which we derive the key notion of arrangements of double pseudolines, introduced for the first time in this paper. △ Less

Submitted 5 October, 2014; v1 submitted 5 January, 2011; originally announced January 2011.

Comments: 100 pages, 73 figures; accepted manuscript version

MSC Class: 52C30; 52C20; 05C62; 05A05

Journal ref: Discrete Comput. Geom., 50 (3): 552-648, 2013

Multitriangulations, pseudotriangulations and primitive sorting networks

Authors: Vincent Pilaud, Michel Pocchiola

Abstract: 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. Bo… ▽ More 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. △ Less

Submitted 11 March, 2012; v1 submitted 27 September, 2010; originally announced September 2010.

Comments: 60 pages, 40 figures; minor corrections and improvements of presentation

MSC Class: 52C30; 52C20; 05C62; 05A05

Journal ref: Discrete Comput. Geom., 48(1):142-191, 2012

On the number of simple arrangements of five double pseudolines

Authors: Julien Ferté, Vincent Pilaud, Michel Pocchiola

Abstract: We describe an incremental algorithm to enumerate the isomorphism classes of double pseudoline arrangements. The correction of our algorithm is based on the connectedness under mutations of the spaces of one-extensions of double pseudoline arrangements, proved in this paper. Counting results derived from an implementation of our algorithm are also reported. We describe an incremental algorithm to enumerate the isomorphism classes of double pseudoline arrangements. The correction of our algorithm is based on the connectedness under mutations of the spaces of one-extensions of double pseudoline arrangements, proved in this paper. Counting results derived from an implementation of our algorithm are also reported. △ Less

Submitted 8 September, 2010; originally announced September 2010.

Comments: 24 pages, 16 figures, 6 tables

MSC Class: 52C30; 52A10; 68-04; 68R05

Journal ref: Discrete Comput. Geom., 45(2):279-302, 2011