RNDr. Petr Novotný
Bachelor's thesis
Univerzální algebra a CSP
Universal algebra and CSP
Abstract:
Cílem této bakalářské práce je představit jádro algebraického přístupu ke klasifikaci složitosti problémů s omezujícími podmínkami (CSP). V práci se zabýváme studiem neuniformní varianty tohoto problému. Zejména se zajímáme o to, zda je každý takový problém buďto řešitelný v polynomiálním čase, nebo NP-úplný. Z tohoto důvodu nejprve studujeme omezující podmínky (tj. množiny relací) definující daný …moreAbstract:
The aim of this bachelor thesis is to present the core of an algebraic approach to the classification of computational complexity of constraint satisfaction problems (CSPs). Restricted forms of CSP, the non-uniform constraint satisfaction problems, are studied. The ultimate goal of this approach is to decide whether every non-uniform CSP is either tractable or NP-complete. In order to accomplish this …more
Language used: Czech
Date on which the thesis was submitted / produced: 5. 6. 2008
Identifier:
https://is.muni.cz/th/j7tr3/
Thesis defence
- Date of defence: 26. 6. 2008
- Supervisor: doc. Mgr. Ondřej Klíma, 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 ScienceBachelor programme / field:
Mathematics / Mathematics
Theses on a related topic
-
Univerzální algebra a kvantové svazy
Jiří Janda -
Unifikační teorie a univerzální algebra
Martin Kubíček -
Lieovy algebry
Josef Holba -
Algebraické metody pro CSP
Petr Novotný -
Budoucí trendy v Concentrated Solar Power (CSP)
František DOUDA -
Budoucí trendy v CSP (Concentrating Solar Power) s důrazem na akumulaci tepelné energie
Kateřina VAŠÍČKOVÁ -
Studie příležitosti start-up projektu CSP Dish-Stirling
Marek Bail -
Určení energetických zisků koncentrační solární elektrárny typu CSP Dish Stirling
Petr Hajdučko