Softwarový balík pro práci s polyedry

Abstract

Název práce: Softwarový balík pro práci s polyedry Autor: Veronika Steffanová Katedra: Katedra aplikované matematiky Vedoucí bakalářské práce: Mgr. Milan Hladík, Ph.D., Katedra aplikované matema- tiky Abstrakt: V práci jsme se zaměřili na téma polyedrů a základních algoritmů pro práci s nimi. Nejdříve je předložena věta o ekvivalenci vrcholové a nerovnicové reprezen- tace a poté jsou popsány vybrané algoritmy, které řeší jejich vzájemný převod. Prak- tická část se pak týká implementace tří funkcí založených na zvolených algoritmech a několika dalších, které jsou jejich přímým důsledkem. Výsledkem je knihovna funkcí pro MATLAB, která obsahuje nástroje pro převod mezi jednotlivými reprezentacemi, konvexní sjednocení dvou polyedrů, průnik dvou polyedrů a odstranění redundantních vrcholů (resp. nerovnic) z vrcholové (resp. nerovnicové) reprezentace. Kromě toho jsme porovnali dva námi implementované algoritmy pro převod z vrcholové do ne- rovnicové reprezentace, a to jak z hlediska časové, tak i prostorové a implementační náročnosti. Klíčová slova: polyedr, MATLAB, lineární programování, konvexní obal 1

Title: Software package for polyhedra operation Author: Veronika Steffanová Department: Department of Applied Mathematics Supervisor: Mgr. Milan Hladík, Ph.D., Department of Applied Mathematics Abstract: The topic of the thesis is focused on convex polyhedra and algorithms for working with them. At first we give the theorem about vertex and facet description and then we describe selected algorithms connected to the problem of the conversion between these two descriptions. In the practical part we implement three functions using three selected algorithms and a few other functions, which are simple results of the three algorithms. Finally we get a MATLAB library, which contains functions for vertex enumeration, facet enumeration, convex union of two polyhedra, intersection of two polyhedra and irredudancy problem for facets and vertices, too. By the way we compare our two implemented algorithms for facet enumeration, but not only accor- ding the running time, also according the memory requirements and the implemen- tation complexity. Keywords: polyhedron, MATLAB, linear programming, convex hull 1