Algorithmic Meta-theorems for Restricted Classes of Graphs – Mgr. Jakub Gajarský, Ph.D.
Mgr. Jakub Gajarský, Ph.D.
Advanced ('rigorózní') 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ů. Cíle předkládané dizertační práce sa dají shrnout následovně: - prozkoumat možnosti použití Courcellovy věty na dokazování nových algoritmických …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. The aims of the proposed dissertation can be summarized as follows: - to investigate possible uses of Courcelle …more
Language used: English
Date on which the thesis was submitted / produced: 28. 11. 2013
Identifier:
https://is.muni.cz/th/meyq9/
Thesis defence
- Date of defence: 13. 1. 2014
- Reader: prof. RNDr. Martin Loebl, CSc., doc. RNDr. Tomáš Kaiser, Ph.D.
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 InformaticsAdvanced ('rigorózní řízení') programme / field:
Informatics / Theoretical 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ý