Efficient solvability of graph MSO properties – Bc. Jakub Gajarský, Ph.D.
Bc. Jakub Gajarský, Ph.D.
Master's thesis
Efficient solvability of graph MSO properties
Efficient solvability of graph MSO properties
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 9. 1. 2012
Identifikátor:
https://is.muni.cz/th/w6sin/
Obhajoba závěrečné práce
- Obhajoba proběhla 9. 2. 2012
- Vedúci: prof. RNDr. Petr Hliněný, Ph.D.
- Oponent: RNDr. Robert Ganian
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Theoretical Informatics