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

Keywords

univerzální algebra složitost CSP krotké kongruence pologrupy universal algebra complexity tame congruence theory semigroups
 
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.

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

Masaryk University

Faculty of Science

Master programme / field:
Mathematics / Algebra and Discrete Mathematics

Theses on a related topic

List of theses with an identical keyword.