Browsing by Advisor "Barto, Libor"
Now showing items 1-20 of 34
-
Algebraický přístup k CSP
Defence status: DEFENDED(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 ... -
Algoritmus pro kvantové hledání
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Date of defense: 26. 6. 2007V předložené práci studujeme Groverův algoritmus, který slibuje na kvantovém počítači vyhledávat v nesetříděné databázi v čase uměrné odmocnině z počtu položek. Po popsaní základních principů kvantových počítačů je uvedena ... -
Algoritmus pro kvantovou faktorizaci
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 16. 9. 2008 -
Arita NU polymorfismů
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 4. 9. 2015Práce se zabývá aritou NU polymorfismů relačních struktur. Cílem je zjednodušit a přehledně zpracovat již existující příklad relační struktury, která má NU polymorfismus, ale nemá žádný NU polymorfismus "nízké arity vzhledem ... -
Clones of tournaments
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 16. 6. 2022In this thesis, we study the clones of tournaments. The thesis is divided into three parts. In the first part, we provide the basic definitions and facts that are needed in the rest of the thesis. In the second part, we ... -
Combinatorial Gap Label Cover
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 6. 9. 2022Theorems about probabilistically checkable proofs (PCP) are famous hard-to-prove results from the theoretical computer science. They provide constructions of PCP sys- tems with interesting surprising properties and serve ... -
Constraint Satisfaction Problem and Universal Algebra
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 20. 6. 2013The thesis consists of a collection of my contributions to universal algebra. Motivated by the Constraint Satisfaction Problem (CSP), we study the algebras of polymorphisms of relational structures. We begin by showing by ... -
Constraint satisfaction, graphs and algebras
Defence status: DEFENDED(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, ... -
Cyklotomické polynomy
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 9. 9. 2010 -
Diofantické rovnice a p-adická čísla
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 24. 6. 2010 -
Faktorizace polynomů a problém batohu
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 9. 9. 2010 -
Finitely generated clones
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)Date of defense: 14. 6. 2018A clone is a set of finitary operations closed under composition and contain- ing all projections. We say it is finitely generated if there exist a finite subset {f1, . . . , fn} such that all the other operations can be ... -
Finitely Related Algebras
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Date of defense: 13. 6. 2017Algebraická struktura je konečného relačního stupně, pokud je její klon určen konečným počtem finitárních relací. V této práci zkoumáme grafové algebry s cílem určit, které z nich mají tuto vlastnost. Představujeme stručný ... -
Generalizing CSP-related results to infinite algebras
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 5. 6. 2019Nedávný výzkum v oblasti problému splnitelnosti podmínek vedl k užitečným nástrojům v uni- verzální algebře a pro studium výpočetní složitosti. Tento výzkum byl zaměřen zejména na konečné re- lační struktury a tím pádem ... -
Homomorphisms into unary algebras
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Date of defense: 2. 9. 2021Tato práce se zabývá výpočetní složitostí problému splnitelnosti omezení (CSP) nad strukturami s unárními operacemi (unárními algebrami). Zaměřujeme se na speciální třídu CSP, takzvané reverzní problémy. Představíme nový ... -
Ireducibilní polynomy nad konečnými tělesy
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 10. 9. 2010 -
Klony na dvouprvkové množině
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 9. 9. 2008 -
Konvoluční kódy
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 22. 6. 2009 -
Kořeny polynomů
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 26. 6. 2008 -
Kryptografie založená na eliptických křivkách
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 24. 6. 2010