Show simple item record

Dynamic Constraint Satisfaction Problems
dc.creatorSurynek, Pavel
dc.date.accessioned2017-03-29T14:31:33Z
dc.date.available2017-03-29T14:31:33Z
dc.date.issued2006
dc.identifier.urihttp://hdl.handle.net/20.500.11956/6172
dc.description.abstractConstraint satisfaction problems (CSPs) are a type of combinatorial (optimization) problems that invite much interest in many practical applications. CSP is defined by a set of variables, to which values must be assigned, and a set of constraints that restrict these assignments. Since many problems of practical interest require a dynamic environment, the model of CSP was extended to a dynamic CSP (DCSP), in which the set of variables and/or constraints can be modified during the constraint resolution process. To simplify the constraint satisfaction problem for search algorithms, consistency (filtering) techniques like arc-consistency are usually applied. In this thesis, we study the problem of maintaining arc-consistency in DCSPs. We propose several new dynamic arc-consistency algorithms that yield a better compromise between time and space in comparison to similar existing algorithms like DNAC-4, DNAC-6 and AC|DC. The highlight of the work is a new algorithm that outperforms so far fastest algorithm for maintaining arc consistency in dynamic problems DNAC-6. In order to do performance experiments we have developed a library SPlan written in C++. This library solves DCSPs and the new algorithms as like as the comparable existing ones are implemented as a part of the library. Experimental results on randomly...en_US
dc.description.abstractProblémy splňování podmínek (CSP) jsou s vzhledem k možnostem praktického použití velmi zkoumanou oblastí kombinatorického prohledávání (optimalizace). CSP je definován množinou proměnných, kterým mají být přiřazeny hodnoty, a množinou podmínek, jež omezují tato přiřazení. Jelikož mnoho praktických problémů vyžaduje dynamické prostředí, byl koncept CSP rozšířen na dynamický CSP (DCSP), kde se množina proměnných a/nebo podmínek může měnit během řešícího procesu. S ohledem na prohledávací algoritmy jsou problémy splňování podmínek obvykle nejprve zjednodušovány pomocí konzistenčních (filtračních) technik, jako je například hranová konzistence. V této práci jsme se zaměřili na studium otázky udržování hranové konzistence v DCSP. Navrhli jsme několik nových algoritmů pro dynamickou hranovou konzistenci, které představují lepší kompromis mezi paměťovými a časovými požadavky v porovnání s podobnými existujícími algoritmy, jako jsou DNAC-4, DNAC-6 a AC|DC. Hlavním výsledkem práce je pak nový algoritmus, který překonává i dosud nejrychlejší existující algoritmus pro udržování hranové konzistence v dynamických problémech DNAC-6. Aby bylo možné provádět výkonnostní testy, vyvinuli jsme knihovnu SPlan napsanou v C++. Knihovna je určena pro řešení DCSP a nové algoritmy jakož i srovnatelné existující jsou implementovány...cs_CZ
dc.languageČeštinacs_CZ
dc.language.isocs_CZ
dc.publisherUniverzita Karlova, Matematicko-fyzikální fakultacs_CZ
dc.titleDynamické problémy s podmínkamics_CZ
dc.typerigorózní prácecs_CZ
dcterms.created2006
dcterms.dateAccepted2006-06-29
dc.description.departmentKatedra teoretické informatiky a matematické logikycs_CZ
dc.description.departmentDepartment of Theoretical Computer Science and Mathematical Logicen_US
dc.description.facultyMatematicko-fyzikální fakultacs_CZ
dc.description.facultyFaculty of Mathematics and Physicsen_US
dc.identifier.repId44369
dc.title.translatedDynamic Constraint Satisfaction Problemsen_US
dc.contributor.refereeRudová, Hana
dc.identifier.aleph000834910
thesis.degree.nameRNDr.
thesis.degree.levelrigorózní řízenícs_CZ
thesis.degree.disciplineTheoretical computer scienceen_US
thesis.degree.disciplineTeoretická informatikacs_CZ
thesis.degree.programInformaticsen_US
thesis.degree.programInformatikacs_CZ
uk.thesis.typerigorózní 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.csTeoretická informatikacs_CZ
uk.degree-discipline.enTheoretical computer scienceen_US
uk.degree-program.csInformatikacs_CZ
uk.degree-program.enInformaticsen_US
thesis.grade.csProspělcs_CZ
thesis.grade.enPassen_US
uk.abstract.csProblémy splňování podmínek (CSP) jsou s vzhledem k možnostem praktického použití velmi zkoumanou oblastí kombinatorického prohledávání (optimalizace). CSP je definován množinou proměnných, kterým mají být přiřazeny hodnoty, a množinou podmínek, jež omezují tato přiřazení. Jelikož mnoho praktických problémů vyžaduje dynamické prostředí, byl koncept CSP rozšířen na dynamický CSP (DCSP), kde se množina proměnných a/nebo podmínek může měnit během řešícího procesu. S ohledem na prohledávací algoritmy jsou problémy splňování podmínek obvykle nejprve zjednodušovány pomocí konzistenčních (filtračních) technik, jako je například hranová konzistence. V této práci jsme se zaměřili na studium otázky udržování hranové konzistence v DCSP. Navrhli jsme několik nových algoritmů pro dynamickou hranovou konzistenci, které představují lepší kompromis mezi paměťovými a časovými požadavky v porovnání s podobnými existujícími algoritmy, jako jsou DNAC-4, DNAC-6 a AC|DC. Hlavním výsledkem práce je pak nový algoritmus, který překonává i dosud nejrychlejší existující algoritmus pro udržování hranové konzistence v dynamických problémech DNAC-6. Aby bylo možné provádět výkonnostní testy, vyvinuli jsme knihovnu SPlan napsanou v C++. Knihovna je určena pro řešení DCSP a nové algoritmy jakož i srovnatelné existující jsou implementovány...cs_CZ
uk.abstract.enConstraint satisfaction problems (CSPs) are a type of combinatorial (optimization) problems that invite much interest in many practical applications. CSP is defined by a set of variables, to which values must be assigned, and a set of constraints that restrict these assignments. Since many problems of practical interest require a dynamic environment, the model of CSP was extended to a dynamic CSP (DCSP), in which the set of variables and/or constraints can be modified during the constraint resolution process. To simplify the constraint satisfaction problem for search algorithms, consistency (filtering) techniques like arc-consistency are usually applied. In this thesis, we study the problem of maintaining arc-consistency in DCSPs. We propose several new dynamic arc-consistency algorithms that yield a better compromise between time and space in comparison to similar existing algorithms like DNAC-4, DNAC-6 and AC|DC. The highlight of the work is a new algorithm that outperforms so far fastest algorithm for maintaining arc consistency in dynamic problems DNAC-6. In order to do performance experiments we have developed a library SPlan written in C++. This library solves DCSPs and the new algorithms as like as the comparable existing ones are implemented as a part of the library. Experimental results on randomly...en_US
uk.publication.placePrahacs_CZ
uk.grantorUniverzita Karlova, Matematicko-fyzikální fakulta, Katedra teoretické informatiky a matematické logikycs_CZ


Files in this item

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