Implementace a rozšíření algoritmu na virtuální hranovou konzistenci pro problém váženého programování s omezujícími podmínkami
Implementation and Extension of the Virtual Arc ConsistencyAlgorithm for Weighted Constraint Satisfaction Problem
Typ dokumentu
diplomová prácemaster thesis
Autor
Bužková Lucie
Vedoucí práce
Werner Tomáš
Oponent práce
Černoch Radomír
Studijní obor
Počítačové vidění a digitální obrazStudijní program
Otevřená informatikaInstituce přidělující hodnost
katedra kybernetikyPrá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://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdfVysokoš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://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf
Metadata
Zobrazit celý záznamAbstrakt
Problém splňování vážených podmínek (WCSP) je optimalizační problém daný množinou proměnných a množinou funkcí definovaných nad nimi. Mnoho problémů z oblasti zpracování obrazu, rozvrhování nebo bioinformatiky bylo formulováno jako WCSP. WCSP patří do třídy NP-úplných úloh, snahou je však nalézt algoritmy, které prořezávají vyhledávací prostor. Algoritmus VAC je založen na postupném zvyšování dolní meze řešení pomocí propagování virtuální hranové konzistence. \par
V této diplomové práci rozšíříme algoritmus VAC, aby propagoval virtuální J-konzistenci, která kontroluje konzistenci pouze u podmínek zahrutých v množině J Tenhle přístup umožňuje kompromis mezi rychlostí a kvalitou spodní meze. Dále také vylepšíme algoritmus VAC tím, že budeme využívat informace z předchozích iterací, čímž zabráníme redundantním testům konzistence. Obě implementace jsou porovnány a vyhodnoceny na několika datasetech. Weighted constraint satisfaction problem (WCSP) is an optimization problem given by a set of cost functions defined over discrete variables. Many problems in areas such as image processing, scheduling or bioinformatics have been formulated as WCSP. WCSP belongs to the class of NP-complete problems, however, there has been an effort to develop algorithms to prune the search space. VAC algorithm is based on incremental increase in the lower bound on any solutions by enforcing the virtual arc consistency. \par
In this thesis, we extend the VAC algorithm to enforce the J-consistency that proves consistent only constraints involved in a set J. This enable a trade-off between time and the quality of the solution. Furthermore, we improve the VAC algorithm by storing some information from the previous iteration to be used later. Both implementation are compared and evaluated on several datasets.
Kolekce
- Diplomové práce - 13133 [495]