Automata-formalization for graphs of bounded rank-width – Bc. Robert Ganian
Bc. Robert Ganian
Diplomová práce
Automata-formalization for graphs of bounded rank-width
Automata-formalization for graphs of bounded rank-width
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: angličtina
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
- Vedoucí: 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 informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Teoretická informatika
Práce na příbuzné téma
-
Isomorphism problem for geometric intersection graphs
Deniz Agaoglu -
Classes of bounded and unbounded twin-width
Jan Jedelský