Řešení příliš omezených problémů
Solving over-constrained problems
diploma thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/3159Identifiers
Study Information System: 39113
Collections
- Kvalifikační práce [11217]
Author
Advisor
Referee
Zlomek, Josef
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Software systems
Department
Department of Theoretical Computer Science and Mathematical Logic
Date of defense
6. 2. 2006
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Excellent
Hierarchie omezujících podmínek jsou jednou z metod řešení příliš omezených problémů, což jsou problémy splňování podmínek, ve kterých není možné splnit všechny podmínky. Hierarchie vzniknou rozšířením "plochých" omezujících podmínek o preference, které vyjadřují, jak důležité je splnění konkrétní podmínky.Většina existujících řešičů hierarchií se dá rozdělit mezi algoritmy lokální propagace, které jsou většinou limitovány na podmínky typu rovnost, a zjemňující algoritmy, které jsou neinkrementální a málo efektivní. Obecná teorie sítí podmínek spojuje oba přístupy, ale dosud neexistuje algoritmus , který by plně využil výhod této teorie. Tato práce navrhuje nový algoritmus,který by tuto teorii využil.
Constraint hierarchies belong to techniques for solving over-constrained problems, that is, constraint satisfaction problems where it is not possible to satisfy all the constraints. The idea of constraint hierarchy is to label each constraint by a preference level describing how much the constraint should be satisfied. Currently, there exist two classes of constraint hierarchy solvers: local propagation solvers that can handle more or less equality constraints only and refining solvers that are a bit cumbersome and non-incremental. The theoretical framework of constraint hierarchy solvers combines advantages of both above mentioned classes but no algorithm exploiting the power of this framework has been proposed so far. The thesis describes a new algorithm for solving constraint hierarchies based on this framework.