Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects

  title={Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects},
  author={Bruno Courcelle},
Graph structureis a flexible concept covering many different types of graph properties. Hierarchical decompositions yielding the notions of tree-width and clique-width, expressed by terms written with appropriate graph operations and associated with Monadic Second-order Logicare important tools for the construction of Fixed-Parameter Tractable algorithms and also for the extension of methods and results of Formal Language Theory to the description of sets of finite graphs. This informal… 

Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications

This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-width and

Distributed Graph Automata

  • Fabian Reiter
  • Computer Science, Mathematics
    2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
  • 2015
A new class of finite graph automata that recognize precisely the languages of finite graphs definable in monadic second-order logic is introduced.

Courcelle's theorem - A game-theoretic approach

An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning

A set of simple features are described that are sufficient in order to make the satisfiability problem of logics interpreted on trees Tower-hard and it is proved that this logic is captured by four other logics that were independently found to be Tower-complete.

Quantifiers and n-ary binders: an OpenMath standard enhancement proposal

It is proposed that the restriction in the OpenMath standard that an OMBIND element must have exactly three children should be lifted, to support more general binder symbols. The case of logics with

The Stackelberg minimum spanning tree game on planar and bounded-treewidth graphs

The Stackelberg Minimum Spanning Tree Game is a two-level combinatorial pricing problem played on a graph representing a network that is NP-hard on planar graphs but can be solved in polynomial time on graphs of bounded treewidth.

Origin-equivalence of two-way word transducers is in PSPACE

It is proved that decidability can be equally recovered by adopting a slightly different, but natural semantics, called origin semantics, and introduced by Bojanczyk in 2014.

Application of logic to combinatorial sequences and their recurrence relations

This paper presents a meta-analyses of the model Theoretic Interpretations of Counting Functions using LaSalle’s inequality as a model for solving the inequality of the following types: 1-2-3, 2-3-4, and 3-4-5.

Optimally Confining Lattice Polymers

We introduce the Lattice Polymer Confinement Problem (LPCP), where provided a graph G corresponding to a solid or hole-containing finite lattice, and provided a finite set of vertex-wise lengths L ⊂ N

A parallel approach for detecting OpenFlow rule anomalies based on a general formalism

An offline method for detecting unmatched OpenFlow rules, that is, rules that are never fired, and a new set of definitions for the intraanomalies between rules in the same table, which might occur when using the multiaction feature of an OpenFlow rule.



The Monadic Second-Order Logic of Graphs VII: Graphs as Relational Structures

Vertex-minors, monadic second-order logic, and a conjecture by Seese

The Monadic Second-Order Logic of Graphs XI: Hierarchical Decompositions of Connected Graphs

Logical Description of Contex-Free Graph Languages

A graph language L is in the class C-edNCE of context-free edNCE graph languages if and only if L= f(T) where f is a partial function on graphs that can be defined in monadic second-order logic and T

The monadic second-order logic of graphs XVI : Canonical graph decompositions

It is established that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic and it is proved that the set of graphs having the same cycle matroid as a given 2-connected graph can be defined from this graph by Monadic second-Order formulas.

Logic, graphs, and algorithms

An introduction into the theory underlying algorithmic meta theorems and a survey of the most important results in this area are presented.

The Monadic Second-Order Logic of Graphs X: Linear Orderings

The Structure of Models of Decidable Monadic Theories of Graphs

  • D. Seese
  • Mathematics
    Ann. Pure Appl. Log.
  • 1991

The monadic second-order logic of graphs XV: On a conjecture by D. Seese