Smoothed Analysis of Order Types

07/10/2019
by   Ivor van der Hoog, et al.
0

Consider an ordered point set P = (p_1,...,p_n), its order type (denoted by χ_P) is a map which assigns to every triple of points a value in {+,-,0} based on whether the points are collinear(0), oriented clockwise(-) or counter-clockwise(+). An abstract order type is a map χ : [n 3] →{+,-,0} (where [n 3] is the collection of all triples of a set of n elements) that satisfies the following condition: for every set of five elements S⊂ [n] its induced order type χ_|S is realizable by a point set. To be precise, a point set P realizes an order type χ,if χ_P(p_i,p_j,p_k) = χ(i,j,k), for all i<j<k. Planar point sets are among the most basic and natural geometric objects of study in Discrete and Computational Geometry. Properties of point sets are relevant in theory and practice alike. It is known, that deciding if an abstract order type is realizable is complete for the existential theory of the reals. Our results show that order type realizability is much easier for realistic instances than in the worst case. In particular, we can recognize instances in "expected -time". This is one of the first ∃R-complete problems analyzed under the lens of Smoothed Analysis.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/21/2017

Geodesic Order Types

The geodesic between two points a and b in the interior of a simple poly...
research
01/18/2018

A universality theorem for allowable sequences with applications

Order types are a well known abstraction of combinatorial properties of ...
research
08/07/2018

The Parameterized Complexity of Finding Point Sets with Hereditary Properties

We consider problems where the input is a set of points in the plane and...
research
11/29/2020

Constructing Order Type Graphs using an Axiomatic Approach

A given order type in the plane can be represented by a point set. Howev...
research
12/20/2018

On Order Types of Random Point Sets

Let P be a set of n random points chosen uniformly in the unit square. I...
research
01/05/2018

Subquadratic Encodings for Point Configurations

For most algorithms dealing with sets of points in the plane, the only r...
research
05/23/2022

Generalized fusible numbers and their ordinals

Erickson defined the fusible numbers as a set ℱ of reals generated by re...

Please sign up or login with your details

Forgot password? Click here to reset