Automata-formalization for graphs of bounded rank-width – Bc. Robert Ganian
Bc. Robert Ganian
Master's thesis
Automata-formalization for graphs of bounded rank-width
Automata-formalization for graphs of bounded rank-width
Anotácia:
Rank-width is a new structural measure of graphs introduced by Oum and Seymour. The outcome of this work is to define and prove a "parse-tree" characterization of the graphs of bounded rank-width, and a corresponding analogue of the Myhill-Nerode theorem. (Similar characterizations exist, e.g. for the graphs of bounded tree-width or bounded branch-width.) This effort aims at creating a schematic framework …viacAbstract:
Rank-width is a new structural measure of graphs introduced by Oum and Seymour. The outcome of this work is to define and prove a "parse-tree" characterization of the graphs of bounded rank-width, and a corresponding analogue of the Myhill-Nerode theorem. (Similar characterizations exist, e.g. for the graphs of bounded tree-width or bounded branch-width.) This effort aims at creating a schematic framework …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 22. 5. 2008
Identifikátor:
https://is.muni.cz/th/is66a/
Obhajoba závěrečné práce
- Obhajoba proběhla 1. 7. 2008
- Vedúci: prof. RNDr. Petr Hliněný, Ph.D.
- Oponent: doc. Mgr. Jan Obdržálek, PhD.
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
Práce na příbuzné téma
-
Isomorphism problem for geometric intersection graphs
Deniz Agaoglu -
Classes of bounded and unbounded twin-width
Jan Jedelský