Globální podmínky

Abstract

Globální omezující podmínky hrají klícovou roli pri rešení reálných kombinatorických problému a to díky zabalení speciálních rešících technik pro konkrétní podproblém a následnou integraci techto technik v rámci obecných technik splnování podmínek. Dnes existuje velké množství ruzných globálních podmínek vytvorených pro rešení konkrétních problému nebo navržených na základe stávajících rešících technik. Tato práce podává snadno použitelný prehled existujících globálních podmínek s durazem na jejich praktickou využitelnost.

Global constraints play a crucial role in solving real-life combinatorial problems thanks to encapsulation of dedicated solving techniques for particular sub-problems and integration of these techniques via general constraint satisfaction technology. There exist many global constraints developed for particular problems as well as derived from existing solving techniques. This work focuses on providing an easy-to-use survey of existing global constraints with particular emphasis on practical applicability.