Efficient solvability of graph MSO properties

Bc. Jakub Gajarský, Ph.D.

Diplomová práce

Anotace:

V priebehu rokov sa logika MSO ukázala ako vhodný jazyk na vyjadrovanie efektívne riešiteľných vlastností na obmedzených triedach grafov. V tejto práci podávame prehľad tried grafov, pre ktoré existujú efektívne algoritmy na overovanie modelu pre MSO logiku. Prínos práce spočíva v nájdení nového štrukturálneho parametru, ktorý je zúžením clique-width, a pre ktorý existuje rýchlejší algoritmus na overovenie modelu pre MSO logiku.

Abstract:

Over the time, MSO graph logic proved to be a suitable language for expressing efficiently solvable properties on restricted classes of graphs. In this work we review some classes of graphs, for which efficient algortithms for MSO model-checking are known. Our contribution consists of finding structural parameter which is a restriction of clique-width, and for which there exists faster MSO model-checking algorithm than the algortihm known for clique-width.

Keywords

monadic second-order logic, graph theory, parametrized complexity, Ehrenfeucht games, kernelization

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 9. 1. 2012

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

• Obhajoba proběhla 9. 2. 2012
• Vedoucí: prof. RNDr. Petr Hliněný, Ph.D.
• Oponent: RNDr. Robert Ganian

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Teoretická informatika