一、算法原理与核心思想
快速排序采用分治策略实现高效排序,其核心操作可分解为三个关键步骤:
-
基准选择(Pivot Selection)
选取待排序序列中的特定元素作为分割基准,常见策略包括首元素法、随机选取法和三数取中法。设待排序数组为arrarrarr,基准值为pivotpivotpivot,则满足:
∃p∈arr,∀x∈left_arr≤p≤∀y∈right_arr \exists p \in arr,\quad \forall x \in left\_arr \leq p \leq \forall y \in right\_arr ∃p∈arr,∀x∈left_arr≤p≤∀y∈right_arr -
分区操作(Partitioning)
通过双指针技术将数组划分为两个子区间:def partition(arr, low, high): pivot = arr[high] i = low - 1 for j in range(low, high): if arr[j] <= pivot: i += 1 arr[i], arr[j] = arr[j], arr[i] arr[i+1], arr[high] = arr[high], arr[i+1] return i + 1
-
递归排序(Recursive Sorting)
对分区后的子数组递归执行相同操作,递归终止条件为:
∣arr∣≤1⇒直接返回 |arr| \leq 1 \Rightarrow \text{直接返回} ∣arr∣≤1⇒直接返回
二、时间复杂度分析
通过主定理(Master Theorem)可推导时间复杂度:
-
最优情况
每次分区平衡划分时:
T(n)=2T(n2)+O(n)⇒O(nlogn) T(n) = 2T(\frac{n}{2}) + O(n) \Rightarrow O(n \log n) T(n)=2T(2n)+O(n)