Bc. Matúš Bezek

Master's thesis

FO interpretations in restricted graph classes

FO interpretations in restricted graph classes
Anotácia:
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 …viac
Abstract:
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 …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 12. 12. 2018

Obhajoba závěrečné práce

  • Obhajoba proběhla 8. 2. 2019
  • Vedúci: prof. RNDr. Petr Hliněný, Ph.D.
  • Oponent: doc. Mgr. Jan Obdržálek, PhD.

Citační záznam

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 informatiky

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Theoretical Informatics