martes, 25 de octubre de 2011

Ordenamiento de burbuja

La Ordenación de burbuja (Bubble Sort en inglés) es un sencillo algoritmo de ordenamiento. Funciona revisando cada elemento de la lista que va a ser ordenada con el siguiente, intercambiándolos de posición si están en el orden equivocado. Es necesario revisar varias veces toda la lista hasta que no se necesiten más intercambios, lo cual significa que la lista está ordenada. Este algoritmo obtiene su nombre de la forma con la que suben por la lista los elementos durante los intercambios, como si fueran pequeñas "burbujas". También es conocido como el método del intercambio directo. Dado que solo usa comparaciones para operar elementos, se lo considera un algoritmo de comparación, siendo el más sencillo de implementar.
Una manera simple de expresar el ordenamiento de burbuja en pseudocódigo es la siguiente:


   { \color{black} \mathit{ procedimiento }} \;
   { \color{Blue}  \mathit{ DeLaBurbuja }} \; 
   (
      { \color{white}  \mathit{ a }}
      { \color{Plum}   \mathit{ {}_0 }} ,
      { \color{white}  \mathit{ a }}
      { \color{Plum}   \mathit{ {}_1 }} ,
      { \color{white}  \mathit{ a }}
      { \color{Plum}   \mathit{ {}_2 }} ,
      \ldots,
      { \color{Black}  \mathit{ a }} {}_(
      { \color{black}  \mathit{ {}_n }}
      { \color{Blue}   \mathit{ {}_- }}
      { \color{Plum}   \mathit{ {}_1}} {}_)
   )
   { \color{Sepia} \mathit{ para }} \;
   { \color{Black} \mathit{ i}} \;
   { \color{Blue}  \mathit{ \gets }} \;
   { \color{Plum}  \mathit{ 2}} \;
   { \color{Sepia} \mathit{ hasta }} \;
   { \color{Black} \mathit{ n}} \;
   { \color{Sepia} \mathit{ hacer }}
   { \color{Sepia} \mathit{ para }} \;
   { \color{Black} \mathit{ j}} \;
   { \color{Blue}  \mathit{ \gets }} \;
   { \color{Plum} \mathit{ 0}} \;
   { \color{Sepia} \mathit{ hasta }} \;
   { \color{Black} \mathit{ n }} \;
   { \color{Blue}  \mathit{ + }} \;
   { \color{Black} \mathit{ i }} \;
   { \color{Sepia} \mathit{ hacer }}
   { \color{Sepia} \mathit{ si }} \;
   { \color{Black} \mathit{ a }}    {}_(
   { \color{Black} \mathit{ {}_j }} {}_) \;
   { \color{Blue}  \mathit{ < }} \;
   { \color{Black} \mathit{ a }} {}_(
   { \color{Black} \mathit{ {}_j }}
   { \color{Blue}  \mathit{ {}_+ }}
   { \color{Plum}  \mathit{ {}_1}} {}_) \;
   { \color{Sepia} \mathit{ entonces }}
   { \color{Black} \mathit{ aux }} \;
   { \color{Blue}  \mathit{ \gets }} \;
   { \color{Black} \mathit{ a }}    {}_(
   { \color{Black} \mathit{ {}_j }} {}_) \;
   { \color{Black} \mathit{ a }}    {}_(
   { \color{Black} \mathit{ {}_j }} {}_) \;
   { \color{Blue}  \mathit{ \gets }} \;
   { \color{Black} \mathit{ a }} {}_(
   { \color{Black} \mathit{ {}_j }}
   { \color{Blue}  \mathit{ {}_- }}
   { \color{Plum}  \mathit{ {}_1}} {}_)
   { \color{Black} \mathit{ a }} {}_(
   { \color{Black} \mathit{ {}_j }}
   { \color{Blue}  \mathit{ {}_- }}
   { \color{Plum}  \mathit{ {}_1}} {}_) \;
   { \color{Blue}  \mathit{ \gets }} \;
   { \color{Black} \mathit{ aux }}
   { \color{Sepia} \mathit{ fin \; si }}
   { \color{Sepia} \mathit{ fin \; para }}
   { \color{Sepia} \mathit{ fin \; para }}
   { \color{Sepia} \mathit{ fin \; procedimiento }}
Este algoritmo realiza el ordenamiento de una lista a de n valores, en este caso de n términos numerados del 0 al n+1, consta de dos bucles anidados uno con el índice i, que da un tamaño menor al recorrido de la burbuja en sentido inverso de 2 a n, y un segundo bucle con el índice j, con un recorrido desde 0 hasta n-i, para cada iteración del primer bucle, que indica el lugar de la burbuja.
La burbuja son dos términos de la lista seguidos, j y j+1, que se comparan, si el primero es menor que el segundo sus valores se intercambian.
Esta comparación se repite en el centro de los dos bucles, dando lugar a la postre a una lista ordenada, puede verse que el número de repeticiones sola depende de n, y no del orden de los términos, esto es, si pasamos al algoritmo una lista ya ordenada, realizara todas las comparaciones exactamente igual que para una lista no ordenada, esta es una característica de este algoritmo, luego veremos una variante que evita este inconveniente.
Para comprender el funcionamiento, veamos un ejemplo sencillo:
Tenemos una lista de números que hay que ordenar:

   a = \{55, 86, 48, 16, 82 \}  \, Podemos ver que la lista que tiene cinco términos, luego:
   n = 5 \,
El índice i hará un recorrido de 2 hasta n:

   { \color{Sepia} \mathit{ para }} \;
   { \color{Black} \mathit{ i}} \;
   { \color{BlueViolet} \mathit{ \gets }} \;
   { \color{Black} \mathit{ 2}} \;
   { \color{Sepia} \mathit{ hasta }} \;
   { \color{Black} \mathit{ n}} \;
   { \color{Sepia} \mathit{ hacer }}
Que en este caso será de 2 a 5. Para cada uno de los valores de i, j tomara sucesivamente los valores de 0 hasta n-i:

   { \color{Sepia} \mathit{ para }} \;
   { \color{Black} \mathit{ j}} \;
   { \color{BlueViolet} \mathit{ \gets }} \;
   { \color{Black} \mathit{ 0}} \;
   { \color{Sepia} \mathit{ hasta }} \;
   { \color{Black} \mathit{ n-i}} \;
   { \color{Sepia} \mathit{ hacer }}
Para cada valor de j, obtenido en ese orden, se compara el valor del índice j con el siguiente:

   { \color{Sepia}      \mathit{ si }} \;
   { \color{Black} a_{(j)} } \;
   { \color{BlueViolet} > } \;
   { \color{Black} a_{(j+1)}} \;
   { \color{Sepia}      \mathit{ entonces }}
Si el termino j es menor, en su caso podría se mayor, que el termino j+1, los valores se permutan, en caso contrario se continúa con la iteración.
  \begin{array}{r||r|r|r|r|r}
            & j =  0 & j =  1 & j =  2 & j =  3 &    \\
      \hline
      a_{4} &     82 &     82 &     82 & \to 82 & 86 \\
      a_{3} &     16 &     16 & \to 16 & \to 86 & 82 \\
      a_{2} &     48 & \to 48 & \to 86 &     16 & 16 \\
      a_{1} & \to 86 & \to 86 &     48 &     48 & 48 \\
      a_{0} & \to 55 &     55 &     55 &     55 & 55
   \end{array}
Para el caso del ejemplo, tenemos que:

   n = 5 \,
Para la primera iteración del primer bucle:

   i = 2 \,
y j tomara los valores de 0 hasta 3:

   { \color{Sepia} \mathit{ para }} \;
   { \color{Black} \mathit{ j}} \;
   { \color{BlueViolet} \mathit{ \gets }} \;
   { \color{Black} \mathit{ 0}} \;
   { \color{Sepia} \mathit{ hasta }} \;
   { \color{Black} \mathit{ 3}} \;
   { \color{Sepia} \mathit{ hacer }}
Cuando j vale 0, se comparan  a_0 \; a_1 , el 55 y el 86, dado que 55 < 86 no se permutan el orden.
Ahora j vale 1 y se comparan  a_1 \; a_2 el 86 y el 48 Como 86 > 48, se permutan, dando lugar a una nueva lista.
Se repite el proceso hasta que j valga 3, dando lugar a una lista parcialmente ordenada, podemos ver que el termino de mayor valor esta en el lugar más alto.
  \begin{array}{r||r|r|r|r}
            & j =  0 & j =  1 & j =  2 &    \\
      \hline
      a_{4} &     86 &     86 &     86 & 86 \\
      a_{3} &     82 &     82 & \to 82 & 82 \\
      a_{2} &     16 & \to 16 & \to 55 & 55 \\
      a_{1} & \to 48 & \to 55 &     16 & 16 \\
      a_{0} & \to 55 &     48 &     48 & 48
   \end{array}
Ahora i vale 3, y j hará un recorrido de 0 a 2.
Primero j vale 0, se comparan  a_0 \; a_1 , el 55 y el 48, como 55 > 48 se permutan dando lugar a la nueva lista.
Para j = 1 se compara el 55 con el 16 y se cambian de orden.
Para j = 2 se compara el 55 y el 82 y se dejan como están, finalizando el bucle con una lista mejor ordenada, puede verse que los dos valores más altos ya ocupan su lugar. No se ha realizado ninguna comparación con el termino cuarto, dado que ya se sabe que después del primer ciclo es el mayor de la lista.
El algoritmo consiste en comparaciones sucesivas de dos términos consecutivos, ascendiendo de abajo a arriba en cada iteración, como la ascensión de las burbujas de aire en el agua, de ahí el nombre del procedimiento, en la primera iteración el recorrido ha sido completo, en el segundo se ha dejado él último termino, al tener ya el mayor de los valores, en los sucesivos sé ira dejando de realizar las ultimas comparaciones, como se puede ver.
  \begin{array}{r||r|r|r}
            & j =  0 & j =  1 &    \\
      \hline
      a_{4} &     86 &     86 & 86 \\
      a_{3} &     82 &     82 & 82 \\
      a_{2} &     55 & \to 55 & 55 \\
      a_{1} & \to 16 & \to 48 & 48 \\
      a_{0} & \to 48 &     16 & 16
   \end{array}
Ahora ya i vale 4 y j recorrerá los valores de 0 a 1.
Cuando j vale 0, se comparan  a_0 \; a_1 esto es el 48 y el 16 dado que 48 es mayor que 16 se permutan los valores, dando lugar a una lista algo más ordenada que la anterior, desde esta nueva ordenación, j pasa a valer 1, con lo que se comparan los términos  a_1 \; a_2 el 48 y el 55 que quedan en el mismo orden.
En este caso la burbuja ha ascendido menos que en los casos anteriores, y la lista esta ya ordenada, pero el algoritmo tendrá que completarse, realizando una ultima iteración.
Hay que tener en cuenta que el bucle para realiza un número fijo de repeticiones y para finalizar tendrán que completarse, aun en el caso extremo, de que la lista estaría previamente ordenada.
Por último i vale 5 y j solo puede vale 0, con lo que solo se realizara una comparación de  a_0 \; a_1 el 16 y el 48, que ya están ordenados y se dejan igual.
  \begin{array}{r||r|r}
            & j =  0 &     \\
      \hline
      a_{4} &     86 & 86 \\
      a_{3} &     82 & 82 \\
      a_{2} &     55 & 55 \\
      a_{1} & \to 48 & 48 \\
      a_{0} & \to 16 & 16
   \end{array}
Los bucles finalizan y también el procedimiento, dejando la lista ordenada.
Una variante que finaliza en caso de que la lista este ordenada, puede ser la siguiente, empleando un centinela ordenado, que detecta que no se ha modificado la lista en un recorrido de la burbuja, y que por tanto la lista ya esta ordenada, finalizando.

      { \color{Sepia} procedimiento } \;
      { \color{BlueViolet} DeLaBurbuja2 } \; (
      { \color{Black} a_{(0)}, a_{(1)}, a_{(2)}, \ldots, a_{(n-1)}} )
   { \color{Black} i } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} 1} \;
   { \color{Black} ordenado } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} no} \;
   { \color{Sepia} \mathit{ mientras }} \;
   { \color{Black} \mathit{ (i < n) \; \and \; (ordenado = no)}} \;
   { \color{Sepia} \mathit{ hacer }}
   { \color{Black} i } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} i + 1} \;
   { \color{Black} ordenado } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} si} \;
   { \color{Sepia} \mathit{ para }} \;
   { \color{Black} \mathit{ j}} \;
   { \color{BlueViolet} \mathit{ \gets }} \;
   { \color{Black} \mathit{ 0}} \;
   { \color{Sepia} \mathit{ hasta }} \;
   { \color{Black} \mathit{ n-i}} \;
   { \color{Sepia} \mathit{ hacer }}
   { \color{Sepia}      \mathit{ si }} \;
   { \color{Black} a_{(j)} } \;
   { \color{BlueViolet} > } \;
   { \color{Black} a_{(j+1)}} \;
   { \color{Sepia}      \mathit{ entonces }}
   { \color{Black} ordenado } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} no} \;
   { \color{Black} aux } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} a_{(j)} } \;
   { \color{Black} a_{(j)} } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} a_{(j+1)}} \;
   { \color{Black} a_{(j+1)} } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} aux } \;
   { \color{Sepia}       \mathit{ fin \; si }}
   { \color{Sepia} \mathit{ fin \; para }}
   { \color{Sepia} \mathit{ fin \; mientras }}
   { \color{Sepia} \mathit{ fin \; procedimiento }}
      { \color{Sepia} procedimiento } \;
      { \color{BlueViolet} DeLaBurbuja3 } \; (
      { \color{Black} a_{(0)}, a_{(1)}, a_{(2)}, \ldots, a_{(n-1)}} )
   { \color{Black} i } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} 1} \;
   { \color{Sepia} \mathit{ repetir }}
   { \color{Black} i } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} i + 1} \;
   { \color{Black} ordenado } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} si} \;
   { \color{Sepia} \mathit{ para }} \;
   { \color{Black} \mathit{ j}} \;
   { \color{BlueViolet} \mathit{ \gets }} \;
   { \color{Black} \mathit{ 0}} \;
   { \color{Sepia} \mathit{ hasta }} \;
   { \color{Black} \mathit{ n-i}} \;
   { \color{Sepia} \mathit{ hacer }}
   { \color{Sepia}      \mathit{ si }} \;
   { \color{Black} a_{(j)} } \;
   { \color{BlueViolet} > } \;
   { \color{Black} a_{(j+1)}} \;
   { \color{Sepia}      \mathit{ entonces }}
   { \color{Black} ordenado } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} no} \;
   { \color{Black} aux } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} a_{(j)} } \;
   { \color{Black} a_{(j)} } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} a_{(j+1)}} \;
   { \color{Black} a_{(j+1)} } \;
   { \color{BlueViolet} \gets } \;
   { \color{Black} aux } \;
   { \color{Sepia}       \mathit{ fin \; si }}
   { \color{Sepia} \mathit{ fin \; para }}
  { \color{Sepia}      \mathit{ hasta \; que }} \;
  { \color{Black} \mathit{ \neg (i < n) \; \or \; (ordenado = si)}}
   { \color{Sepia} \mathit{ fin \; procedimiento }} 
EJERCICIO:
public class Burbuja {
//Ordenamiento por Burbuja
    public static int[] OrdenarBurbuja(int[] n) {
        int temp;
        int t = n.length;
        for (int i = 1; i < t; i++) {
            for (int k = t - 1; k >= i; k--) {
                if (n[k] < n[k - 1]) {
                    temp = n[k];
                    n[k] = n[k - 1];
                    n[k - 1] = temp;
                }//fin if
            }// fin 2 for
        }//fin 1 for
        return n;
    }//fin

No hay comentarios:

Publicar un comentario