An algorithm to select the k^th smallest element of an array and partition the array around it. First, partition around the value of the k^th element. If the split is not at element k, move the upper or lower boundary and partition again.