2
Graph structure : Embedding in a surface
Exclusion of minor, vertex-minor, induced subgraph
Tree-structuring
Monadic second-order logic : expression of properties, queries, optimization
functions, number of configurations.
Mainly useful for tree-structured graphs (Second-order logic useless)
Two types of questions :
Checking G = ϕ for fixed MS formula ϕ, given G
Deciding ∃ G, G ∈ C, G = ϕ for fixed C, given MS formula ϕ.
Tools to be presented
Algebraic setting for tree-structuring of graphs
Recognizability = finite congruence ≡ inductive computability
≡ finite deterministic automaton on terms
Fefermann-Vaught : MS definability ⇒ recognizability.