Browsing by Author "Bulín, Jakub"
Now showing items 1-4 of 4
-
Algebraický přístup k CSP
Defence status: RECOGNIZEDBulín, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 21. 12. 2012Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo ... -
Algebraický přístup k CSP
Defence status: DEFENDEDBulín, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 16. 9. 2010Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo ... -
Constraint satisfaction, graphs and algebras
Defence status: DEFENDEDBulín, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 22. 9. 2014Constraint satisfaction, graphs and algebras Jakub Bulín Abstract This thesis consists of three papers in the area of algebraic approach to the constraint satisfaction problem. In the first paper, a joint work with Deli'c, ... -
Selected Topics from Tame Congruence Theory
Defence status: DEFENDEDBulín, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 26. 6. 2008