Ejemplo de algoritmo

Descripción de alto nivel

Dado un conjunto finito ${\displaystyle C}$ de números, se tiene el problema de encontrar el número más grande. Sin pérdida de generalidad se puede asumir que dicho conjunto no es vacío y que sus elementos están numerados como ${\displaystyle c_{0},c_{1},\dots ,c_{n}}$.

Es decir, dado un conjunto ${\displaystyle C=\{c_{0},c_{1},\dots ,c_{n}\}}$ se pide encontrar ${\displaystyle m}$ tal que ${\displaystyle x\leq m}$ para todo elemento ${\displaystyle x}$ que pertenece al conjunto ${\displaystyle C}$.

Para encontrar el elemento máximo, se asume que el primer elemento (${\displaystyle c_{0}}$) es el máximo; luego, se recorre el conjunto y se compara cada valor con el valor del máximo número encontrado hasta ese momento. En el caso que un elemento sea mayor que el máximo, se asigna su valor al máximo. Cuando se termina de recorrer la lista, el máximo número que se ha encontrado es el máximo de todo el conjunto.

Descripción formal

El algoritmo puede ser escrito de una manera más formal en el siguiente pseudocódigo:

Algoritmo Encontrar el máximo de un conjunto

función max(${\displaystyle C}$) //${\displaystyle C}$ es un conjunto no vacío de números// ${\displaystyle n}$ ← ${\displaystyle |C|}$ //${\displaystyle |C|}$ es el número de elementos de ${\displaystyle C}$// ${\displaystyle m}$ ← ${\displaystyle c_{0}}$ para ${\displaystyle i}$ ← ${\displaystyle 1}$ hasta ${\displaystyle n}$ hacer si ${\displaystyle c_{i}>m}$ entonces ${\displaystyle m}$ ← ${\displaystyle c_{i}}$ devolver ${\displaystyle m}$

Sobre la notación:

• "←" representa una asignación: ${\displaystyle m}$ ← ${\displaystyle x}$ significa que la variable ${\displaystyle m}$ toma el valor de ${\displaystyle x}$;
• "devolver" termina el algoritmo y devuelve el valor a su derecha (en este caso, el máximo de ${\displaystyle C}$).