微妙的quicksort算法

我从quicksort的基本框架出发，得出了一个比较好理解的代码:   

1. def qsort_2( a, s, t ):
2.     if t - s <= 0:
3.         return
4.     mid = a[s]
5.     l = s 
6.     r = t
8.     #print a[s:t+1],
9.     while 1:
10.         while a[l] < mid and  l < r:
11.             l += 1
12.         while a[r] > mid and l < r:
13.             r -= 1
14.         
15.         if l < r:
16.             a[l], a[r] = a[r], a[l]
17.             l += 1
18.             r -= 1
19.         else:
20.             break
22.     
23.     if a[l] > mid:
24.         qsort_2( a, s, l-1 )
25.         qsort_2( a, l, t ) 
26.     elif a[l] < mid:
27.         qsort_2( a, s, l )
28.         qsort_2( a, l+1, t ) 
29.     else:
30.         qsort_2( a, s, l-1 )
31.         qsort_2( a, l+1, t ) 

最后之所有有分支比较，是因为我发现，a[l]是否大于mid是未知的；比较好理解, 但是有的dirty.
查书上的c代码, 用Python写出代码2:
  

1. def qsort_3( a, s, t ):
2.     if t - s <= 0:
3.         return
4.     mid = a[s]
5.     l = s + 1
6.     r = t
8.     #print a[s:t+1],
9.     while 1:
10.         while a[l] < mid and  l < r:
11.             l += 1
12.         while a[r] > mid:
13.             r -= 1
14.         
15.         if l < r:
16.             a[l], a[r] = a[r], a[l]
17.             l += 1
18.             r -= 1
19.         else:
20.             break
22.     
23.     #print 'mid = ', mid, 'a[r] =', a[r], 'a[l] =', a[l],a[s:t+1]
24.     a[s], a[r] = a[r], a[s]
25.     qsort_3( a, s, r-1 )
26.     qsort_3( a, r+1, t ) 

如果改成代码3, 变化仅仅是加上一个条件 l<r，就会出错:

1. def qsort_3( a, s, t ):
2.     if t - s <= 0:
3.         return
4.     mid = a[s]
5.     l = s + 1
6.     r = t
8.     #print a[s:t+1],
9.     while 1:
10.         while a[l] < mid and  l < r:
11.             l += 1
12.         while a[r] > mid and l < r:
13.             r -= 1
14.         
15.         if l < r:
16.             a[l], a[r] = a[r], a[l]
17.             l += 1
18.             r -= 1
19.         else:
20.             break
22.     
23.     #print 'mid = ', mid, 'a[r] =', a[r], 'a[l] =', a[l],a[s:t+1]
24.     a[s], a[r] = a[r], a[s]
25.     qsort_3( a, s, r-1 )
26.     qsort_3( a, r+1, t ) 

    代码2的微妙之处在于while退出时候保证有 a[r] <= mid, 形式上这是由 while a[r] > mid 保障的；而代码3再加上一个条件，破坏了这一个保证。
 
     ps: 有些复杂的算法，不可能一步想到位，有些微妙的地方恐怕还是要通过try-fail来收敛吧.