Splnitelnost omezujících podmínek a univerzální algebra

Název projektu anglicky
Constraint satisfaction problem and universal algebra
Anotace anglicky
The subject of the project is the computational complexity of the Constraint Satisfaction Problem (CSP). The goal is to prove the dichotomy conjecture of Feder and Vardi for a broad class of CSP problems. In particular, we will study the bounded width problems and CSPs for various classes of digraphs, including oriented trees and smooth digraphs expansions. The next aim is to deepen the universal algebra results, wich are useful in the CSP area. This especially concerns Malcev conditions for finite algebras, where we will continue the research on cyclic terms.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Řešení projektu proběhlo na vynikající úrovni, a to jak z hlediska odborného tak i z hlediska čerpání finančních prostředků.

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP12-GA0-GP-U/03:3
Datum dodání záznamu
2. 5. 2016

Podobné projekty(10)