CarPermutation

Spot j holds the car that parks there, each car taking the first free spot at or after its preference.

FindStatMp00053via ParkingFunction↗

CarPermutation(ParkingFunction)Spot j holds the car that parks there, each car taking the first free spot at or after its preference.

Typed signatures

Type	Package	Applies
(parking_function) -> permutation	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a ParkingFunction and returns a Permutation — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• FindStat's Mp00053, Sage's cars_permutation. A surjection.

Examples

Basic #

the parking function $2113$

live ↗

In$\mathrm{CarPermutation}({\operatorname{ParkingFunction}}([2, 1, 1, 3]))$Out${\operatorname{Permutation}}([2, 1, 3, 4])$

About

Examples	1
Crosswalk	FindStat