Prohlížení Bakalářské práce - 18101 dle autora "Knop Dušan"
-
Algoritmy pro řešení neorientovaného a orientovaného Problému čínského listonoše
Autor: Martin Vítek; Vedoucí práce: Šimeček Ivan; Oponent práce: 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 ... -
Férová řešení pro problém Target Set Selection
Autor: Bruno Kraus; Vedoucí práce: Knop Dušan; Oponent práce: 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
Autor: František Koutenský; Vedoucí práce: Knop Dušan; Oponent práce: Č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 ... -
Maximální hranové barvení ve speciálních třídách grafů
Autor: Vojtěch Hruša; Vedoucí práce: Suchý Ondřej; Oponent práce: 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
Autor: Richard Hartmann; Vedoucí práce: Knop Dušan; Oponent práce: 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í
Autor: Kryštof Razima; Vedoucí práce: Knop Dušan; Oponent práce: 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
Autor: Luboš Zápotočný; Vedoucí práce: Knop Dušan; Oponent práce: 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. -
Parametrizované algoritmy pro problém Min-Power Symmetric Connectivity
Autor: Daniel Dajbov; Vedoucí práce: Opler Michal; Oponent práce: 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
Autor: Václav Lepič; Vedoucí práce: Suchý Ondřej; Oponent práce: 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
Autor: Martin Kučera; Vedoucí práce: Suchý Ondřej; Oponent práce: 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ě. ... -
Resoluce pro predikátovou logiku
Autor: Michal Dvořák; Vedoucí práce: Starý Jan; Oponent práce: 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 ... -
Stabilita Hedonických her se strukturovanými preferencemi
Autor: Jan Šmolík; Vedoucí práce: Knop Dušan; 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., 2021-06-17)Problém stabilních spolubydlících s podmínkami různorodosti spočívá v rozdělení agentů dvou typů do koalic pevné velikosti na základě jejich preferencí, které závisí pouze na počtu agentů stejného typu. V této práci se ... -
Stability koalic a změna agentů
Autor: Suzan Catay; Vedoucí práce: Knop Dušan; Oponent práce: 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., 2023-06-15)Práce se věnuje Hedonickým hrám a přináší přehled používaných konceptů stability a omezení preferenčních profilů. Dále se zaměřuje na upravenou verzi Hedonických her, při které se z existující struktury koalic tvoří nová, ... -
Strukturované volby komisí
Autor: Terezie Hrubanová; Vedoucí práce: Knop Dušan; Oponent práce: 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-15)Tato práce se zabývá hledáním vítěze ve volbách komisí. Poskytujeme přehled volebních systémů pro single-winner a multi-winner volby. Hledání vítěze je často výpočetně náročné, proto zavádíme volby se strukturovanými ... -
Vyvažovací lemata v kernelizaci
Autor: Daria Objeleanscaia; Vedoucí práce: Knop Dušan; Oponent práce: 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-21)Tato práce shrnuje známé výsledky problému Equitable Connected Partition a zavádí nový kernelizační algoritmus dokazující, že ECP připouští jádro o velikosti $2^{O(k^2)} \cdot n^{O(1)}$, když je parametrizováno krycí číslo ... -
Výpočetní složitost problémů blízkých TSP v řídkých grafových třídách
Autor: Vitalii Shakhmatov; Vedoucí práce: Knop Dušan; Oponent práce: 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., 2023-06-15)V této bakalářské práci představujeme a zkoumáme problém Multi-Graph Multi-Constrained Optimal Path (MGMCOP). Tento problém souvisi s problémem obchodniho cestujiciho (TSP), který je známý jako NP-úplný problém. Problém ...