Now showing items 1-20 of 34

    • Algebraický přístup k CSP 

      Defence status: DEFENDED
      Bulín, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 16. 9. 2010
      Nechť 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
      Mejdrech, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 26. 6. 2007
      V 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
      Čarnoký, Samuel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Date of defense: 16. 9. 2008
    • Arita NU polymorfismů 

      Defence status: DEFENDED
      Draganov, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 4. 9. 2015
      Prá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
      Boroš, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)
      Date of defense: 16. 6. 2022
      In 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
      Bialas, Filip (Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)
      Date of defense: 6. 9. 2022
      Theorems 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
      Kazda, Alexandr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 20. 6. 2013
      The 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
      Bulín, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)
      Date of defense: 22. 9. 2014
      Constraint 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
      Těthalová, Gabriela (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 9. 9. 2010
    • Diofantické rovnice a p-adická čísla 

      Defence status: DEFENDED
      Půlpánová, Veronika (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 24. 6. 2010
    • Faktorizace polynomů a problém batohu 

      Defence status: DEFENDED
      Sobotka, Miloslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 9. 9. 2010
    • Finitely generated clones 

      Defence status: DEFENDED
      Draganov, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 14. 6. 2018
      A 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
      Goldstein, Marek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)
      Date of defense: 13. 6. 2017
      Algebraická 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
      Olšák, Miroslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)
      Date of defense: 5. 6. 2019
      Nedá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
      Škrobánek, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)
      Date of defense: 2. 9. 2021
      Tato 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
      Sýkora, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 10. 9. 2010
    • Klony na dvouprvkové množině 

      Defence status: DEFENDED
      Válková, Martina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Date of defense: 9. 9. 2008
    • Konvoluční kódy 

      Defence status: DEFENDED
      Skalický, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 22. 6. 2009
    • Kořeny polynomů 

      Defence status: DEFENDED
      Čurilla, Marcel (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
      Heglasová, Veronika (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 24. 6. 2010

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV