Limits of efficient FO model checking of geometric graphs – Bc. Filip Pokrývka
Bc. Filip Pokrývka
Master's thesis
Limits of efficient FO model checking of geometric graphs
Limits of efficient FO model checking of geometric graphs
Abstract:
Základným problémom v teórií konečných modelov je problém overovania vlastností relačných štruktúr, akými sú napríklad grafy. V súčastnosti sa výskum sústredí na hľadanie podtried grafov, na ktorých je problém overovania vlastností definovaných (existenčnou) logikou prvého rádu parametrizovateľný, pretože tento problém nie je parametrizovateľný, ak platí hypotéza o exponenciálnom čase. V tejto práci …moreAbstract:
A fundamental problem in finite model theory is model checking on relational structures such as graphs. The current highlights of research focus on finding subclasses of graphs on which (existential) first-order model checking is fixed-parameter tractable (FPT), since (existstential)FO model checking on general graphs is non-FPT, unless the Exponential Time Hypothesis fails. In this work, we focus …more
Language used: English
Date on which the thesis was submitted / produced: 20. 5. 2019
Identifier:
https://is.muni.cz/th/qly2r/
Thesis defence
- Date of defence: 20. 6. 2019
- Supervisor: prof. RNDr. Petr Hliněný, Ph.D.
- Reader: Dr. rer. nat. Achim Blumensath
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:
Informatics / Theoretical Informatics
Theses on a related topic
-
FO properties of geometric graphs
Filip Pokrývka