Structural and geometric graph theory and algorithmic metatheorems – Mgr. Filip Pokrývka
Mgr. Filip Pokrývka
Advanced ('rigorózní') thesis
Structural and geometric graph theory and algorithmic metatheorems
Structural and geometric graph theory and algorithmic metatheorems
Anotácia:
Základným problémom v teórií konečných modelov je problém overovania vlastností relačných štruktúr. V súčastnosti sa výskum sústredí na hľadanie podtried grafov, na ktorých je problém overovania vlastností definovaných logikou prvého rádu (FO) parametrizovateľný (FPT), pretože vo všeobecnosti je tento ptoblém AW[*]-úplný. Táto téza sa sústredí na problém overovania FO vlastností na grafoch, ktoré vieme …viacAbstract:
A fundamental problem in finite model theory is model checking on relational structures. The current main points of research focus on finding subclasses of graphs on which first-order (FO) model checking is fixed-parameter tractable (FPT), since FO model checking on general graphs is AW[*]-complete. This thesis proposal focuses on the complexity of FO model checking on graphs with geometrical representation …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 23. 9. 2021
Identifikátor:
https://is.muni.cz/th/l2szv/
Obhajoba závěrečné práce
- Obhajoba proběhla 18. 1. 2022
- Oponent: Dr. rer. nat. Achim Blumensath, M.Sc. Maria Saumell Mendiola, Ph.D.
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 informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / odbor:
Theoretical computer science / Theoretical computer science