Bijective enumeration of permutations starting with a longest increasing subsequence

Greta Panova

We prove a formula for the number of permutations in $S_n$ such that their first $n-k$ entries are increasing and their longest increasing subsequence has length $n-k$. This formul…