RskRecording
The recording tableau of the RSK correspondence, as a row word.
Wikipedia
Robinson–Schensted correspondenceMathWorldSchenstedCorrespondenceWikidataQ2997917Encyclopedia of MathematicsRobinson-Schensted_correspondenceFindStatMp00070via PermutationRskRecording(Permutation)
Details
- Takes a `Permutation` and returns a `StandardTableau` — a typed map, so a wrong carrier is a type error rather than a wrong answer.
- 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.