Složitost her na grafech
Complexity of Games on Graphs
dc.contributor.advisor | Valla Tomáš | |
dc.contributor.author | Václav Blažej | |
dc.date.accessioned | 2022-09-28T22:19:14Z | |
dc.date.available | 2022-09-28T22:19:14Z | |
dc.date.issued | 2022-09-29 | |
dc.identifier | KOS-878299451905 | |
dc.identifier.uri | http://hdl.handle.net/10467/104276 | |
dc.description.abstract | V této disertační práci se zabýváme složitostí her na grafech. Hlavním cílem je zjistit, kdy jsou problémy řešitelné a kdy jsou těžké. K dosažení těchto cílů používáme algoritmizaci společně s těžkostními redukcemi; a strukturální i parametrizovanou analýzu. Nejprve se zaměříme na herní variantu dominujícího čísla zvané Eternal domination. Poskytujeme několik nových technik, které nám umožňují problém řešit. Pomocí těch získáme algoritmus pro určení přesné hodnoty Eternal domination pro třídu kaktusových grafů. Studujeme také problém Bears with Hats, který souvisí s barvením grafů. Zavádíme jeho zobecnění a ukazujeme jeho spojení s grafovým independence polynomem. Toto spojení nám pak umožňuje získat polynomiální algoritmus pro chordalní grafy. Také díky němu získáme meze na základě maximálního stupně grafu a zcela vyřešíme úplné grafy, cesty a cykly. Dále zkoumáme herní variantu Ramseyho čísel, která se nazývá Online Ramsey numbers. Klasické Ramseyho číslo udává spodní hranici velikosti grafu takovou, aby bylo zaručeno, že obsahuje nějakou homogenní strukturu. Ukazujeme, že Online Ramsey hra poskytuje asymptotickou výhodu v porovnání s klasickou variantou problému. Také zahajujeme studii získávání indukovaných podgrafů v rámci herního prostředí a ukazujeme řešení cest, cyklů a několika rodin stromů. Nakonec si ukážeme zobecnění Group Identification Problem, kdy proces přes graf modeluje šíření tajemství. Je známo, že model jednoho procesu je řešitelný, nicméně při zobecnění na více procesů se problém stává NP-těžkým. Poskytujeme kompletní parametrizovanou analýzu složitosti čtyř variant tohoto problému pomocí P, FPT a XP algoritmů a W[1] a NP-těžkosti zapomoci standardních nástrojů. Charakterizujeme, které vlastnosti vstupu dělají tento problém těžký a díky kterým je řešitelný. | cze |
dc.description.abstract | In this dissertation thesis, we study the complexity of games on graphs. The main goal is to establish which settings of the problems are tractable and which settings are hard. To reach these goals, we use algorithmization together with hardness reductions; and structural and parameterized analysis. First, we focus on a game variant of the domination number called the Eternal domination number. We provide several new techniques that allow us to tackle the problem. Using those we obtain an algorithm for determining the exact value of the Eternal domination number for the class of cactus graphs. We also study the Hat chromatic number problem which is related to graph coloring. We introduce its generalization and show its connection to the independence polynomial on graphs. This connection then allows us to obtain a polynomial algorithm to solve the problem on chordal graphs, give bounds based on maximal vertex degree, and solve complete graphs, paths, and cycles. Further, we investigate a game variant of Ramsey numbers called the Online Ramsey numbers. The classical Ramsey number gives a lower bound on the size of the graph such that it is guaranteed to contain some homogeneous structure. We show that the Online Ramsey game gives an asymptotic advantage compared to the classical problem variant. We also initiate the study of obtaining induced subgraphs within the game setting and show solutions for paths, cycles, and several tree families. Last, we show a generalization of the Group identification problem where a process over a graph models spreading of secrets. The model of a single process is known to be tractable, however, the generalization with several processes becomes NP-hard. We provide a complete parameterized complexity analysis of four variants of this problem showing P, FPT, and XP algorithms or W[1] and NP-hardness results via standard means. We characterize which secondary measures of the input make the problem hard and which make it tractable. | eng |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html | cze |
dc.subject | kombinatorická teorie her | cze |
dc.subject | teorie složitosti | cze |
dc.subject | grafy | cze |
dc.subject | dominující číslo | cze |
dc.subject | hat barevnost | cze |
dc.subject | online Ramseyho teoreie | cze |
dc.subject | určování skupiny | cze |
dc.subject | parametrizovaná složitost | cze |
dc.subject | algoritmická teorie her | cze |
dc.subject | combinatorial game theory | eng |
dc.subject | complexity theory | eng |
dc.subject | graph | eng |
dc.subject | domination number | eng |
dc.subject | hat chromatic number | eng |
dc.subject | online Ramsey theory | eng |
dc.subject | group identification | eng |
dc.subject | parameterized complexity | eng |
dc.subject | algorithmic game theory | eng |
dc.title | Složitost her na grafech | cze |
dc.title | Complexity of Games on Graphs | eng |
dc.type | disertační práce | cze |
dc.type | doctoral thesis | eng |
dc.contributor.referee | Bredereck Robert | |
theses.degree.discipline | Informatika | cze |
theses.degree.grantor | katedra teoretické informatiky | cze |
theses.degree.programme | Informatika | cze |