给定只包含 0、1、2 的数组(红、白、蓝),要求原地 排序,使0在前、1在中、2在后。要求不能使用库排序,最好只遍历一次
又称为荷兰国旗问题
分析:
- 排序?快排 或 归并排序,时间复杂度为O(nlogn)。没有利用到只有3种元素这个条件
- 引入一个新数组?扫描原数组,碰到0就放左边,碰到2就放右边,碰到1就跳过,最后把剩下的位置填1。只需扫描一遍数组,但引入了额外数组,不符合原地的要求
- 计数法?第一遍扫描数组,分别统计0、1、2各出现了多少次;第二遍直接根据这些计数,把对应数量的0、1、2依次填回数组。时间复杂度为O(n),空间复杂度为O(1),因为只用了3个计数变量。但需要扫描数组两遍
- 最优解法:三指针法。只需要一次遍历,时间复杂度为O(n),空间复杂度为O(1)
三指针法的思路:
- 用三个指针,left 指向0区域的右边界,right 指向2区域的左边界,i 用来遍历数组
- 初始时,left 和 i 都指向数组开头,right 指向数组末尾
- i 遍历每个元素时,如果遇到0,就和 left 位置交换,然后 left 和 i 都往右移动;如果遇到2,就和 right 位置交换,right往左移动,但 i 不动(因为换过来的元素还没有检查);如果遇到1,就直接跳过,i 往右移动
- 直到 i 移动到超过了 right,遍历结束,排序完成
三指针法的巧妙之处在于:遍历过程中始终维护3个区域,left左边全是0,right右边全是2,中间是1和待处理的元素
python
class Solution:
def sortColors(self, nums: List[int]) -> None:
"""
Do not return anything, modify nums in-place instead.
"""
i = 0
left, right = 0, len(nums)-1
while i <= right:
if nums[i] == 0: # 0应该去左边,跟left交换
tmp = nums[left]
nums[left] = nums[i]
nums[i] = tmp
# 交换后两者同时右移
i += 1
left += 1
elif nums[i] == 2: # 2应该去右边,跟right交换
tmp = nums[right]
nums[right] = nums[i]
nums[i] = tmp
right -= 1 # right左移。注意i不动,因为换过来的数字还需要处理
else:
i += 1
return nums