Závěrečná práce: Mgr. Jakub Balabán, učo 485053: Parameterized Algorithms for Computing Twin-Width
Rigorózní práce
Parameterized Algorithms for Computing Twin-Width
Anotace
Twin-width je strukturální grafový parametr zavedený v roce 2020, který zachycuje mnoho dříve známých tříd grafů, jako jsou například rovinné grafy a třídy s omezenou clique-width. Je známo, že FO-model checking je FPT při parametrizaci pomocí twin-width (pokud je součástí vstupu také odpovídající kontrakční posloupnost). Bohužel, již rozhodnout, zda má graf twin-width nejvýše 4, je NP-úplný problém …více
Abstract
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
2. 9. 2025 20:21, prof. RNDr. Petr Hliněný, Ph.D., učo 168881
Oponenti
MIM University of Warsaw
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Computing twin-width parametrized by restrictive parameters
RNDr. Jakub Balabán, učo 485053 -
Twin-width of planar graphs
Bc. Dominik Melicher -
Constructive twin-width for posets of small width
RNDr. Jakub Balabán, učo 485053 -
Structural and geometric graph theory and algorithmic metatheorems
RNDr. Filip Pokrývka, Ph.D., učo 433705 -
Twin-width of planar graphs
RNDr. Jan Jedelský, učo 484988 -
Classes of bounded and unbounded twin-width
RNDr. Jan Jedelský, učo 484988 -
Structural and Geometric Graph Theory and Algorithmic Metatheorems
RNDr. Filip Pokrývka, Ph.D., učo 433705 -
Sparsity Methods in Combinatorics and Optimization
RNDr. Kristýna Pekárková, Ph.D.




