Doctoral thesis (Dissertations and theses)
Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces
Mainz, Isabelle
2020
 

Files


Full Text
These.pdf
Author preprint (2.13 MB)
Request a copy

All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
Convex Polyhedra; Symbolic Representation; Polyhedra; Polytopes; Double description; Face lattice; Decomposition; Data structure; Computational Geometry
Abstract :
[en] In this thesis, we introduce three original data structures, the Convex Polyhedron Decision Diagram (CPDD), the Decomposed Convex Polyhedron (DCP), and the Internally Decomposed Convex Polyhedron (IDCP), suited for representing symbolically convex polyhedra in high-dimensional spaces. For each of them, we develop an extensive set of algorithms for constructing elementary sets, manipulating them with operators such as intersection, affine transformation, Cartesian product, and Minkowski sum, and performing other specialized operations such as computing the convex hull of two sets, and enumerating the geometrical components of a polyhedron. Each such algorithm is described in pseudocode, and its principles of operation are illustrated with concrete examples. Our three data structures combine features of the double-description method and automata-based representations. In particular, they are easily reducible into a canonical form, which eases comparison operations between represented polyhedra. The CPDD essentially consists in an explicit description of the face lattice of a polyhedron, enhanced with algebraic structures. This approach presents a significant advantage over the double-description method, leading in particular to a more efficient implementation of the projection operation. The main drawback of this solution is that it suffers from combinatorial explosion when handling polyhedra in high-dimensional spaces, e.g., the representation of an $n$-cube takes $O(2^n)$ space. With the DCP data structure, we introduce a novel decomposition mechanism that represents some polyhedra as combinations of simpler sets. This leads to concise representations that are able to overcome combinatorial explosion in a broad range of situations. The IDCP representation further generalizes the DCP by extending the way it exploits the decomposition mechanism, obtaining an even more efficient data structure.
Research Center/Unit :
Montefiore Institute - Montefiore Institute of Electrical Engineering and Computer Science - ULiège
Disciplines :
Computer science
Author, co-author :
Mainz, Isabelle ;  Université de Liège - ULiège > Montefiore Institute
Language :
English
Title :
Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces
Defense date :
2020
Institution :
ULiège - Université de Liège
Degree :
Doctor of Science
Promotor :
Boigelot, Bernard  ;  Université de Liège - ULiège > Montefiore Institute of Electrical Engineering and Computer Science
President :
Fontaine, Pascal  ;  Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore) > Systèmes informatiques distribués
Jury member :
Rigo, Michel  ;  Université de Liège - ULiège > Département de mathématique
Gribomont, Pascal ;  Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore)
Wolper, Pierre  ;  Université de Liège - ULiège > Département d'électricité, électronique et informatique (Institut Montefiore)
Bruyère, Véronique
Herbreteau, Frédéric
Available on ORBi :
since 24 January 2020

Statistics


Number of views
211 (35 by ULiège)
Number of downloads
31 (23 by ULiège)

Bibliography


Similar publications



Contact ORBi