Algorithmic Meta-theorems for Restricted Classes of Graphs – RNDr. Jakub Gajarský, Ph.D.
RNDr. Jakub Gajarský, Ph.D.
Doctoral thesis
Algorithmic Meta-theorems for Restricted Classes of Graphs
Algorithmic Meta-theorems for Restricted Classes of Graphs
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 29. 4. 2016
Identifier:
https://is.muni.cz/th/hgsbj/
Thesis defence
- Date of defence: 21. 9. 2016
- Supervisor: prof. RNDr. Petr Hliněný, Ph.D.
- Reader: prof. RNDr. Jaroslav Nešetřil, DrSc., Prof. Anuj Dawar
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 InformaticsDoctoral programme / field:
Informatics (4-years) / Informatics
Theses on a related topic
-
Algorithmic Meta-theorems for Restricted Classes of Graphs
Jakub Gajarský -
Srovnání Vertex cover, Twin-cover a Neighborhood diversity na grafech
Vladimír Lambert -
Parameterized Algorithms for Geometric Intersection Graphs
Deniz Agaoglu Cagirici -
Parameterized Algorithms for Geometric Intersection Graphs
Deniz Agaoglu -
Parameterized Algorithms for Geometric Intersection Graphs
Deniz Agaoglu Cagirici -
Parameterized Algorithms on Width Parameters of Graphs
Robert Ganian -
Structural and geometric graph theory and algorithmic metatheorems
Filip Pokrývka -
Algorithmic Meta-theorems for Restricted Classes of Graphs
Jakub Gajarský