Sortowanie gnoma¶
Wyobraźmy sobie gnoma, który zarządza swoim ogródkiem, a konkretnie ustawia doniczki we właściwej kolejności. Doniczki ułożone są w rządku od lewej do prawej. Gnom przechodzi od lewej do prawej wzdłuż rzędu doniczek, uważnie je obserwując. Gdy tylko zauważy, że dwie sąsiednie doniczki są niewłaściwie ułożone, zamienia je miejscami i cofa się do poprzedniej doniczki. Gdy natomiast z doniczkami jest wszystko tak, jak należy, to przechodzi do kolejnej doniczki. Gdy gnom dotrze do końca doniczek może spokojnie stwierdzić, że wszystkie są ułożone we właściwym porządku.
Poniżej znajdziesz animację przedstawiającą ideę omawianego algorytmu.
Animacja 1¶
Animacja 2¶
Rozwiązanie¶
Zauważmy, że gnom ma do dyspozycji następujące operacje:
- porównaj dwie sąsiednie doniczki: obecną z poprzednią,
- zamień dwie sąsiednie doniczki: obecną z poprzednią,
- idź o jedną doniczkę w prawo,
- idź o jedną doniczkę w lewo.
Gnom zaczyna swoją podróż od lewej strony, czyli od pierwszej doniczki, czy też od pierwszego elementu. Ponieważ może wyłącznie porównywać obecny element z poprzednim, to gdy znajduje się na samym początku nie ma wielkiego wyboru i musi pójść w prawo. Podobnie postępuje, gdy zauważy, że dwie sąsiednie doniczki są ułożone we właściwym porządku: przemieszcza się w prawo. Kiedy w takim razie gnom powinien pójść w lewo? Gdy napotka dwie sąsiednie doniczki, które są ułożone w złej kolejności. Wówczas zamienia je miejscami i idzie w lewo. I to wszystko powtarzamy tak długo, aż gnom wyjdzie poza rząd doniczek, czyli aż jego pozycja będzie większa od liczby elementów (\(n\)).
Pseudokod¶
procedura SortowanieGnoma(n, A):
1. i := 1
2. Dopóki i <= n, wykonuj:
3. Jeżeli i = 1 lub A[i] >= A[i - 1], to:
4. i := i + 1
5. W przeciwnym przypadku:
6. Zamień(A[i], A[i - 1])
7. i := i - 1
Schemat blokowy¶
%%{init: {"flowchart": {"curve": "linear"}, "theme": "neutral"} }%%
flowchart TD
START(["SortowanieGnoma(n, A)"]) --> K1[i := 1]
K1 --> K2{i <= n}
K2 -- PRAWDA --> K3{"i = 1
lub
A[i] >= A[i - 1]"}
K3 -- PRAWDA --> K4[i := i + 1]
K4 --> K2
K3 -- FAŁSZ --> K6["Zamień(A[i], A[i - 1])
i := i - 1"]
K6 --> K2
K2 -- FAŁSZ ---> STOP([STOP])
Złożoność¶
\(O(n^2)\) — kwadratowa
Prześledzenie złożoności algorytmu sortowania gnoma może wydawać się nietrywialne, zauważmy jednak, że algorytm ten jest bardzo podobny do algorytmu sortowania przez wstawianie. Tak właściwie od wspomnianego algorytmu różni się jedynie dodatkowym "poruszaniem się w prawo", nie może mieć więc złożoności lepszej, niż tamten algorytm.