Computing twin-width parametrized by restrictive parameters – Bc. Jakub Balabán
Bc. Jakub Balabán
Diplomová práce
Computing twin-width parametrized by restrictive parameters
Computing twin-width parametrized by restrictive parameters
Anotace:
Twin-width je strukturální grafový parametr představený v roce 2020, který zahrnuje mnoho předtím známých grafových tříd, například rovinné grafy a grafy s omezenou clique-width. Je známo, že FO-model checking je FPT při parametrizaci přes twin-width (pokud je spolu se vstupem poskytnuta odpovídající kontrakční posloupnost). Špatnou zprávou je, že již rozhodování, jestli je twin-width grafu nejvýše …víceAbstract:
Twin-width is a structural graph parameter introduced in 2020, which captures many previously known graph classes, such as planar graphs and classes of bounded clique-width. It is known that FO-model checking is FPT when parameterized by twin-width (if a corresponding contraction sequence is given as part of the input). Unfortunately, already deciding whether the twin-width of a graph is at most 4 …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 15. 12. 2023
Identifikátor:
https://is.muni.cz/th/juv7m/
Obhajoba závěrečné práce
- Obhajoba proběhla 14. 2. 2024
- Vedoucí: prof. RNDr. Petr Hliněný, Ph.D.
- Oponent: RNDr. Filip Pokrývka
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Teoretická informatika / Diskrétní algoritmy a modely
Práce na příbuzné téma
-
Constructive twin-width for posets of small width
Jakub Balabán -
Twin-width of planar graphs
Jan Jedelský -
Classes of bounded and unbounded twin-width
Jan Jedelský -
Twin-width of planar graphs
Dominik Melicher