Abstract:A permutation $\pi: [n] \rightarrow [n]$ is a Baxter permutation if and only if it does not contain either of the patterns $2-41-3$ and $3-14-2$. Baxter permutations are one of the most widely studied subclasses of general permutation due to their connections with various combinatorial objects such as plane bipolar orientations and mosaic floorplans, etc. In this paper, we introduce a novel succinct representation (i.e., using $o(n)$ additional bits from their information-theoretical lower bounds) for Baxter permutations of size $n$ that supports $\pi(i)$ and $\pi^{-1}(j)$ queries for any $i \in [n]$ in $O(f_1(n))$ and $O(f_2(n))$ time, respectively. Here, $f_1(n)$ and $f_2(n)$ are arbitrary increasing functions that satisfy the conditions $\omega(\log n)$ and $\omega(\log^2 n)$, respectively. This stands out as the first succinct representation with sub-linear worst-case query times for Baxter permutations. Additionally, we consider a subclass of Baxter permutations called \textit{separable permutations}, which do not contain either of the patterns $2-4-1-3$ and $3-1-4-2$. In this paper, we provide the first succinct representation of the separable permutation $\rho: [n] \rightarrow [n]$ of size $n$ that supports both $\rho(i)$ and $\rho^{-1}(j)$ queries in $O(1)$ time. In particular, this result circumvents Golynski's [SODA 2009] lower bound result for trade-offs between redundancy and $\rho(i)$ and $\rho^{-1}(j)$ queries. Moreover, as applications of these permutations with the queries, we also introduce the first succinct representations for mosaic/slicing floorplans, and plane bipolar orientations, which can further support specific navigational queries on them efficiently.

Efficient recurrence for the enumeration of permutations with fixed pinnacle set

On Permutations of {1,…,n} and Related Topics

Growth Rates Of Permutations With Given Descent Or Peak Set

Congruences Involving Permutation

Permanent Identities, Combinatorial Sequences, and Permutation Statistics

Asymptotic enumeration of permutations avoiding generalized patterns

Distribution of maxima and minima statistics on alternating permutations, Springer numbers, and avoidance of flat POPs

The Pinnacle Sets of a Graph

Canon Permutation Posets

The poset of king permutations on a cylinder

Connections between Combinations Without Specified Separations and Strongly Restricted Permutations, Compositions, and Bit Strings

The Ascent-Plateau Statistics on Stirling Permutations

Succinct Data Structures for Baxter Permutation and Related Families

Counting occurrences of patterns in permutations

On the effective and automatic enumeration of polynomial permutation classes

Patterns in Multi-dimensional Permutations

On Restricted Permutations of $\{1,\Ldots,n\}$

Cryptographic analysis and construction of complete permutations using a recursive approach

Enumeration of flattened $k$-Stirling permutations with respect to descents

Ranking and Unranking Restricted Permutations

Shattering $k$-sets with Permutations