Checkpoint (ex Sorting II) El parcial se acerca... 2 Teorema del Invariante ▷ Para qué sirve? 3 Teorema del Invariante ▷ Para qué sirve? ▷ Cuáles son las condiciones? 4 Teorema del Invariante ▷ Para qué sirve? ▷ Cuáles son las condiciones? ▷ Cuáles son de correctitud y cuáles de terminación? 5 Ejercicio 1 - Encuentre el invariante 1. void optimista(int a[], int n) { 2. int i = 0; 3. while (i < n) { 4. if (a[i] < 0) { 5. a[i] = -1 * a[i]; 6. } 7. i++; 8. } 9. } 6 Ejercicio 2 - Codeando el ciclo 7 Ejercicio 3 - Uno completo 1. void sumarSimetrico(int a[], int n) { 2. int i = n / 2; 3. while (i < n) { 4. a[i] = a[i] + a[n - i - 1]; 5. i++; 6. } 7. } 8 Sorting ▷ Algoritmos clásicos? 9 Sorting ▷ Algoritmos clásicos? ▷ Cómo funcionan? 10 Sorting ▷ Algoritmos clásicos? ▷ Cómo funcionan? ▷ Complejidades en peor caso? 11 Ejercicio 5 - Codeando (fácil) ▷ Implementar mismos ▷ Calcular la complejidad bool mismos(int a[], int b[], int n); 12 Ejercicio 8 - Codeando (medio) ▷ Implementar mismos sin usar cuenta ▷ Calcular la complejidad 13 Ejercicio 13 - Codeando (Chuck Norris) ▷ Implementar mismos suponiendo que los arreglos son de edades ▷ Calcular la complejidad 14 15 16