Submission date: 8 August 2023

Abstract:

We prove that the basis and the generating function of a geometric grid class of permutations Geom(M) are computable from the matrix M, as well as some variations on this result. Our main tool is monadic second-order logic on permutations and words.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv : 2308.04201 pdf, ps.