Robinson-Schensted-Knud (RSK) correspondence

Tags: #definition

Robinson-Schensted-Knud correspondence

There exists a bijection between the following two sets:

Proof

This bijection follows by applying the Schensted insertion algorithm.