Abstract:Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the notion of a recognizable set of graphs in terms of finite congruences. Applications to the construction of efficient algorithms and to the theory of context-free sets of graphs follow naturally. The class of recognizable sets depends on the signature of graph operations. We consider three signatures related respectively to Hyperedge Replacement (HR) context-free graph grammars, to Vertex Replacement (VR) context-free graph grammars, and to modular decompositions of graphs. We compare the corresponding classes of recognizable sets. We show that they are robust in the sense that many variants of each signature (where in particular operations are defined by quantifier-free formulas, a quite flexible framework) yield the same notions of recognizability. We prove that for graphs without large complete bipartite subgraphs, HR-recognizability and VR-recognizability coincide. The same combinatorial condition equates HR-context-free and VR-context-free sets of graphs. Inasmuch as possible, results are formulated in the more general framework of relational structures.

A Note on the Relation between Recognisable Series and Regular Sequences, and their Minimal Linear Representations

A note on sequences and y-regularity of Rees algebra

A note on monotone subsequences and the RS image of invariant random permutations with macroscopic number of fixed points

Lecture notes on tree-free regularity structures

On new minimal excludants of overpartitions related to some $q$-series of Ramanujan

Parametrization of Formal Norm Compatible Sequences

Fejér monotone sequences revisited

On the regularization of sequences and associated weight functions

Asymptotic Analysis of q-Recursive Sequences

On the representability of sequences as constant terms

Sequence-regular commutative DG-rings

On the Structure and Complexity of Rational Sets of Regular Languages

Mahler equations for Zeckendorf numeration

On Minimal Polynomials over Fqm and over Fq of a Finite-Length Sequence over Fqm

Continued fractions for $q$-deformed real numbers, $\{-1,0,1\}$-Hankel determinants, and Somos-Gale-Robinson sequences

The Minimal Denominator Function and Geometric Generalizations

A note on the admissibility of smooth simple $RG$-modules

A note on the spaces of Eisenstein series on general congruence subgroups

Maximal regularity under quadratic estimates

Cocompact amenable closed subgroups: weakly inequivalent representations in the left-regular representation

The recognizability of sets of graphs is a robust property