LeftToRightMaximaDyckPath
The Dyck path whose rises climb to each left-to-right maximum and whose falls run to the next one.
FindStat
Mp00127via PermutationLeftToRightMaximaDyckPath(Permutation)The Dyck path whose rises climb to each left-to-right maximum and whose falls run to the next one.Typed signatures
| Type | Package | Applies |
|---|---|---|
(permutation) -> dyck_path | combinatorics | always |
Details
- Takes a
Permutationand returns aDyckPath— a typed map, so a wrong carrier is a type error rather than a wrong answer. - FindStat's Mp00127. Restricted to the 321-avoiding permutations it is a bijection with the Dyck paths.
Examples
About
| Examples | 1 |
|---|---|
| Crosswalk | FindStat |