Counting sort

Template:S Template:Algoritmo Il Counting sort è un algoritmo di ordinamento per valori numerici interi con complessità lineare. L'algoritmo si basa sulla conoscenza a priori dell'intervallo in cui sono compresi i valori da ordinare.

Descrizione intuitiva

L'algoritmo conta il numero di occorrenze di ciascun valore presente nell'array da ordinare, memorizzando questa informazione in un array temporaneo di dimensione pari all'intervallo di valori. Il numero di ripetizioni dei valori inferiori indica la posizione del valore immediatamente successivo.

Si calcolano i valori massimo, $max(A)$, e minimo, $min(A)$, dell'array e si prepara un array ausiliario $C$ di lunghezza $max(A)-min(A)+1$, che inizialmente contiene solo zeri. $C$ conterrà le frequenze di ciascun elemento in $A$ (ad esempio $C[0]=1$ se $min(A)$ appare una sola volta all'interno di $A$).

Una volta costruito $C$, si visita l'array $A$ per popolarlo. Ogni volta che si incontra il valore $i$ in $A$, si andrà ad aumentare di uno il valore di $C[i]$. Al termine di questo processo, $C[i]$ sarà pari al numero di occorrenze dell'elemento $i+min(A)$ nell'array di partenza $A$.

Infine, per ordinare $A$, si scorre $C$ dalla prima cella all'ultima, scrivendo in $A$ il valore $i+min(A)$ per $C[i]$ volte. Va notato che se un elemento $k$ non è presente in $A$, allora $C[k]$ sarà pari a 0, e dunque quell'elemento non sarà inserito.

$A$ sarà ordinato alla fine di questo processo perché si è sfruttata la possibilità di accedere prima casualmente e poi sequenzialmente agli indici di $C$: scansionare un array significa accedere ai suoi indici in ordine, perciò l'ordinamento è garantito da questa proprietà.

Esempio

Array A: 2 5 2 7 8 8 2 3 6

Prima scansione

Con una scansione di $A$ individuo il valore minimo (2) e il valore massimo (8).

Seconda scansione

Popolo l'array $C$, che tiene il conto delle frequenze di ciascun elemento nell'intervallo $[2,8]$.

Array C: 3 1 0 1 1 1 2

Il significato dell'array C è il seguente: l'intero 0 $+min(A)$ = 2 è presente 3 volte nell'array A, l'intero 1+min(A)=3 è presente 1 volta, l'intero 2+min(A)=4 è presente 0 volte, e così via.

Terza scansione

Inserisco in A tre volte l'intero 2, 1 volta l'intero 3, 0 volte l'intero 4, 1 volta l'intero 5 e così via.

Array A: 2 2 2 3 5 6 7 8 8

L'array A è ora ordinato.

Complessità

L'algoritmo esegue tre iterazioni, due di lunghezza $n$ (pari alla lunghezza dell'array da ordinare) per l'individuazione di $max(A)$ e $min(A)$ e per il calcolo delle occorrenze dei valori, e una di lunghezza $k$ (pari a $max(A)-min(A)+1$) per l'impostazione delle posizioni finali dei valori: la complessità totale è quindi $O(n+k)$.

Non è basato su confronti e scambi e conviene utilizzarlo quando il valore di $k$ è $O(n)$, nel qual caso l'algoritmo è $O(n)$, altrimenti risulterebbero più veloci altri algoritmi.

Pseudocodice

countingSort(A[])
   //Calcolo degli elementi max e min
   max ← A[0]
   min ← A[0]
   for i ← 1 to length[A] do
      if (A[i] > max) then
         max ← A[i]
      else if(A[i] < min) then
         min ← A[i]
   end for

  //Costruzione dell'array C
   * crea un array C di dimensione max - min + 1
   for i ← 0 to length[C] do
      C[i] ← 0                                 //inizializza a zero gli elementi di C
   end for

   for i ← 0 to length[A] do
      C[A[i] - min] = C[A[i] - min] + 1           //aumenta il numero di volte che si è incontrato il valore
   end for

   //Ordinamento in base al contenuto dell'array delle frequenze C
   k ← 0                                       //indice per l'array A
   for i ← 0 to length[C] do
      while C[i] > 0 do                        //scrive C[i] volte il valore (i + min) nell'array A
         A[k] ← i + min
         k ← k + 1
         C[i] ← C[i] - 1
   end for

Bibliografia

• Template:Cita libro
• Template:Cita libro