Bc. et Bc. Petr Novotný
Master's thesis
Algebraické metody pro CSP
Algebraic methods for CSP
Abstract:
Cílem této diplomové práce je představení pokročilých metod univerzální algebry sloužících ke klasifikaci složitosti problémů s omezujícími podmínkami. Zejména se zajímáme o teorii krotkých kongruencí (TCT). Kromě úvodu do této teorie je v práci ukázáno, jak lze TCT využít k rozhodnutí, zda je nějaký problém s omezujícími podmínkami rozhodnutelný v polynomiálním čase, nebo NP-úplný. V závěru práce …moreAbstract:
The aim of this diploma thesis is to introduce the reader into some advanced methods of universal algebra. These methods - especially the tame congruence theory (TCT) - can be used to classify the complexity of constraint satisfaction problems (CSP's). The most important (and yet unresolved) question is whether every CSP is either decidable in polynomial time or NP-complete. The thesis shows how it …more
Language used: Czech
Date on which the thesis was submitted / produced: 13. 5. 2010
Identifier:
https://is.muni.cz/th/l1k2c/
Thesis defence
- Date of defence: 14. 6. 2010
- Supervisor: doc. Mgr. Ondřej Klíma, Ph.D.
- Reader: doc. Mgr. Michal Kunc, Ph.D.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Přírodovědecká fakultaMasaryk University
Faculty of ScienceMaster programme / field:
Mathematics / Algebra and Discrete Mathematics
Theses on a related topic
-
Univerzální algebra a kvantové svazy
Jiří Janda -
Unifikační teorie a univerzální algebra
Martin Kubíček -
Univerzální algebra a CSP
Petr Novotný -
Lieovy algebry
Josef Holba -
Univerzální algebra a CSP
Petr Novotný