Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Combinatorial Gap Label Cover
Bialas, Filip ; Barto, Libor (vedoucí práce) ; Kompatscher, Michael (oponent)
Věty o pravděpodobnostně ověřitelných důkazech (PCP) jsou známé těžké výsledky z teoretické informatiky. Konstruují pravděpodobnostně ověřitelné důkazové systémy se zajímavými a překvapivými vlastnostmi a jsou využívány k důkazům NP-těžkosti mnoha aproximačních problémů. Slabší kombinatorická verze jedné z vět této teorie (Gap La- bel Cover) byla nedávno dokázána s použitím pouze kombinarických postupů. Po shrnutí hlavních výsledků klasické PCP teorie se důkladně zaobírám touto kombinatorickou verzí. Originálními výsledky této práce jsou protipříklady k očekávanému chování dvou kon- ceptů z klasické teorie v kombinatorickém světě - pravděpodobnostní verze a paralelního opakování. 1
AKSZ formalism and applications
Bialas, Filip ; Jurčo, Branislav (vedoucí práce) ; Vysoký, Jan (oponent)
V této práci jsou popsány Z-gradované variety - zobecnění variet, které umož- ňuje uvažovat jak komutující, tak antikomutující proměnné. Na jejich definici a zobecnění několika geometrických konceptů (vektorových polí, diferenciálních fo- rem a symplektické geometrie) používáme jazyk teorie kategorií a algebraické geometrie. Ve zbytku práce popisujeme AKSZ konstrukci, která sjednocuje ně- kolik topologických teorií pole tím, že vytvoří akční funkcionál, který je řešením klasické BV master rovnice. Jednu z těchto teorií (Poisson sigma model) posléze popíšeme detailněji. 1

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.