1 citations · 2 across the 15 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.CO2025
Monadic Second-Order Logic of Permutations
Vít Jelínek, Michal Opler
Permutations can be viewed as pairs of linear orders, or more formally as models over a signature consisting of two binary relation symbols. This approach was adopted by Albert, Bo…
cs.DS2025
Compact representations of pattern-avoiding permutations
László Kozma, Michal Opler
Pattern-avoiding permutations are a central object of study in both combinatorics and theoretical computer science. In this paper we design a data structure that can store any size…