Considere o seguinte procedimento em pseudocódigo.

inteiro m(inteiro[] a, inteiro p, inteiro q)
  inteiro x=a[p];
  inteiro i=p; inteiro tmp;
  para j de p+1 até q
    se a[j]<=x então
      i=i+1;
      tmp=a[j]; a[j]=a[i]; a[i]=tmp;
    fim se
  fim para
  tmp=a[i]; a[i]=a[p]; a[p]=tmp;
  retorne i;
fim m

Esse procedimento realiza o arranjo a. Se for entregue a esse procedimento o arranjo {3,5,4,1,2} com p correspondendo ao índice do primeiro valor (índice do valor 3) e com q correspondendo ao índice do último valor (índice do valor 2).

Então, o valor final do arranjo seria: