Ejercicio ejemplo comprobar algoritmos (pseudocódigo). Análisis de eficiencia en programación. (CU00239A)

Codificación aprenderaprogramar.com: CU00239A

EJERCICIO LEER DATOS DESDE ARCHIVO EN PAQUETES DE 5 DATOS. ANÁLISIS DE EFICIENCIA

Nos hemos planteado el siguiente objetivo: “Queremos leer datos desde un archivo que contiene un array Dato(1), Dato(2), ..., Dato(n) en paquetes de 5 datos. Contaremos el número de datos cuyo valor sea inferior a 100 (a los que llamaremos datos válidos) de modo que si tras extraer un paquete el número de datos válidos es igual o superior a 5 el algoritmo finaliza”. Determinar cuál de los dos algoritmos que se plantean cumple el objetivo con eficiencia.

Algoritmo 1:

Algoritmo 2:

SOLUCIÓN

El ejercicio tiene un poco de enjundia, ya que el enunciado contiene una pequeña trampa. Pero vayamos al asunto. Supuestamente uno de los algoritmos es incorrecto. En teoría deben leer paquetes de 5 datos hasta que el número de datos válidos es igual o superior a 5. Se nos ocurren dos grupos de casos:

a) Los cinco primeros datos son válidos.

b) Los cinco primeros datos no son válidos.

En el caso a) sólo se leería un paquete de datos (5 datos), ya que una vez realizado el proceso se cumple la condición de salida. En el caso b) habrá que extraer, al menos, dos paquetes de datos (10 datos). En primer lugar comprobaremos si los dos algoritmos resuelven satisfactoriamente el caso a), o sólo uno de ellos.

Aquí estaba la “enjundia” y la trampa del enunciado: ninguno de los dos algoritmos cumple el objetivo. El algoritmo 1 lee los 5 datos con lo cual parece que maneja bien los “paquetes” de datos. Sin embargo, aunque los cinco datos sean válidos no se para la extracción, incumpliendo el objetivo. El algoritmo 2 es similar pero en la línea 2 el bucle Desde tiene límite superior B – 1 en vez de B. Parece querer decir “como el otro algoritmo se pasa, rebajo el límite del bucle para no pasarme”. Pensamiento un tanto errático que lleva a que en vez de un paquete de 5 datos se extraigan 4 datos entre otras cosas..., incumpliendo también el objetivo. Vamos a ver un algoritmo que funciona correctamente:

Algoritmo 3:

Los cambios introducidos han sido:

· Se define B = 6 en vez de B = 5.

· La condición i <= 5 cambia a i < 5.

· El límite superior del bucle j pasa de ser B a B – 1.

Comprobemos que para un paquete inicial de 5 datos válidos el bucle funciona correctamente:

En esta ocasión el funcionamiento es correcto, pues al leerse 5 datos válidos se sale del bucle. Téngase en cuenta que si se hubiera definido B = 5 y el bucle Desde de la línea 3 con límite superior B las lecturas serían (suponiendo datos no válidos):

¿Por qué 6 datos? Porque en el segundo bucle repetimos como punto de partida el punto de llegada del anterior, cosa que evitamos en el algoritmo 3.

Pequeños detalles pueden trastocarnos el funcionamiento de grandes programas. En los cursos de bases de programación de aprenderaprogramar.com hemos trabajado con algoritmos similares a éste y eso no significa que podamos resolver este tipo de algoritmos rápidamente. A pesar de su aparente sencillez requieren hilar fino. En este caso estaríamos, como ya nos ha pasado en más de una ocasión (ver ejercicio relativo a algoritmo para el manejo de una lista de datos), ante algo que intuimos pero cuyo método paso a paso desconocemos. Como ya expusimos, entra en juego la experiencia del programador y el uso de las técnicas expuestas en “Conocer el problema”.

Estudiando el funcionamiento del algoritmo 3 llegamos a la siguiente tabla:

En esta tabla nos ha de llamar la atención que para una posibilidad de datos de entrada aparezca “pasadas por el bucle exterior = Infinito”. El famoso bucle infinito. Convendría preverlo y evitar que se pueda producir. Para ello bastaría introducir en el bucle una cláusula de seguridad tipo:

ó

Este u otro mecanismo deben protegernos también del número de repeticiones “indefinido”. Si la cantidad de datos válidos es muy baja en relación al total, la salida del bucle se puede demorar. Podría darse un mensaje de advertencia al usuario para advertirle de que sólo se han encontrado x datos válidos tras tantas miles de lecturas y pedir si se quiere continuar o desistir.

Como consideración final, a lo largo de los ejercicios anteriores hemos visto distintos enfoques de la verificación de algoritmos pero siempre usando tablas de variables por resultar estas bastante explicativas y claras. Sin embargo un programador no usa una sola técnica de verificación: las ha de conocer todas y recurrir a la más oportuna para una circunstancia dada. Muchas de las verificaciones que hemos visto podrían haberse resuelto con una verificación mental o por seguimiento escrito. De hecho, la mayoría de bucles y procesos simples los acabaremos resolviendo así por ser lo más rápido.

En algún caso, no hemos realizado un comprobación por requerir un número de iteraciones muy elevado, lo que un ordenador o dispositivo de programación nos puede resolver fácilmente.

Para acceder a la información general sobre este curso y al listado completo de entregas pulsa en este link:  Ver curso completo.

Para  hacer un comentario o consulta utiliza los foros aprenderaprogramar.com, abiertos a cualquier persona independientemente de su nivel de conocimiento.