Robinson–Schensted–Knuth correspondence