Edición de «Final 20/09/17 (Algoritmos II)»

{{back|Algoritmos_y_Estructuras_de_Datos_II}}

Tomado por Carlos Gustavo Lopez Pombo

El final se aprueba con 3 ejercicios bien. La nota intenta reflejar los conocimientos generales demostrados en el examen y no la suma aritmética de puntos. Todos los ejercicios tienen un peso equivalente en la nota final.

== Ejercicio 1 ==
Realice un análisis detallado de los casos del teorema maestro y justifique la conclusión de estos en relación a la condición que satisface.

=== Soluciones ===
El teorema maestro afirma que, dada una función de la forma
<math>
T(N) = \begin{cases}
  d &\text{si }N = 1\\
  aT(N/b) &\text{sino}
\end{cases}
</math>
que describa la cantidad de pasos a tomar en un algoritmo con entrada N, siendo d una constante, N,a,b pertenecientes a N, entonces:
# Si <math>f(N) \in O(N^{log_b(a)-\epsilon})</math> para algún <math>\epsilon > 0 \implies T(N) \in \Theta(N^{log_b (a)})</math>
# Si <math>f(N) \in \Theta(N^{log_b(a)}) \implies T(N) \in \Theta(N^{log_b(a)} * log(N))</math>
# Si <math>f(N) \in \Omega(N^{log_b(a) + \epsilon})</math> para algún <math>\epsilon > 0</math>, y <math>\exists c < 1 : a*f(N/b) \leq c*f(N)</math> desde algún N suficientemente grande para adelante <math>\implies T(N) \in \Theta(f(N))</math>

Intuitivamente, los casos se pueden justificar así:

# Si la función f tiene menor complejidad que la parte recursiva, entonces la complejidad dominante será la de la recursión.
# Si la función f tiene una complejidad similar, ninguna de las dos domina a la otra, y entonces cada una aporta a la complejidad final.
# Si la función f tiene mayor complejidad que la parte recursiva, entonces la complejidad dominante será la de f; pero esto solo pasa cuando las llamadas recursivas a <math>a*T(N/b)</math> no ocasionan una llamada a <math>a*f(N/b)</math> que sea mayor al f(N) anterior. Si fuese así, la complejidad será aún más dependiente de N, y entonces el teorema maestro no nos ayuda.

La complejidad de la parte recursiva siendo <math>O(N^{log_b(a)})</math> sale de la cantidad de casos base a los que se llegan llamando recursivamente a <math>a*T(N/b)</math>. Si <math>a = b</math>, se partirá el problema en b partes pero se harán a veces esas partes, con lo cual se llegará a una cantidad de casos base igual al N original, para mostrar un ejemplo.

== Ejercicio 2 ==
Explique la forma general de un algoritmo de Divide & Conquer. ¿Cualquier algoritmo recursivo es un algoritmo de Divide & Conquer? ¿Qué condiciones se espera que se satisfagan para que se justifique la aplicación de la técnica algorítmica? Ejemplifique un caso.

=== Soluciones ===
[[Medio:AED2_soluciónEj2final_20-09-17.jpg|En JPG]]

Un mejor ejemplo de por qué usar D&C es el caso del algoritmo de Strassen para multiplicar matrices, que tiene una complejidad de O(N^2.8074) vs O(N^3) del algoritmo común.
El ejemplo de sorting dado no es tan bueno ya que hay algoritmos no D&C para ordenar que tienen la misma complejidad de mergesort, por ejemplo, heapsort.

== Ejercicio 3 ==
Decimos que un algoritmo de ordenamiento es estable si a lo largo de la ejecución los elementos que ya se encuentran en la posición que les corresponde nunca son intercambiados. Detalle cuáles de los algoritmos de ordenamiento que conoce son estables y justifique.

=== Soluciones ===
[[Medio:AED2_soluciónEj3final_20-09-17_parte1.jpg|En JPG (parte 1)]]
[[Medio:AED2_soluciónEj3final_20-09-17_parte2.jpg|(parte 2)]]

La definición de estabilidad dada no es la típica, es más, con la definición dada por Charlie, solamente selection sort es estable, ya que hay contraejemplos para insertion, merge y bubble sort ya que dependen de como se implementen.

== Ejercicio 4 ==
Dada la necesidad de diseñar el TAD Conjunto que es utilizado en un contexto como herramientas de para recorrer sus elementos. Proponga una interfaz apropiada. ¿Coincide con la propuesta en el TAD? Justifique.

== Ejercicio 5 ==
Explique detalladamente el concepto de observador básico y cómo interviene en la definición de las otras operaciones a fin de preservar las características fundamentales del lenguaje.

=== Soluciones ===
[[Medio:AED2_soluciónEj5final_20-09-17.jpg|En JPG]]

[[Categoría: Finales]]