Abstract:We consider sorting procedures for permutations making use of pop stacks with a bypass operation, and explore the combinatorial properties of the associated algorithms.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **How to sort permutations using a pop stack with a bypass operation, and explore the combinatorial properties of this sorting device**.
Specifically, the paper studies the following aspects:
1. **Definition and characteristics**:
- A pop stack is a special stack structure in which the pop operation will pop all elements in the stack at once.
- This paper introduces a new variant of the pop stack, which allows a bypass operation when processing permutations, that is, directly outputting the current element without having to push it into the stack first.
2. **Characteristics of sortable permutations**:
- It studies which permutations can be sorted by a pop stack with a bypass operation. The author uses the algorithm PSB (Pop Stack Sort with Bypass) to determine these sortable permutations and gives two forbidden patterns, 231 and 4213, such that a permutation π is sortable if and only if it avoids these two patterns.
3. **Counting and combinatorial properties**:
- It is proved that the number of sortable permutations is equal to the Fibonacci sequence with odd indices (A001519), and an independent proof method is provided to verify this result by establishing a bijective relationship with restricted Motzkin paths.
4. **Pre - image analysis**:
- A recursive algorithm is described to calculate all pre - images of a given permutation, and this algorithm is used to characterize and count permutations with a specific number of pre - images.
5. **Combination with other sorting algorithms**:
- It studies the effect of combining the PSB algorithm with other classic sorting algorithms (such as queue sorting, stack sorting, and bubble sorting), especially determining the sortable permutation classes and their forbidden patterns under these combined algorithms.
6. **Parallel pop stacks and bypass**:
- It explores the sorting device composed of two parallel pop stacks and allows elements to bypass the stack and be directly output, and determines the forbidden patterns of sortable permutations under this device.
In conclusion, through the study of the pop stack with a bypass operation, this paper not only extends the existing sorting theory, but also proposes new combinatorial problems and solutions, providing a basis for follow - up research.