Nowhere-dense classes of graphs
Řídké třídy grafů
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/52064Identifikátory
SIS: 123434
Kolekce
- Kvalifikační práce [10691]
Autor
Vedoucí práce
Oponent práce
Mareš, Martin
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Diskrétní modely a algoritmy
Katedra / ústav / klinika
Informatický ústav Univerzity Karlovy
Datum obhajoby
2. 9. 2013
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
teorie řídkých grafů, algoritmické metavěty, dynamické datové strukturyKlíčová slova (anglicky)
sparse graph theory, algorithmic metatheorems, dynamic data structuresV této práci se zabýváme řídkými třídami grafů a jejich vlastnostmi využitelnými pro návrh algoritmů a datových struktur. Speciálně se zaměřujeme na nedávno zavedené koncepty omezené expanse a stromové hloubky, které zavedli J. Nešetřil a P. Ossona de Mendez. V této práci nejprve podáme stručný úvod do prob- lematiky a shrneme důležité výsledky a nástroje z parametrisované složitosti a algoritmické teorie modelů. Hlavní část této práce, aplikace teoretických poznatků, přináší dva nové výsledky z oblasti dynamických datových struktur. První slouží k udržování dekomposice grafu s omezenou stromovou hloubkou, druhá počítá výskyty zadaného podgrafu v udržovaném grafu. Časová i prostorová složitost operací obou struk- tur je při použití na řídké třídy grafů nízká. 1
In this thesis we study sparse classes of graphs and their properties usable for design of algorithms and data structures. Our specific focus is on the con- cepts of bounded expansion and tree-depth, developed in recent years mainly by J. Nešetřil and P. Ossona de Mendez. We first give a brief introduction to the theory as whole and survey tools and results from related areas of parametrised complexity and algorithmic model theory. The main part of the thesis, application of the theory, presents two new dynamic data structures. The first is for keeping a tree-depth decomposition of a graph, the second counts appearances of fixed subgraphs in a given graph. The time and space complexity of operations of both structures is guaranteed to be low when used for sparse graphs. 1