Závěrečná práce: Bc. Adam Straka, učo 493034: Complexity and FPT algorithms for stack, queue and track numbers
Diplomová práce
Complexity and FPT algorithms for stack, queue and track numbers
Anotace
V tejto práci študujeme zložitosť algoritmických problémov týkajúcich sa grafových invariantov stack, queue a track number. Je známe, že veľa problémov, s ktorými sa človek stretne pri práci s týmito invariantami je NP-úplných. Pri takýchto problémoch študujeme ich parametrizovanú zložitosť. Táto oblasť je extenzívne preskúmaná. Hlavné nástroje, ktoré sa v tejto oblasti využívajú, sú dynamické programovanie …více
Abstract
We study the complexity of several algorithmic problems regarding the stack, queue and track number of graphs. Many of the problems which arise while working with these parameters are known to be NP-complete. For such problems, we study their parameterized complexity. This area is quite extensively researched. The main tools that are being used are dynamic programming and kernelization. We describe …více
Zadání práce
23. 5. 2025 12:15, prof. RNDr. Petr Hliněný, Ph.D., učo 168881
Konzultant
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Stack number and queue number of graphs
Mgr. Adam Straka, učo 493034 -
Modální přechodové systémy
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., učo 139914 -
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice
RNDr. Martin Jonáš, Ph.D., učo 359542 -
Designed to Adapt: Towards Resilient Teams and Ecosystems
Mgr. Martin Hrdlička -
Matroid Based Approach to Matrix Sparsification
RNDr. Kristýna Pekárková, Ph.D. -
Verification of Probabilistic Recursive Sequential Programs
doc. RNDr. Tomáš Brázdil, Ph.D., MBA, učo 4074 -
Elektrodermální komplexita a její vztah ke konvergentnímu a divergentnímu myšlení
Mgr. Daniel Kettner, učo 178448 -
Teorie architektury a designu v digitálním věku: teoretická revize myšlení o digitálně zprostředkované architektuře a designu
Mgr. et Mgr. Ondřej Staněk, učo 472259




