Convex hull calculations: a Matlab implementation and correctness proofs for th...

• Autor(es): Kovacec, Alexander ; Ribeiro, Bernardete
• Data: 2003
• Identificador Persistente: http://hdl.handle.net/10316/11428
• Origem: Estudo Geral - Universidade de Coimbra
• Assunto(s): Convex hull computations; Lexicographic reverse search; Matlab implementation; Informal Correctness proofs; Linear inequalities; Simplex algorithm
• Tipo de Documento: Preprint
• Idioma: Inglês

Descrição

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.