RskRecording from Permutation
The recording tableau of the RSK correspondence, as its rows.
Records WHERE each insertion landed. The insertion logic is untouched — comparing row lengths before and after says which row grew, which is less work than instrumenting the bumping to report it.
Called as CombinatorialMap(x, "RskRecording"). The head's page has its examples.
Live
FindStat Mp00070
Robinson-Schensted recording tableau
Matched by value: our map agrees with FindStat's image on each of the 873 rows of size at most 6 we can read (0 unread; its table has 1200 rows).
SurjectionGraded mapas FindStat records them, checked by FindStat's contributors.
Sends a permutation to its Robinson-Schensted recording tableau.
| Object | Image |
|---|---|
[1] | [[1]] |
[1,2] | [[1,2]] |
[2,1] | [[1],[2]] |
[1,2,3] | [[1,2,3]] |
Data from FindStat, the combinatorial statistic finder; the page at findstat.org/Mp00070 has the rest.