Sort szybki


Quick sort – sortowanie szybkie

Omawiany algorytm należy do jednego z najszybszych algorytmów sortujących dane wynaleziony w 1960 roku przez Sir Charles Antony Richard Hoare. Jest on chętnie implementowany i wdrażany do systemów informatycznych ze względu na szerokie spektrum zalet:

  • złożoność czasowa jest rzędu O(n log n)
  • algorytm nie potrzebuje dodatkowej tablicy do posortowania jak to jest w przypadku sortowania przez scalanie
  • jest łatwy w implementacji
  • dobrze współpracuje z różnymi typami danych

Algorytm posiada także wady:

  • w sytuacji pesymistycznej złożoność może wynosić O(n2)
  • jest niestabilny
  • jest wrażliwy na błędy w implementacji

Działanie algorytmu

Algorytm wykorzystuje technikę „dziel i zwyciężaj”. Według ustalonego schematu wybierany jest jeden element w sortowanej tablicy, który będziemy nazywać pivot. Pivot może być elementem środkowym, pierwszym, ostatnim, losowym lub wybranym według jakiegoś innego schematu dostosowanego do zbioru danych. Następnie ustawiamy elementy nie większe na lewo tej wartości, natomiast nie mniejsze na prawo. W ten sposób powstaną nam dwie części tablicy (niekoniecznie równe), gdzie w pierwszej części znajdują się elementy nie większe od drugiej. Następnie każdą z tych podtablic sortujemy osobno według tego samego schematu. 

Przykład

Do posortowania posłużymy się przykładem ciągu liczb:

2 5 1 3 4 0 6 2 52 5 1 3 4 0 6 2 5

W naszym algorytmie element pivot będzie środkowym elementem sortowanej tablicy

lewa część tablicypivotprawa część tablicy
2 5 1 340 6 2 5

Następnie ustawiamy liczniki i na pierwszy element tablicy, natomiast j na ostatni element tablicy:

lewa część tablicypivotprawa część tablicy
2 5 1 3
i
4
0 6 2 5
j

W kolejnym kroku szukamy pierwszej liczby z lewej strony tablicy poruszając się licznikiem i ku wartości pivot, która jest nie mniejsza niż pivot oraz pierwszej liczby z prawej strony, która jest nie większa niż pivot. Stan liczników po wyszukaniu odpowiednich liczb:

lewa część tablicypivotprawa część tablicy
2 5 1 3
i
4
0 6 2 5
j

 Teraz wykonujemy zamianę liczb, które stoją po niewłaściwej stronie:

lewa część tablicypivotprawa część tablicy
2 2 1 3
i
4
0 6 5 5
j

Czynności powtarzamy do momentu minięcia się liczników:

lewa część tablicypivotprawa część tablicy
2 2 1 3
4
i
0 6 5 5
j

zamiana pivota z 0

lewa część tablicypivotprawa część tablicy
2 2 1 3
0
i
4 6 5 5
j

 i minięcie się liczników

lewa część tablicypivotpivot prawa część tablicy
2 2 1 3 0
j
4
i
6 5 5

W kolejnym kroku wykonujemy sortowanie dwóch tablic osobno, zawierających się w przedziałach:

pierwsza tablica: [lewy..j]

2 2 1 3 02 2 1 3 0

druga tablica: [i..prawy]

4 6 5 54 6 5 5.

Zauważmy, że w pierwszej tablicy znajdują się elementy nie większe od drugiej.

Lewa część tablicy

  pivot  
2
i
2
1
3
0
j
0
2
i
1
j
3
2
 pivot   
0
1
j
2
i
3
2

Po lewej stronie pivota jest tylko jeden element, więc stoi on już na odpowiedniej pozycji. Prawą część tej podtablicy dzielimy ponownie na dwie części:

 pivot
2
i
3
2
j
2
3
i
2
j
  pivot
2
2
j
3
i

Algorytm dla tej części podtablicy musi się wykonać jeszcze dla dwóch dwójek, ponieważ sortowanie kończy się, gdy podtablica składa się z co najwyżej jednego elementu. W tym przypadku liczby są już posortowane, więc dalsza wizualizacja jest zbędna.

Prawa część tablicy

 pivot 
4
i
6
5
5
j

6
i

5
j
    pivot
4
5
5
i=j
6
4
5
j
5
6
i

Po tym minięciu się liczników, tablica zostanie jeszcze podzielona na dwie części, ale są one już posortowane, więc na tym kroku zakończymy.

Gdy popatrzymy globalnie na całą tablice, to zauważymy, że wszystkie jej elementy są poukładane w odpowiedniej kolejności.