UWSpace is currently experiencing technical difficulties resulting from its recent migration to a new version of its software. These technical issues are not affecting the submission and browse features of the site. UWaterloo community members may continue submitting items to UWSpace. We apologize for the inconvenience, and are actively working to resolve these technical issues.
 

Establishing a Connection Between Graph Structure, Logic, and Language Theory

Thumbnail Image

Files

Hunt_Alexis.pdf (497.96 KB)

Date

2015-09-08

Authors

Hunt, Alexis

Journal Title

Journal ISSN

Volume Title

Publisher

University of Waterloo

Abstract

The field of graph structure theory was given life by the Graph Minors Project of Robertson and Seymour, which developed many tools for understanding the way graphs relate to each other and culminated in the proof of the Graph Minors Theorem. One area of ongoing research in the field is attempting to strengthen the Graph Minors Theorem to sets of graphs, and sets of sets of graphs, and so on. At the same time, there is growing interest in the applications of logic and formal languages to graph theory, and a significant amount of work in this field has recently been consolidated in the publication of a book by Courcelle and Engelfriet. We investigate the potential applications of logic and formal languages to the field of graph structure theory, suggesting a new area of research which may provide fruitful.

Description

Keywords

graph structure, logic, formal languages, language theory, monadic second-order logic, tree-decompositions, hyperedge replacement, HR algebra, graph theory, well-quasi-ordering, cone graph, cone ideal, tree-generator, obstruction-width

LC Keywords

Citation

URI

http://hdl.handle.net/10012/9648

Collections

Theses
Combinatorics and Optimization