Zpět na vyhledávání

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ý …more
Abstract:
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
 

Keywords

CSP problémy s omezujícími podmínkami univerzální algebra složitost P-NP dichotomie relační klony klony operací constraint satisfaction problems universal algebra computational complexity relational clones clones of operations P-NP dichotomy
 
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.

Citation record

Cite this text

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á fakulta
Složka Reference to the local database directory of the institution