Computing twin-width parametrized by restrictive parameters – Bc. Jakub Balabán
Bc. Jakub Balabán
Master's thesis
Computing twin-width parametrized by restrictive parameters
Computing twin-width parametrized by restrictive parameters
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 15. 12. 2023
Identifier:
https://is.muni.cz/th/juv7m/
Thesis defence
- Date of defence: 14. 2. 2024
- Supervisor: prof. RNDr. Petr Hliněný, Ph.D.
- Reader: RNDr. Filip Pokrývka
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Theoretical computer science / Discrete algorithms and models
Theses on a related topic
-
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