Browsing by Author "Knop Dušan"
Now showing items 1-20 of 29
-
Algoritmy pro řešení neorientovaného a orientovaného Problému čínského listonoše
Author: Martin Vítek; Supervisor: Šimeček Ivan; Opponent: Knop Dušan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-12)Tato bakalářská práce se zabývá Problémem čínského listonoše, konkrétně jeho neorientovanou a orientovanou variantou. Problém čínského listonoše je optimalizační úloha z teorie grafů. V úvodu je tento problém rozebrán spolu ... -
Certifikované algoritmy pro hledání minimální kostry
Author: Tomáš Homola; Supervisor: Knop Dušan; Opponent: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-08-27)Tato práce se zabývá úvodem do procesu deduktivní formální verifikace. Teoretická část práce seznámí čtenáře s frameworkem Frama-C pro modulární analýzu programů napsaných v jazyce C. Ten k verifikaci používá pluginy, ... -
Férová řešení pro problém Target Set Selection
Author: Bruno Kraus; Supervisor: Knop Dušan; Opponent: Schierreich Šimon
(Č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)Target Set Selection je NP-těžký problém klíčový v oblasti virálního marketingu. Pro danou sociální síť se problém Target Set Selection zabývá minimální velikostí množiny agentů, jejichž působení nakonec ovlivní každého v ... -
Kernelizace problému maximálního řezu
Author: František Koutenský; Supervisor: Knop Dušan; Opponent: Červený Radovan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-20)Tato práce shrnuje dosavadní výzkum problému Max Cut a představuje nový kernelizační algoritmus pro Simple Max Cut problém parametrizovaný velikostí minimálního vrcholového pokrytí vstupního grafu G omezující velikost jádra ... -
Maps of elections
Author: Jitka Mertlová; Supervisor: Knop Dušan; Opponent: Vašata Daniel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-08)Maps of elections je framework, který umožňuje vizualizovat a analyzovat sady volebních datasetů. Dosud bylo možné pracovat pouze s datasety, ve kterých měly všechny volby stejný počet kandidátů. V této práci framework ... -
Maximální hranové barvení ve speciálních třídách grafů
Author: Vojtěch Hruša; Supervisor: Suchý Ondřej; Opponent: Knop Dušan
(Č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)Tato práce se zabývá problémem maximálního hranového q-barvení. Podstatou problému je obarvení hran grafu za použití co nejvyššího počtu barev tak, aby byly hrany vedoucí z jednoho vrcholu obarveny maximálně q různými ... -
Možná vylepšení pro algoritmy řešící problém Min-Power Symmetric Connectivity
Author: Richard Hartmann; Supervisor: Knop Dušan; Opponent: Scholtzová Jiřina
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)V teto praci se zabyvame problemem minimalizace celkove spotreby energie bezdratove site, ktery je formalne znamy jako Min-Power Symmetric Connectivity. Modelem bezdratove site je hranove ohodnoceny neorientovany graf. ... -
Nové modely ve vícevrstevném přiřazování
Author: Kryštof Razima; Supervisor: Knop Dušan; Opponent: Scholtzová Jiřina
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)Přiřazovací problém je problémem na pomezí matematické a ekonomické teorie. Přiřazovací problém se skládá z agentů a položek, agenti vyjadřují své preference k položkám a cílem je najít (určitým způsobem) optimální přiřazení. ... -
Ověřená binární halda
Author: Luboš Zápotočný; Supervisor: Knop Dušan; Opponent: Hušek Radek
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)Tato práce popisuje implementaci binární minimové haldy a formální důkazy korektnosti jednotlivých operací. Ověřená binární halda je následně použita v Dijkstrově algoritmu pro hledání nejkratší cesty v grafu. -
Ověřená implementace Dinitzova algoritmu
Author: Michal Patera; Supervisor: Knop Dušan; Opponent: Š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., 2023-08-24)Tato práce se zabývá implementaci Dinitzova algoritmu pro hledání maximálního toku v síti a formálnímu důkazu jednotlivých použitích funkcí. Teoretická část seznámí čtenáře s teorií toků v sítích a myšlenkou Dinitzova ... -
Ověřená implementace struktury Union-Find
Author: Jakub Bartoň; Supervisor: Knop Dušan; Opponent: Zemánek Petr
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-15)Union-Find je dátová štruktúra používaná v úlohách, ktoré vyžadujú množinovú operáciu zjednotenia a identifikáciu, do akej množiny prvok patrí. Programátori často tieto štruktúry neimplementujú sami, ale vyhľadávajú ich ... -
Ověřitelnost implementace algoritmu RSA
Author: Jakub Tetera; Supervisor: Knop Dušan; Opponent: Smítka Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-17)Tato práce se zabývá zjišťováním možností formální deduktivní verifikace šifrovacího algoritmu RSA. Teoretická část čtenáře uvede do problematiky formální deduktivní verifikace, představí její základní koncepty a nastíní ... -
Parametrizovaná složitost problému Network Microaggregation
Author: Jan Pokorný; Supervisor: Knop Dušan; Opponent: 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., 2023-08-24)Mikroagregace je technika sloužící k rozdělení dat do shluků dle zadaných velikostních a vzdálenostní požadavků. V této práci se zabýváme případem, kdy data tvoří sít a dvěma variantami, zda shluky jsou souvislé nebo nejsou. ... -
Parametrizované algoritmy pro problém Min-Power Symmetric Connectivity
Author: Daniel Dajbov; Supervisor: Opler Michal; Opponent: Knop Dušan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-20)V bakalářské práci představíme problém Min Power Symmetric connectivity (MinPSC), který je na obecných grafech NP-těžký. Problém MinPSC má uplatněni v sítích, kde pro daný uzel chceme zmenšit jeho spotřebu energii na co ... -
Problém monitorovaní hran vzdálenostmi vzhledem ke strukturálním parametrům
Author: Václav Lepič; Supervisor: Suchý Ondřej; Opponent: Knop Dušan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-16)Tato práce se zabývá problémem monitorování hran pomocí vzdáleností. Problém je nejdříve popsán a poté je k němu přistoupeno z pohledu strukturálních parametrů. Algoritmus parametrizovaný velikostí vrcholového pokrytí byl ... -
Problém nejkratší cesty s minimální excentricitou vzhledem ke strukturálním parametrům
Author: Martin Kučera; Supervisor: Suchý Ondřej; Opponent: Knop Dušan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-25)Problém nejkratší cesty s minimální excentricitou spočívá v nalezení takové nejkratší cesty v daném grafu, jejíž excentricita je minimální. O problému je známo, že je NP-úplný a W[2]-těžký vzhledem k minimální excentricitě. ... -
Problém Target Set Selection v řídkých a geometricky motivovaných sítích
Author: Michal Dvořák; Supervisor: Knop Dušan; Opponent: Opler Michal
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-09)V této práci se zabýváme následujícím modelem šíření názoru v sociální síti. Na začátku někteří jedinci přijmou jistý názor (například tak, že jsou uplaceni). Poté se názor v síti šíří v diskrétním smyslu podle následujících ... -
Resoluce pro predikátovou logiku
Author: Michal Dvořák; Supervisor: Starý Jan; Opponent: Knop Dušan
(Č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ýroková logika je rozhodnutelná – existuje algoritmus, který pro zadanou výrokovou formuli rozhodne, zda je splnitelná. Predikátová logika rozhodnutelná není – žádný algoritmus, který by v plné obecnosti rozhodoval o ... -
Schelling games: na neústupných agentech záleží
Author: Ondřej Nohava; Supervisor: Schierreich Šimon; Opponent: Knop Dušan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-08)Zabýváme se studiem strategických her, které jsou inspirovány Schellingovým segregačním modelem. V těchto hrách zkoumáme, jak se agenti, rozdělení do několika typů, pohybují na neorientovaných grafech. Bereme v potaz dva ... -
Součtové grafy
Author: Šimon Schierreich; Supervisor: Knop Dušan; Opponent: Starosta Štěpán
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-08-27)Neorientovany graf G=(V,E) nazveme součtovym grafem, pokud existuje injektivni funkce s: V - N přiřazujici vrcholům kladna cela čisla tak, že pro každe dva vrcholy u,v [?] V plati, že jsou v grafu G spojeny hranou pravě ...