2. Arreglos e invariantes. Arreglos Un arreglo es una coleccion ordenada de elementos del mismo tipo – Tipos de datos primitivos (int, …) – Referencias.

Presentación del tema: "2. Arreglos e invariantes. Arreglos Un arreglo es una coleccion ordenada de elementos del mismo tipo – Tipos de datos primitivos (int, …) – Referencias."— Transcripción de la presentación:

1 2. Arreglos e invariantes

2 Arreglos Un arreglo es una coleccion ordenada de elementos del mismo tipo – Tipos de datos primitivos (int, …) – Referencias a objetos El tamaño es definido en la creación (new) y no puede ser modificado 2

3 Arreglos de Tipos Primitivos int[] x; // equivalente a int x[] 3 X 10 20 30 x[1] = 20; x[2] = 30; x[0] = 10; x = new int[3]; Nota: x.length es una variable final que entrega el tamaño del arreglo

4 Arreglos de Objetos 4 X Referencias Circulo[] x; x[1] = new Circulo(); x[2] = new Circulo(); x[0] = new Circulo(); x = new Circulo[3];

5 Arreglos de Arreglos Java permite crear arreglos de arreglos con la siguiente sintaxis int[][] matriz = new int[4][]; for (int i = 0; i < matriz.length; i++) { matriz[i] = new int[5]; for (int j = 0; j < matriz[i].length; j++) { matriz[i][j] = i + j; } 5

6 Arreglos de Strings Paso de parámetros Static public void main(String[] args) { for (int i = 0; i < args.length; i++) { System.out.println(″Argumento ″+(i+1)+ ″ = ″+args[i]); } 6

7 Inicialización de Arreglos Un arreglo puede inicializarse con la siguiente sintaxis: boolean[] respuestas = {true, false, true}; String[] nombres = {"Ana María", "Carlos"}; String[][] humor = { { "Coco Legrand", "Alvaro Salas" }, { "Les Luthiers" }, { "Groucho Marx", "Buster Keaton", "Jerry Lewis", "Woody Allen" } }; 7

8 for-each (desde Java 5.0) Java 5.0 introdujo un for simplificado para recorrer arreglos y otras estructuras El siguiente método retorna la suma de los elementos de un arreglo 8 // Java 1.4 o anterior int sum(int[] a) { int result = 0; for (int i=0; i<a.length; i++) { result += a[i]; } return result; } // Java 5.0 int sum(int[] a) { int result = 0; for (int i : a) { result += i; } return result; }

9 Ejemplo: Búsqueda del máximo Estrategia: revisar todos los elementos a[1] hasta a[n] y registrar el mayor visto hasta ahora en m Invariante: m = max(a[1] … a[k]), 1 <= k<=n a1a1 a2a2 aiai anan a n-1... k

10 El invariante de una iteración Invariante: Condición (conjunto) que describe lo que un ciclo hace. Permanece invariante: al entrar, en cada iteración y al final. Debería representar la estrategia que se usa para resolver el problema. Se usa para: - A partir del invariante desarrollar el trozo de programa - Demostrar que el trozo programa hace lo que queremos - Explicar un trozo de programa Al escribir un ciclo con invariante se debe a) establecer la validez inicial del invariante, instrucciones de inicialización. b) avanzar hacia un estado final F. c) cada iteración debe preservar la validez del invariante.

11 Condiciones iniciales y finales a) El invariante se debe cumplir antes de entrar al ciclo, pero no hemos revisado nada aún. Podemos decir que el primero es el mayor de los revisados hasta ahora m = a[1]; k = 1; a1a1 a2a2 aiai anan a n-1... k b) Para conseguir el objetivo, k debe valer n, por lo que debemos parar el ciclo cuando k = n, o continuarlo mientras k != n, o k < n a1a1 a2a2 aiai anan a n-1... k

12 Avanzar y restablecer el invariante c) Para avanzar hay que tratar de que k llegue a n. Esto se hace incrementando k. Esto puede significar que el invariante no se cumple pues el nuevo a[k] podría ser mayor que m. k++; Para restablecer el invariante podemos incluir en el ciclo las siguientes instrucciones (después de incrementar k) if (a[k] < m) m = a[k]; Ahora solo basta ensamblar a), b) y c) para tener el trozo de programa que hace lo que queremos a1a1 a2a2 aiai anan a n-1... k aiai

13 Ejemplo 1: ordenación por selección Este algoritmo se basa en hacer pasadas sucesivas sobre los datos. En cada pasada, se encuentra el máximo del arreglo, y se lo lleva al extremo derecho. Una vez hecho esto, ese elemento deja de ser considerado, porque se encuentra ya en su posición definitiva. Esto conduce al siguiente invariante: a[i] < a[i+1] para i = k hasta n-1 a[j] < a [i] con j = 0 hasta k-1, todos desordenados En palabras: "Los elementos desde k hasta n-1 ya están ordenados y son mayores que los primeros k".

14 Condiciones iniciales y finales a)Condiciones iniciales: al principio no se puede decir nada, por lo que se hace k = n, lo que dice que implica: a[i] < a[i+1] para i = n hasta n-1 (no existe elemento) a[j] < a [n] con j = 0 hasta n-1, todos desordenados (a[n] no existe) ¿Más comprensible?: al principio poner el mayor del arreglo en el lugar n-1 y hacer k = n-1 b) Condición final: k = 1 (o mientras k >= 2) a[i] < a[i+1] para i = 1 hasta n-1 a[j] < a [1] con j = 0 hasta 0, todos desordenados

15 Ord. x selección: avanzar y restablecer invariante // Ordenar a[0],..., a[n-1] por selección k = n; // inicialmente los n primeros están desordenados while( k>1 ) { --k; //acercar k a la meta, se rompe el invariante Llevar el max de a[0],..., a[k] hacia a[k]; //esto restablece el invariante } Donde Llevar el max de a[0],..., a[k] hacia a[k] => i = 0; // a[i] es el max hasta el momento for( j=1; j<=k; ++j ) if( a[j]>a[i] ) i = j; // ahora intercambiamos a[i] con a[k] t = a[i]; a[i] = a[k]; a[k] = t;

16 Ejemplo 2: ordenación por inserción Este algoritmo va construyendo un trozo ordenado del arreglo al extremo izquierdo, y en cada iteración le agrega un nuevo elemento a ese grupo. Invariante: a[i] < a[i+1] para i = 0 hasta k-1 a[k] hasta a[n-1] desordenados En palabras: "Los elementos desde 0 hasta k-1 ya están ordenados y los siguientes desordenados".

17 Condiciones iniciales y finales a)Condiciones iniciales: al principio se puede decir que el primer elemento a[0] está ordenado por definición, por lo que se hace k = 1, lo que implica: a[i] < a[i+1] para i = 0 hasta 1-1 a[1] hasta a[n-1] desordenados b) Condición final: k = n (o mientras k < n) a[i] < a[i+1] para i = 0 hasta n-1 a[n] hasta a[n-1] desordenados (no existe!)

18 Avanzar y restablecer invariante // Ordenar a[0],..., a[n-1] por inserción k = 0; // inicialmente el primer elemento esta ordenado while( k < n ) { ++k; //acercar k a la meta, se rompe el invariante Insertar a[k-1] entre a[0],...,a[k-2]; //esto restablece el invariante } Donde Insertar a[k-1] entre a[0],...,a[k-2] => for( j=k-1; j>0 && a[j-1]>a[j]; --j ) { // intercambiar a[j-1] con a[j] t = a[j]; a[j] = a[j-1]; a[j-1] = t; }

19 Optimización Al seguir el proceso de la inserción, se puede observar que la variable t toma siempre el mismo valor: el del elemento que se está insertando. Por lo tanto, se puede optimizar el programa realizando una única asignación a t antes de comenzar el ciclo. Otra observación es que la mayoría de las asignaciones a a[j-1] son inútiles, porque esa variable va a ser sobre-escrita en la iteración siguiente. Luego, se puede evitar esas asignaciones, reemplazándolas por una sola al final del ciclo: Insertar a[k-1] entre a[0],...,a[k-2] => // versión optimizada t = a[k]; for( j=k; j>0 && a[j-1]>t; --j ) a[j] = a[j-1]; a[j] = t;

20 Versión final optimizada (y algo variada) // Ordenar a[0],...,a[n-1] por inserción k = 1; // inicialmente primer elemento ordenado while( k < n ) { // Insertar a[k] entre a[0],...,a[k-1] t = a[k]; for( j=k; j>0 && a[j-1]>t; --j ) a[j] = a[j-1]; a[j] = t; ++k; }

21 Ejemplo 3: ordenación por burbuja Este método se basa en hacer pasadas de izquierda a derecha sobre los datos, intercambiando pares de elementos adyacentes que estén fuera de orden. Al final de cada pasada, en forma natural el máximo estará en la posición de más a la derecha (que es su posición final) y puede por lo tanto ser excluido en pasadas sucesivas. Esto conduce al siguiente invariante (idéntico al de ordenación por selección): a[i] < a[i+1] para i = k hasta n-1 a[j] < a [i] con j = 0 hasta k-1, todos desordenados

22 Ord. X burbuja: avanzar y restablecer invariante // Ordenar a[0],..., a[n-1] por la burbuja (borrador) k = n; while( k>1 ) { Hacer una pasada sobre a[0],..., a[k-1]; Disminuir k; } Donde Hacer una pasada sobre a[0],..., a[k-1] => for( j=0; j<=k-2; ++j ) if( a[j]>a[j+1] ){ // Intercambiar a[j] con a[j+1] t = a[j]; a[j] = a[j+1]; a[j+1] = t; } y Disminuir k =>--k;

23 Ord. X burbuja: eficiencia Disminuir k => --k; Si el archivo está inicialmente ordenado, el programa igual hace n pasadas, cuando después de la primera ya podría haberse dado cuenta que el archivo ya estaba ordenado. Para aprovechar cualquier posible orden que pueda haber en el archivo, se puede hacer que el programa anote ("recuerde") el lugar en donde se produjo el último intercambio. Si la variable i se define de manera que el último intercambio en una pasada dada fue entre a[i-1] y a[i], entonces todos los elementos desde a[i] en adelante están ya ordenados (de lo contrario habría habido intercambios más hacia la derecha), y por lo tanto k se puede disminuir haciendo que sea igual a i: Hacer una pasada sobre a[0],..., a[k-1] => i=0; for( j=0; j<=k-2; ++j ) if( a[j]>a[j+1] ) { t = a[j]; a[j] = a[j+1]; a[j+1] = t; i = j+1; //Recordar el lugar del último intercambio } Disminuir k => k=i;

24 Ejemplo 4: X n Cuando n es entero se puede programar una función más eficiente que la que usa java, basada en el cálculo de una serie. Incluso una solución simple sería más eficiente: public static double power(double x, int n) { // Algoritmo simple y = 1; for( j=n; j>0; --j ) y = y*x; return y; } Este algoritmo evidentemente toma tiempo O(n), y su invariante se puede escribir como y * x j == x n

25 Aprovechando el invariante para la eficiencia Es posible encontrar un algoritmo sustancialmente más eficiente de la siguiente manera. Primero se desvinculan las dos ocurrencias de x en el invariante: y = 1; z = x; for( j=n; j>0; --j ) y = y*z; con invariante y * z j == x n Esto podría parecer ocioso, pero permite hacer una optimización al observar que está permitido modificar la variable z al inicio del ciclo siempre que se mantenga la validez del invariante. En particular, si j resulta ser par, podemos elevar z al cuadrado si al mismo tiempo dividimos j por 2. De esta manera, el invariante sigue igual, pero j disminuye mucho más rápido.

26 Algoritmo eficiente no recursivo Mejor todavía, si esto se puede hacer una vez, entonces se puede hacer muchas veces siempre que j siga siendo par: y = 1; z = x; for( j=n; j>0; --j ) // Invariante: y * z j == x n { while( j es par ) { z = z*z; j = j/2; } y = y*z; } La detección que j es par se puede implementar como j es par => j&1 == 0 Este algoritmo demora tiempo O(log n), lo cual se debe a que j sólo se puede dividir log n veces por 2 antes de llegar a 1. Es cierto que j sólo se divide cuando es par, pero si es impar en una iteración del for, está garantizado que será par a la siguiente.

27 Ejemplo 4: Explicar un algoritmo difícil Se tiene un arreglo con n elementos (a[0] hasta a[n-1]) blanco y negros desordenados. Dejar los elementos intercalados. Si hay mas de una clase que de otra dejarlos todos al final. Ejemplo, si inicialmente se tiene dejarlos invariante ??????????? ij

28 Ejemplo 4: Explicar un algoritmo difícil (cont.) Inicialmente se hace i = 0; j = 1; Condicion final: j = n => continuación: while (j < n) Restablecer el invariante ?????????? ij ij i j Si a[j] mismo color que a[i] no se hace nada, si no, se intercambia con a[i+1]; j++

29 Otras Estructuras: Vector Una implementación de lista enlazada eficiente Puede contener objetos de cualquier clase Ultimas versiones de java apuntan a que todos sean de una sola (super)clase Vector v = new Vector(); //crea un vector vacio v.add(“Hola”); v.add(new Scanner());... //agregar elementos al final, v.add(5, “chao”); //agrega en el indice 5 //mostrar los elementos for(int i = 0; i < v.size(); i++) System.out.println(v.get(i).toString()); 29

30 Generics: chequeo de tipos Usando Generics se puede hacer que se chequee el tipo de objeto Vector v = new Vector (); Solo se pueden poner objetos de la Clase Tipo (o derivados) v.add(“Hola”); //produciría error de compilación 30

31 Ejercicio en clases > 0<= 0desconocidos ij Se tiene un arreglo a[0]... a[n-1] con enteros y se quiere particionarlo de modo que queden todos los menores que cero a la izquierda y los iguales o mayores que cero a la derecha. En palabras: los elementos anteriores a a[i] son menores que cero, los elementos desde a[i] hasta a[j-1] son mayores que cero y los elementos desde a[j] en adelante son desconocidos