FO properties of geometric graphs – Bc. Filip Pokrývka
Bc. Filip Pokrývka
Bachelor's thesis
FO properties of geometric graphs
FO properties of geometric graphs
Anotácia:
V teórií konečných modelov sa v súčasnosti výskum sústreďuje hlavne na hľadanie podtried grafov, kde je problém overovania modelov (model checking problem) parametrizovateľný (FPT), pretože je dokázané, že na triede všetkých grafov je problém overovania modelov neparametrizovateľný (non-FPT), pokiaľ platí hypotéza o expponenciálnom čase. V tejto práci sa sústreďujeme hľavne na permutačné grafy, box …viacAbstract:
In finite model theory, the first-order model checking problem on graphs is nowadays popular. The research has focused on finding subclasses of graphs on which FO model checking is fixed-parameter tractable, since it is proven that FO model checking on general graphs is non-FPT, unless the Exponential Time Hypothesis fails. In this work, we focus on permutation graphs, box graphs and disk graphs. We …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 25. 5. 2017
Identifikátor:
https://is.muni.cz/th/k6riw/
Obhajoba závěrečné práce
- Obhajoba proběhla 27. 6. 2017
- Vedúci: prof. RNDr. Petr Hliněný, Ph.D.
- Oponent: Dr. rer. nat. Achim Blumensath
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 InformaticsBachelor programme / odbor:
Informatics / Mathematical Informatics
Práce na příbuzné téma
-
Limits of efficient FO model checking of geometric graphs
Filip Pokrývka -
Limits of efficient FO model checking of geometric graphs
Filip Pokrývka