Algebraické metody pro CSP – Bc. et Bc. Petr Novotný
Bc. et Bc. Petr Novotný
Master's thesis
Algebraické metody pro CSP
Algebraic methods for CSP
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 13. 5. 2010
Identifikátor:
https://is.muni.cz/th/l1k2c/
Obhajoba závěrečné práce
- Obhajoba proběhla 14. 6. 2010
- Vedúci: doc. Mgr. Ondřej Klíma, Ph.D.
- Oponent: doc. Mgr. Michal Kunc, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Přírodovědecká fakultaMasaryk University
Faculty of ScienceMaster programme / odbor:
Mathematics / Algebra and Discrete Mathematics
Práce na příbuzné téma
-
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ý