Minimalizace konvexních po částech afinních funkcí pomocí lokálních konzistencí
Minimizing Convex Piecewise-Affine Functions by Local Consistency Techniques
Typ dokumentu
diplomová prácemaster thesis
Autor
Dlask Tomáš
Vedoucí práce
Werner Tomáš
Oponent práce
Šůcha Přemysl
Studijní obor
Umělá inteligenceStudijní program
Otevřená informatikaInstituce přidělující hodnost
katedra počítačůPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
Cílem této práce je vytvořit algoritmus pro minimalizaci konvexních po částech afinních funkcí zadaných jako součet maxim afinních funkcí, přičemž se zaměřujeme na řídké instance velkého rozsahu. K dosáhnutí tohoto cíle zobecňujeme algoritmus Augmenting DAG, který minimalizuje horní mez max-plus problému, a používáme podmínku lokální konzistence, která je relaxací podmínky pro globální optimalitu. V této práci představujeme minimalizační algoritmus a teorii s ním spojenou, dokazujeme správnost tohoto algoritmu a navrhujeme jeho verzi pro celočíselnou aritmetiku, kterou jsme implementovali v C++. Poté při testování na velkých řídkých instancích experimentálně ukazujeme, že náš algoritmus je schopen dosáhnout výsledků, které jsou blízko optima. The aim of this work is to develop an algorithm minimizing convex piecewise-affine functions given in the form of a sum of pointwise maxima of affine functions. To make this possible for very large sparse instances, we generalize the Augmenting DAG algorithm (previously proposed to minimize an upper bound on the max-sum problem) and use the notion of local consistency, which relaxes the global optimality condition. We develop the algorithm, the related theory, prove its correctness, and propose a version using integer arithmetic which we implement in C++. We then experimentally show that the algorithm can provide near-optimal results, when tested on sparse large instances.
Kolekce
- Diplomové práce - 13136 [892]