Řešení příliš omezených problémů

Abstract

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.