A sorting algorithm that picks an element as a pivot and partitions the given array around the picked pivot, sometimes called partition-exchange sort.
