在当前无序区间R[a..b]中任取一个数据元素作为比较的"基准值"(不妨记为X),
用此基准将当前无序区间划分为左右两个较小的无序区间:
R[a..n- 1]和R[n+1..b],且:
左边的无序子区间中数据元素均小于等于基准元素,
右边的无序子区间中数据元素均大于等于基准元素,
而基准X则位于最终排序的位置n上,即R[a..n-1]≤X≤R[n+1..b](a≤n≤b),
当R[a..n-1]和R[n+1..b]均非空时,
分别对它们进行上述的划分过程,
直至所有无序子区中的数据元素均已排序为止。