Národní úložiště šedé literatury Nalezeno 14 záznamů.  1 - 10další  přejít na záznam: Hledání trvalo 0.01 vteřin. 
Structure of flow-continuous mappings in algebraic context
Hušek, Radek ; Šámal, Robert (vedoucí práce) ; Bonamy, Marthe (oponent) ; Kaiser, Tomáš (oponent)
- Structure of Flow-continuous Mappings in Algebraic Context Radek Hušek Práce zkoumá strukturu prostoru cyklů v grafech - speciálně otázky o nikde-nulových tocích a dvojpokrytích cykly. Nejprve ukážeme, že existují hranově 2-souvislé grafy, které rozlišují Z2 2 a Z4 grupovou souvislost (grupová souvislost je zesílením nikde-nulových toků). Poté zkoumáme domněnku Matta DeVose o existenci toků v grafech za podmínky, že existuje grafový homomorfismus mezi vhodnými Cayleyho grafy. Formulujeme zesílení této domněnky, které nazýváme "strong homomorphism property" (SHP), které nám dovolí rozdělovat vrcholy vyššího stupně (a tedy redukovat problém na kubické grafy). Předkládáme hypotézu, že SHP platí pro každý graf a nejmenší grupu, v níž má tento graf nikde-nulový tok. Také ukazujeme, že jak SHP, tak původní domněnka implikují existenci dvojpokrytí cykly s malým počtem cyklů. Následně se zabýváme počítáním objektů na grafech - speciálně dvojpokrytí kružnicemi. Ukazujeme téměř exponenciální dolní odhad pro grafy s vhodným nakreslením na plochu, ale taktéž nahlédneme, že tento odhad se nevztahuje na Flower snarky, které žádné takové nakreslení nemají. Následně ukazujeme asymptoticky těsný odhad na počet CDC Flower snarků a taktéž vylepšujeme dolní odhad pro rovinné grafy na exponenciální. Na závěr...
Vlastnosti intervalových booleovských funkcí
Hušek, Radek ; Čepek, Ondřej (vedoucí práce) ; Kučera, Petr (oponent)
Tato práce řeší problém rozpoznávání k-intervalových boolovských funkcí. Na vstup bo- olovské funkce můžeme nahlížet jako na binární zápis přirozeného čísla. Funkce je k- intervalová, pokud - při takto interpretovaném vstupu - nabývá hodnoty jedna právě pro vstupy z daných nejvýše k intervalů. Tento problém je pro obecné boolovské funkce zadané DNF coNP-těžký. Proto se zabýváme případem, kdy DNF náleží do dané řešitelné třídy (třída je řešitelná, pokud pro DNF z ní umíme řešit falsifikovatelnost v polynomiál- ním čase a je uzavřená na částečná dosazení), a ukazujeme, že v tomto případě je úloha pro pevné k řešitelná v polynomiálním čase. 1
Hybridní databáze
Hušek, Radek ; Mareš, Martin (vedoucí práce) ; Lokoč, Jakub (oponent)
Tato práce popisuje návrh a implementaci datové struktury, která se snaží kombinovat výhody databází a běžných datových struktur. Ze světa databází vychází především pod- pora pro persistenci dat prostřednictvím jejich uložení na disku a práce s daty pomocí transakcí, které umožňují paralelní přístup při zajištění konzistence dat. Od datových struktur naopak přichází implementace v podobě knihovny funkcí a snaha o maximální jednoduchost a uložení dat v paměti. Navržená databáze staví na konceptu transakční paměti a data jsou na disku ukládána ve formě záznamu provedených operací. 1
Vertex-transitive Supergraphs
Madaj, Pavel ; Tancer, Martin (vedoucí práce) ; Hušek, Radek (oponent)
V tejto práci skúmame spôsoby ako rozšírit' grafy na nadgrafy, ktoré sú vrcholovo tranzitívne. Predstavíme systém šablón pre konštrukciu týchto nadgrafov. Tento systém využujeme na konštrukciu vrcholovo tranzitívnych nadgrafov exponenciálnej vel'kosti pre všeobecné grafy a nadgrafov kvadratickej vel'kosti pre bipartitné grafy. Pre všeobecné grafy dokážeme kvadratickú dolnú medz. Načrtneme aj prístup, ktorý by mohol viest' k preklenutiu medzery v časovej zložitosti medzi problémom grafového izomorfizmu a problémom rozpoznávania vrcholovo tranzitívnych grafov. 1
Expanderové kódy
Machová, Markéta ; Mareš, Martin (vedoucí práce) ; Hušek, Radek (oponent)
Samoopravné kódy se dnes používají při většině přenosů informace. Abychom ale zbytečně neplýtvali místem, je dobré používat kódy, které opraví dostatečně mnoho chyb a přitom zprávu moc neprodlouží. Expanderové kódy jsou slibné - asymptoticky dosahují dobrých výsledků, ale v praxi se zatím bohužel ukázalo, že jsou moc dlouhé. Cesta k lepším konstrukcím expanderů by mohla vést přes konduktory, což jsou takzvané vodiče náhody. V této práci vysvětlíme, co konduktory jsou, a zmapujeme jejich konstrukce. Nakonec pomocí převodu na expandery téměř dokážeme, že je možné sestrojit kódy, které se zachováním dobrých vlastností budou dost malé na to, aby se daly použít v praxi. 1
Log analyser
Gebauer, Petr ; Mareš, Martin (vedoucí práce) ; Hušek, Radek (oponent)
Vlastnosti intervalových booleovských funkcí
Hušek, Radek ; Čepek, Ondřej (vedoucí práce)
Tato práce řeší problém rozpoznávání k-intervalových boolovských funkcí. Na vstup bo- olovské funkce můžeme nahlížet jako na binární zápis přirozeného čísla. Funkce je k- intervalová, pokud - při takto interpretovaném vstupu - nabývá hodnoty jedna právě pro vstupy z daných nejvýše k intervalů. Tento problém je pro obecné boolovské funkce zadané DNF coNP-těžký. Proto se zabýváme případem, kdy DNF náleží do dané řešitelné třídy (třída je řešitelná, pokud pro DNF z ní umíme řešit falsifikovatelnost v polynomiál- ním čase a je uzavřená na částečná dosazení), a ukazujeme, že v tomto případě je úloha pro pevné k řešitelná v polynomiálním čase. 1
Vlastnosti intervalových booleovských funkcí
Hušek, Radek ; Čepek, Ondřej (vedoucí práce)
Tato práce řeší problém rozpoznávání k-intervalových boolovských funkcí. Na vstup bo- olovské funkce můžeme nahlížet jako na binární zápis přirozeného čísla. Funkce je k- intervalová, pokud - při takto interpretovaném vstupu - nabývá hodnoty jedna právě pro vstupy z daných nejvýše k intervalů. Tento problém je pro obecné boolovské funkce zadané DNF coNP-těžký. Proto se zabýváme případem, kdy DNF náleží do dané řešitelné třídy (třída je řešitelná, pokud pro DNF z ní umíme řešit falsifikovatelnost v polynomiál- ním čase a je uzavřená na částečná dosazení), a ukazujeme, že v tomto případě je úloha pro pevné k řešitelná v polynomiálním čase. 1
Optimalizace včelí kolonií
Jukl, Jan ; Pangrác, Ondřej (vedoucí práce) ; Hušek, Radek (oponent)
Problém minimálního vrcholového pokrytí je dobře známý NP-těžký pro- blém. Tato práce prezentuje Artificial Bee Colony (ABC) algoritmus a dva přístupy založené na genetických algoritmech pro řešení tohoto problému. Al- goritmus ABC je optimalizační algoritmus založený na kolektivní inteligenci včelího roje. ABC byl nejdříve navržen pro spojitou optimalizaci a ukázalo se, že na tomto druhu problémů dosahuje mimořádně kvalitních výsledků. V této práci byl algoritmus ABC přizpůsoben pro řešení problému minimálního vrcholového pokrytí a otestován na benchmarcích DIMACS a BHOSLIB. Naměřené výsledky algoritmu ABC, genetického algoritmu založeného na binárním rozhodovacím di- agramu a informovaného genetického algoritmu jsou v práci vzájemně porovná- vány.
Expanderové kódy
Calábková, Markéta ; Mareš, Martin (vedoucí práce) ; Hušek, Radek (oponent)
Kdekoliv se přenáší nějaká informace, jsou přítomny samooopravné kódy. Mezi nejpoužívanější třídy kódů patří LDPC (low density parity check) kódy. Expanderové kódy jsou jednou z nadějných tříd LDPC kódů. V této práci vysvětlujeme, co to expanderové kódy vlastně jsou, a ukazujeme, že je lze opravdu konstruovat tak, aby dosahovaly asymptoticky optimálních parametrů a zároveň je šlo dekódovat v čase lineárním s délkou zprávy. Bohužel uvedené konstrukce vytvářejí hodně dlouhé kódy, takže jsou v běžném provozu (například pro přenos paketů) prakticky nepoužitelné. Věříme ale, že s využitím lepší konstrukce expan- derů budeme schopni sestrojit dobré krátké kódy, které najdou mnohá využití. 1

Národní úložiště šedé literatury : Nalezeno 14 záznamů.   1 - 10další  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.