Prohlížení katedra teoretické informatiky dle autora "Valla Tomáš"
-
Algoritmus pro hledání podgrafu založený na barevném kódování
Autor: Malík Josef; Vedoucí práce: Suchý Ondřej; Oponent práce: Valla Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-10)Tato práce popisuje řešení problému izomorfismu podgrafů pomocí techniky barevného kódování. V práci je popsán problém izomorfismu podgrafů, jeho varianty a jeho aplikace. Dále je rozebrán problém tvorby hezkého stromového ... -
Diskretizace prostředí pro herně-teoretické modely ochrany cílů v prostoru
Autor: Košař Jan; Vedoucí práce: Bošanský Branislav; Oponent práce: Valla Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28) -
Diskrétní simulace automobilové dopravy se spojitým časem
Autor: Patrik Schweika; Vedoucí práce: Surynek Pavel; Oponent práce: Valla Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-17)V práci se zabýváme návrhem a realizací simulátoru automobilové dopravy s diskrétním prostorem a spojitým časem, jehož hlavní využití předpokládáme pro porovnání algoritmů na plánování tras. V simulátoru implementujeme dva ... -
Eternal domination na speciálních třídách grafů
Autor: Křišťan Jan Matyáš; Vedoucí práce: Valla Tomáš; Oponent práce: Šimeček Ivan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-16)V této práci studujeme problém věčné dominace grafu, který je známý pod názvem m-eternal domination problem. Je zadán graf G a na vrcholy G umístíme ochránce. Následně jsou na vrcholy postupně vedeny útoky. Po každém útoku ... -
Experimentální srovnání worst-case optimálních hald
Autor: Adam Volek; Vedoucí práce: Valla Tomáš; Oponent práce: Blažej Václav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-19)V rámci této bakalářské práce je vytvořena implementace Brodalovy haldy, prioritní fronty, která je i v nejhorším případě asymptoticky optimální. Spolu s ní je vytvořen jednoduchý test měřící efektivitu haldy, ten je ... -
Integerové datové struktury
Autor: Brožek Miloslav; Vedoucí práce: Valla Tomáš; Oponent práce: Mareš Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-01-31)Cílem této práce je návrh a zrychlení datových struktur a algoritmů na modelu RAM s velkou šířkou slova. Zrychlení se děje zejména za pomoci bitových paralelních instrukcí. V práci tuto techniku aplikujeme pro zlepšení ... -
Kombinatorické hry typu Taking and Breaking
Autor: Šimon Lomič; Vedoucí práce: Valla Tomáš; Oponent práce: Šámal Robert
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-09)V této práci analyzujeme několik otevřených problémů v oblasti nestranných i stranných her typu Taking and Breaking. Pro nestranné odčítací hry dokážeme existenci hry s aperiodickou nim-sekvencí a periodickou sekvencí ... -
Online Ramsey teorie
Autor: Blažej Václav; Vedoucí práce: Valla Tomáš; Oponent práce: Starý Jan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)Tato práce se zabývá online Ramseyovou teorií. Problém je definován jako kombinatorická hra Buidera a Paintera. Je dán libovolný graf H a hrací plocha nekonečně mnoha nezávislých vrcholů. Každé kolo Builder postaví novou ... -
Ověření vlastností grafu
Autor: Ondrej Tomáš; Vedoucí práce: Šimeček Ivan; Oponent práce: Valla Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Paralelní vyhledávání repetic v grafech
Autor: Stránský Jiří; Vedoucí práce: Valla Tomáš; Oponent práce: Suchý Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-11)Tato práce studuje takzvané vzorky v sítích. Vzorky v sítích jsou souvislé podgrafy v dané síti, které se vyskytují ve výrazně vyšších četnostech, než je očekávané v náhodných sítích. Jsou popsány různé přístupy pro hledání ... -
Perzistentní datové struktury a jejich aplikace
Autor: Malík Josef; Vedoucí práce: Valla Tomáš; Oponent práce: Suchý Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27) -
Podchycování cest v grafech
Autor: Červený Radovan; Vedoucí práce: Suchý Ondřej; Oponent práce: Valla Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-06)Problém zvaný d-Path Vertex Cover, d-PVC spočívá v nalezení podmnožiny F vrcholů daného grafu G=(V,E) takové, že G \ F neobsahuje žádnou cestu na d vrcholech. Cesty, které chceme takto podchytit, nemusí být indukované. Je ... -
Přesné algoritmy pro geodetické číslo a metrickou dimenzi grafu
Autor: Jílek Marek; Vedoucí práce: Suchý Ondřej; Oponent práce: Valla Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-12)Tato bakalářská práce se zabývá vytvořením parametrizovaného algoritmu hledajícího geodetické číslo na grafech s nízkým vrcholovým pokrytím. Geodetické číslo je velikost minimální množiny takové, že na nejkratších cestách ... -
Rozvrhovací algoritmy a jejich aplikace
Autor: Stránský Jiří; Vedoucí práce: Valla Tomáš; Oponent práce: Suchý Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-28) -
Vehicle routing problem s časovými okny a metody jeho řešení
Autor: Macho Martin; Vedoucí práce: Valla Tomáš; Oponent práce: Šlapák Martin
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-07-05)Tato práce studuje Vehicle Routing Problem (VRP) a jeho varianty. Pro verzi s časovými okénky implementujeme varianty použivaných algoritmů a navhrneme a implementujeme modifikaci genetického algoritmu pro řešeni problémů ... -
Vehicle routing problem, jeho varianty a metody řešení
Autor: Polívka Michal; Vedoucí práce: Valla Tomáš; Oponent práce: Konfršt Zdeněk
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)Tato práce studuje Vehicle Routing Problem (VRP) a jeho varianty. Pro kapacitní verzi problému (CVRP) implementujeme varianty používaných algoritmů a jako naše řešení navrhneme a implementujeme modifikaci dvou local search ... -
Vícevláknová implementace "Four Russians" algoritmu pro výpočet editační vzdálenosti
Autor: Martin Rejmon; Vedoucí práce: Šimeček Ivan; Oponent práce: Valla Tomáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-20)Editační vzdálenost lze vypočítat s obecně známým algoritmem využívajícím dynamické programování v čase O(n^2), kde n je délka vstupních řetězců. Algoritmus Čtyř Rusů zlepšuje tuto složitost s pomocí vyhledávací tabulky o ... -
Vyhledávání řetězcových vzorků s použitím záměn
Autor: Blažej Václav; Vedoucí práce: Valla Tomáš; Oponent práce: Suchý Ondřej
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)Vyhledávání řetězcových vzorků s použitím záměn je problém hledání všech výskytů vzorků v textu, přičemž je ve vzorku dovoleno zaměňovat sousední symboly. Cílem je navrhnout rychlý vyhledávací algoritmus, který využije ...