Convex Hull Calculations: a Matlab Implementation and Correctness Proofs for the lrs-Algorithm
Mathematical Software
2016-04-22 v1
Abstract
This paper provides full \Matlab-code and informal correctness proofs for the lexicographic reverse search algorithm for convex hull calculations. The implementation was tested on a 1993 486-PC for various small and some larger, partially highly degenerate combinatorial polytopes, one of which (a certain 13-dimensional 24 vertex polyhedron) occurs naturally in the study of a well known problem posed by Professor Graciano de Oliveira: see end of section 1.
Keywords
Cite
@article{arxiv.1604.06112,
title = {Convex Hull Calculations: a Matlab Implementation and Correctness Proofs for the lrs-Algorithm},
author = {Alexander Kovačec and Bernardete Ribeiro},
journal= {arXiv preprint arXiv:1604.06112},
year = {2016}
}
Comments
21 pages, 2 figures