Subquadratic encodings for point configurations

Jean Cardinal, Timothy M. Chan, John Iacono, Stefan Langerman, Aurélien Ooms

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

For many algorithms dealing with sets of points in the plane, the only relevant information carried by the input is the combinatorial configuration of the points: the orientation of each triple of points in the set (clockwise, counterclockwise, or collinear). This information is called the order type of the point set. In the dual, realizable order types and abstract order types are combinatorial analogues of line arrangements and pseudoline arrangements. Too often in the literature we analyze algorithms in the real-RAM model for simplicity, putting aside the fact that computers as we know them cannot handle arbitrary real numbers without some sort of encoding. Encoding an order type by the integer coordinates of a realizing point set is known to yield doubly exponential coordinates in some cases. Other known encodings can achieve quadratic space or fast orientation queries, but not both. In this contribution, we give a compact encoding for abstract order types that allows efficient query of the orientation of any triple: the encoding uses O(n2) bits and an orientation query takes O (logn) time in the word-RAM model with word size w ≥ logn. This encoding is space-optimal for abstract order types. We show how to shorten the encoding to O(n2(loglogn)2/logn) bits for realizable order types, giving the first subquadratic encoding for those order types with fast orientation queries. We further refine our encoding to attain O(log n/log log n) query time at the expense of a negligibly larger space requirement. In the realizable case, we show that all those encodings can be computed efficiently. Finally, we generalize our results to the encoding of point configurations in higher dimension.

Original languageEnglish (US)
Title of host publication34th International Symposium on Computational Geometry, SoCG 2018
EditorsCsaba D. Toth, Bettina Speckmann
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages201-2014
Number of pages1814
ISBN (Electronic)9783959770668
DOIs
StatePublished - Jun 1 2018
Event34th International Symposium on Computational Geometry, SoCG 2018 - Budapest, Hungary
Duration: Jun 11 2018Jun 14 2018

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume99
ISSN (Print)1868-8969

Other

Other34th International Symposium on Computational Geometry, SoCG 2018
CountryHungary
CityBudapest
Period6/11/186/14/18

Keywords

  • Chirotope
  • Order type
  • Point configuration
  • Succinct data structure

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Subquadratic encodings for point configurations'. Together they form a unique fingerprint.

Cite this