RNDr. Jakub Gajarský, Ph.D.

Doctoral thesis

Algorithmic Meta-theorems for Restricted Classes of Graphs

Algorithmic Meta-theorems for Restricted Classes of Graphs
Anotácia:
Algoritmické meta-věty jsou matematická tvrzení typu „Pro všechny problémy vyjádřitelné v dané logice existuje efektivní algoritmus na dané třídě grafů“. Jsou důležitým nástrojem na dokazování existence rychlých algoritmů pro těžké problémy na omezených třídách grafů. V této práci podáváme přehled známých algoritmických meta-vět a dokazujeme několik nových meta-vět. Algoritmické meta-věty se dělí na …viac
Abstract:
Algorithmic meta-theorems are statements of the form "Every problem expressible in a certain logic is efficiently solvable on a certain class of graphs". They are an important tool for establishing tractability of many important and generally hard problems on restricted classes of graphs. In this work we give an overview of known algorithmic metatheorems together with the techniques used in their proofs …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 29. 4. 2016

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

  • Obhajoba proběhla 21. 9. 2016
  • Vedúci: prof. RNDr. Petr Hliněný, Ph.D.
  • Oponent: prof. RNDr. Jaroslav Nešetřil, DrSc., Prof. Anuj Dawar

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