python实现快排

思路

如果数组内元素不为空

• 对于第一个元素，将小于它的放左边，将大于它的放在右边
• 将左边的元素进行第一步的过程
• 将右边的元素进行第一步的过程

代码

import random
x = [random.randint(0, 199) for i in range(130)]


def quick_sort(value, left, right):
    if left < right:
        mid = partition(value, left, right)
        quick_sort(value, left, mid-1)
        quick_sort(value, mid+1, right)

# 取出左边的第一个元素temp，让左边产生空位
# 从右边找比temp小的，两者交换，让右边产生空位
# 从左边找比temp大的，两者交换，让左边产生空位
# 循环2、3步
# 把temp放到合适的位置
def partition(value, left, right):
    temp = value[left]
    while left < right:
        while left < right and value[right] >= temp:
            right -= 1
        value[right], value[left] = value[left], value[right]
        while left < right and value[left] <= temp:
            left += 1
        value[left], value[right] = value[right], value[left]
    value[left] = temp
    return left

quick_sort(x, 0, len(x)-1)
assert x == sorted(x)

记录

while left < right and value[right] >= temp:
对于这一行，我开始写的时候是
while left < right and value[right] >temp:
这么写的。在列表中含重复元素的情况下，这样会产生一个死循环。

启发

若在这种含有比较大小、且是while循环下，为了保证代码正确，不出现死循环，需保证

• 大小比较条件只出现真假两种情况，即$\ge$或$\le$

这么做的原因是循环执行的条件只能为真，如果在循环体中无法改变这个状态，则无法保证需要跳出循环的代码的正确性