The convex hull of a regular set of integer vectors is polyhedral and effectively computable

Date
Authors
Finkel, Alain
Leroux, Jérôme
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Number Decision Diagrams (NDD) provide a natural finite symbolic representation for regular set of integer vectors encoded as strings of digit vectors (least or most significant digit first). The convex hull of the set of vectors represented by a NDD is proved to be an effectively computable convex polyhedron.
Keywords
Computer Science - Computational Geometry, Computer Science - Data Structures and Algorithms, Computer Science - Logic in Computer Science
Citation
Collections