Show simple item record

Solving over-constrained problems
dc.contributor.advisorBarták, Roman
dc.creatorKasl, Tomáš
dc.date.accessioned2017-03-17T11:21:51Z
dc.date.available2017-03-17T11:21:51Z
dc.date.issued2006
dc.identifier.urihttp://hdl.handle.net/20.500.11956/3159
dc.description.abstractHierarchie 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.cs_CZ
dc.description.abstractConstraint 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.en_US
dc.languageČeštinacs_CZ
dc.language.isocs_CZ
dc.publisherUniverzita Karlova, Matematicko-fyzikální fakultacs_CZ
dc.titleŘešení příliš omezených problémůcs_CZ
dc.typediplomová prácecs_CZ
dcterms.created2006
dcterms.dateAccepted2006-02-06
dc.description.departmentDepartment of Theoretical Computer Science and Mathematical Logicen_US
dc.description.departmentKatedra teoretické informatiky a matematické logikycs_CZ
dc.description.facultyFaculty of Mathematics and Physicsen_US
dc.description.facultyMatematicko-fyzikální fakultacs_CZ
dc.identifier.repId39113
dc.title.translatedSolving over-constrained problemsen_US
dc.contributor.refereeZlomek, Josef
dc.identifier.aleph001460771
thesis.degree.nameMgr.
thesis.degree.levelmagisterskécs_CZ
thesis.degree.disciplineSoftware systemsen_US
thesis.degree.disciplineSoftwarové systémycs_CZ
thesis.degree.programInformaticsen_US
thesis.degree.programInformatikacs_CZ
uk.thesis.typediplomová prácecs_CZ
uk.taxonomy.organization-csMatematicko-fyzikální fakulta::Katedra teoretické informatiky a matematické logikycs_CZ
uk.taxonomy.organization-enFaculty of Mathematics and Physics::Department of Theoretical Computer Science and Mathematical Logicen_US
uk.faculty-name.csMatematicko-fyzikální fakultacs_CZ
uk.faculty-name.enFaculty of Mathematics and Physicsen_US
uk.faculty-abbr.csMFFcs_CZ
uk.degree-discipline.csSoftwarové systémycs_CZ
uk.degree-discipline.enSoftware systemsen_US
uk.degree-program.csInformatikacs_CZ
uk.degree-program.enInformaticsen_US
thesis.grade.csVýborněcs_CZ
thesis.grade.enExcellenten_US
uk.abstract.csHierarchie 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.cs_CZ
uk.abstract.enConstraint 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.en_US
uk.publication.placePrahacs_CZ
uk.grantorUniverzita Karlova, Matematicko-fyzikální fakulta, Katedra teoretické informatiky a matematické logikycs_CZ
dc.identifier.lisID990014607710106986


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV