FO interpretations in restricted graph classes – Bc. Matúš Bezek
Bc. Matúš Bezek
Master's thesis
FO interpretations in restricted graph classes
FO interpretations in restricted graph classes
Abstract:
Skúmame interpretácie prvého rádu na triedach grafov. Našou hlavnou motiváciou je nájsť spôsob, ako rozšíriť bohatstvo tried grafov, pre ktoré je problém overovania modelov prvého rádu je v triede FPT. Zhŕňame vlastnosti grafov, ktoré sú asymptoticky zachované pri interpretáciách prvého rádu. Špeciálne sa venujeme near-uniform grafovým triedam, čo sú presne tie triedy, ktoré sú interpretovateľné z …moreAbstract:
We study first-order interpretations of graph classes. Our primary motivation is to find a way of extending the variety of graph classes for which the first-order model checking problem is fixed-parameter tractable. We summarize some of the graph properties which are asymptotically preserved under first-order interpretations. We pay special attention to near-uniform graph classes, which are exactly …more
Language used: English
Date on which the thesis was submitted / produced: 12. 12. 2018
Identifier:
https://is.muni.cz/th/uz08k/
Thesis defence
- Date of defence: 8. 2. 2019
- Supervisor: prof. RNDr. Petr Hliněný, Ph.D.
- Reader: doc. Mgr. Jan Obdržálek, PhD.
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
-
Predikátová a klauzulární logika
Juraj Paluš -
Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
Samuel Pastva -
Algorithmic Meta-theorems for Restricted Classes of Graphs
Jakub Gajarský -
Determinanty a grafy
Roman Štěpánek -
Parametrizované algoritmy pro grafy s omezenou modulární šířkou
Michal Románek -
Extremální grafy předepsaného stupně a obvodu
Tom Raiman -
Hamiltonovské grafy
Ondřej Brekl -
Grafy a učivo chemie na střední škole
Veronika HALŠKOVÁ