Cap6 Algoritmos cc101

Universidad Nacional de Ingeniera
Facultad de Ciencias
Introduccin a la Ciencia de la
Computacin
Algoritmos
Prof: J. Solano
2011-I
Objetivos
Despus de estudiar este captulo el estudiante sera capaz de:
Definir un algoritmo y relacionarlo a la resolucin de
problemas.
Definir tres construictores y describir su uso en algoritmos.
Describir los diagramas UML y pseudocdigo y cmo se usan
en los algoritmos.
Listar algoritmos bsicos y sus aplicaciones.
Describir el concepto de ordenacin y entender los
mecanismos detrs de tres algoritmos de ordenacin primitiva.
Describir el concepto de bsqueda y entender los
mecanismos detrs de dos algoritmos de bsqueda comunes.
Definir subalgoritmos y sus relaciones con los algoritmos.
Distinguir entre los algoritmos iterativos y recursivos.
Introduccion a la Ciencia de la Computacion - CC101
Algoritmos para todas las eras

Grandes algoritmos son la poesa de la computacin
Francis Sullivan
Institute for Defense Analyses' Center for Computing Sciences Bowie,
Maryland
La importancia de los Algoritmos

Anlisis de tiempo de ejecucin
La importancia de los Algoritmos

Ordenamiento O(N2)
Camino mas corto O(CN) Ej: Algoritmo de Djikstra
Algoritmos aproximados
Algoritmos aleatorios O(N2)-O(N*log(N)) Ej: Quicksort y median
Compresin
La importancia de conocer algoritmos
Mas ejemplos del mundo real
Flujo Mximo
Comparacin de secuencias
Historia
Algos es la palabra griega para el dolor. Algor en latin, significa
fro.
Ninguno es la raz de algoritmo, que en su lugar tiene su origen
de Al-Khwarizmi, erudito rabe del siglo nueve, cuyo libro
al-jabr wa'l muqabalah derivo en los libros de texto de lgebra
de hoy en las escuelas secundaria.
Al-Khwarizmi hizo hincapi en la importancia de procedimientos
metdicos para la solucin de problemas.
Si estuviera presente hoy, sin duda estara impresionado por los
avances en su enfoque del mismo nombre.
CONCEPTO
Aqui se define de manera informal un algoritmo y se
desarrolla el concepto con un ejemplo.
Definicin informal
Una definicin informal de un algoritmo es:
Algoritmo: un mtodo paso-a-paso para resolver un
problema o hacer una tarea.
Ejemplo
Queremos desarrollar un algoritmo para encontrar el mayor
entero entre una lista de nmeros enteros positivos. El algoritmo
debe encontrar el mayor entero entre una lista de valores (por
ejemplo 5, 1000, 10000, 1000000). El algoritmo debe ser
general y no depende del nmero de enteros.
Para resolver este problema, necesitamos un enfoque intuitivo.
En primer lugar utilizar un pequeo nmero de enteros (por
ejemplo, cinco), a continuacin, extender la solucin a cualquier
nmero de enteros.
La siguiente figura muestra una manera de resolver este
problema. Llamamos al algoritmo FindLargest. Cada algoritmo
tiene un nombre para distinguirlo de otros algoritmos. El
algoritmo recibe una lista de cinco nmeros enteros como
entrada y da el mayor entero como salida.
Hallar el mayor entero entre cinco enteros

10
Definiendo acciones
La figura anterior no muestra que debe hacerse en cada paso.

Podemos modificar la figura para mostrar mas detalles.
Definiendo acciones en algoritmo FindLargest

11
Refinamiento
Este algoritmo debe refinarse para ser aceptable para la
comunidad de programadores. Hay dos problemas. En primer
lugar, la accin en el primer paso es diferente a las de los otros
pasos. En segundo lugar, la redaccin no es la misma en los
pasos 2 a 5. Fcilmente podemos redefinir el algoritmo para
eliminar estos dos inconvenientes al cambiar la redaccin en los
pasos 2 a 5 "Si el entero actual es mayor que el ms grande,
llamar de mayor a el entero actual". La razn por la que el
primer paso es diferente a los otros pasos se debe a que el
Mayor no se ha inicializado. Si inicializamos mayor a -
(menos infinito), entonces el primer paso puede ser el mismo
que los otros pasos, por lo que aadimos un nuevo paso,
llamndolo el paso 0 para indicar que se debe hacer antes de
procesar cualquier enteros.
12
FindLargest refinado
13
Generalizacin
Es posible generalizar el algoritmo? Queremos encontrar el
mayor de n enteros positivos, donde n puede ser 1000,
1.000.000, o ms. Por supuesto, podemos seguir la figura
anterior y repetir cada paso. Pero si cambiamos el algoritmo a
un programa, entonces tenemos que escribir las acciones para
los n pasos!
Hay una forma mejor de hacer esto. Podemos decirle a la
computadora para repetir los pasos n veces.
A continuacin se incluye esta funcin en nuestro algoritmo
pictrica.
14
Generalizacin de FindLargest
15
TRES CONSTRUCTORES
Los cientficos en computacin han definido tres
constructores para un programa estructurado o algoritmo. La
idea es que un programa debe estar hecho de una combinacin
de slo estos tres constructores: secuencia, decisin (seleccin)
y repeticin (figura siguiente). Se ha demostrado que no hay
necesidad de otros constructores. Utilizando slo estos
constructores hace que un programa o un algoritmo sea fcil de
entender, depurar o cambiar.
16
Tres constructores
17
Secuencia
El primer constructor se llama secuencia. Un algoritmo, y,
eventualmente un programa, es una secuencia de instrucciones,
que pueden ser una simple instruccin o cualquiera de los otros
dos constructores.
Decisin
Algunos problemas no pueden resolverse slo con una
secuencia de instrucciones simples. A veces tenemos que probar
una condicin. Si el resultado de las pruebas es verdadeo,
seguimos una secuencia de instrucciones: si es falso, seguimos
una secuencia diferente de instrucciones. Esto se conoce como
el constructor decisin (seleccin).
18
Repeticin
En algunos problemas, la misma secuencia de instrucciones que
debe repetirse. Nosotros nos encargamos de esto con el
constructor repeticin o bucle (loop). Encontrar el nmero
entero ms grande entre un conjunto de nmeros enteros puede
utilizar una constructor de este tipo.
19
REPRESENTACIN DE ALGORITMOS
Hasta ahora, hemos utilizado figuras para transmitir el concepto
de un algoritmo. Durante las ltimas dcadas, se han diseado
diferentes herramientas para este propsito. Dos de estas
herramientas, UML y pseudocdigo, se presentan aqu.
20
UML
Unified Modeling Language (UML) es una representacin
pictrica de un algoritmo. Oculta todos los detalles de un
algoritmo en un intento de dar el "cuadro grande " y mostrar
cmo el algoritmo fluye de principio a fin. Hay mucha
biblografa sobre UML. Aqu slo mostramos cmo los tres
constructores son representados usando UML.
21
UML para los tres constructores

22
Pseudocdigo
Pseudocdigo es una representacin como-idioma-Ingls de un
algoritmo. No hay un estndar para pseudocdigo, algunas
personas utilizan una gran cantidad de detalles, otros utilizan
menos. Algunos utilizan un cdigo que se encuentra cerca del
Ingls, mientras que otros utilizan una sintaxis como el lenguaje
de programacin Pascal.
Aqu se muestra slo cmo los tres constructores pueden ser
representados por pseudocdigo.
23
Pseudocdigo para los tres constructores

24
Ejemplo 1
Escribir un algoritmo en pseudocdigo que halle la suma de dos
enteros.
25
Ejemplo 2
Escribir un algoritmo para cambiar una nota numrica a pas/no pas
(pass/no pass).
26
Ejemplo 3
Escribir un algoritmo para cambiar una nota numrica (entero) a nota
de letra.
27
Ejemplo 4
Escribir un algoritmo para hallar el mayor nmero de un conjunto de

enteros. No conocemos el nmero de enteros.
28
Ejemplo 5
Escribir un algoritmo para hallar el mayor de los primeros 1000

enteros en un conjunto de enteros.
29
UNA DEFINICION MAS FORMAL

Ahora que hemos discutido el concepto de algoritmo y mostrado
su representacin, aqu tenemos una definicin ms formal.
Algoritmo:
Un conjunto ordenado de pasos sin ambigedades
que produce un resultado y termina en un tiempo
finito.
30
Conjunto ordenado
Un algoritmo debe ser un conjunto ordenado, y bien definido,
de instrucciones.
Pasos no ambiguos
Cada paso en un algoritmo debe ser claro y sin ambigedades.
Si un paso es sumar dos nmeros enteros, debemos definir
ambos "enteros", as como la operacin "add" (sumar): no
podemos, por ejemplo, usar el mismo smbolo para representar
adicin en un lugar y multiplicacin en otro lugar.
31
Produce un resultado
Un algoritmo debe producir un resultado, de lo contrario es
intil. El resultado puede ser datos entregados al algoritmo de
llamada, o algn otro efecto (por ejemplo, la impresin).
Termina en un tiempo finito

Un algoritmo debe terminar (halt). Si no es as (es decir, tiene
un bucle infinito), no hemos creado un algoritmo. Existe toda
una area para discutir problemas solubles e insolubles. Veremos
que un problema soluble tiene una solucin en la forma de un
algoritmo que termina.
32
ALGORITMOS BSICOS
Varios algoritmos que se utilizan prevalentemente en informtica
se consideran "bsicos". Discutiremos los ms comunes. Esta
discusin es muy general: la implementacin depende del
lenguaje.
Introduccin a la Ciencia de la Computacion - CC101
33
Adicin (resumen)
Un algoritmo de uso general en ciencia de la computacin es la
adicin. Podemos sumar dos o tres nmeros enteros muy
fcilmente, pero cmo podemos sumar muchos enteros? La
solucin es simple: utilizar el operador de aadir (add) en un
bucle.
Un algoritmo de adicin tiene tres partes lgicas:
1. Inicializacin de la suma al principio.
2. El bucle, que en cada iteracin aade un nuevo entero
a la suma.
3. Retorno del resultado despus de salir del bucle.
34
Algoritmo de adicin
dici
35
Producto
Otro algoritmo comn es encontrar el producto de una lista de
nmeros enteros. La solucin es simple: utilizar el operador de
multiplicacin en un bucle.
Un algoritmo de producto tiene tres partes lgicas:

1. Inicializacin del producto al principio.
2. El bucle, que en cada iteracin multiplica un nuevo
entero con el producto.
3. Retorno del resultado despus de salir del bucle.
36
Algoritmo de producto
37
El menor y el mayor
Hemos discutido el algoritmo para encontrar el mayor entre una
lista de enteros en el comienzo de este captulo. La idea era
escribir un constructor decisin para encontrar el mayor de dos
nmeros enteros. Si ponemos este constructor en un bucle,
podemos encontrar el mayor de una lista de nmeros enteros.
Encontrar el menor entero entre una lista de nmeros enteros es
similar, con dos pequeas diferencias. En primer lugar, utilizamos
un consturctor decisin para encontrar el menor de dos nmeros
enteros. En segundo lugar, inicializar con un entero muy grande
en lugar de uno muy pequeo.
38
Algoritmos de ordenacin
Una de las aplicaciones ms comunes en ciencia de la
computacin es la ordenacin, que es el proceso mediante el cual
los datos se organizan de acuerdo a sus valores. La gente est
rodeada de datos. Si los datos no estuvieran ordenados, se tardara
horas y horas para encontrar una sola pieza de informacin.
Imagine la dificultad de encontrar el nmero de telfono de
alguien en un directorio telefnico que no esta ordenado.
En esta seccin, presentamos tres algoritmos de ordenacin:
ordenamiento de seleccin, ordenamiento de burbuja y la
ordenacin por insercin. Estos tres algoritmos de ordenacin
son la base de los algoritmos de ordenacin ms rpidos
utilizados en la informtica de hoy.
39
Ordenamiento de seleccin
En un ordenamiento de seleccin, la lista a ser ordenada se divide
en dos sublistas, clasificados y no clasificados, que estn
separadas por una pared imaginaria. Encontramos el elemento
ms pequeo en la lista secundaria sin clasificar y lo
intercambiamos con el elemento al principio de la lista secundaria
sin clasificar. Despus de cada seleccin e intercambio, la pared
imaginaria entre los dos sublistas se mueve un elemento para
delante.
Ordenamiento de seleccin
40
Ejemplo de ordenamiento de seleccin

i
41
Algoritmo de ordenamiento de seleccin

i
42
Ordenamiento de burbuja
En el mtodo de ordenamiento de burbuja, la lista a ser ordenada
tambin se divide en dos sublistas, clasificados y sin clasificar. El
elemento ms pequeo se burbujea desde la lista secundaria sin
clasificar y se traslada a la sublista ordenada. Despus de que el
elemento ms pequeo ha sido trasladado a la lista ordenada, la
pared se mueve un elemento por delante.
Ordenamiento de burbuja
43
Ejemplo de ordenamiento de burbuja
44
Ordenamiento por insercin

El algoritmo de ordenamiento por insercin es una de las tcnicas
de ordenamiento ms comunes, y es a menudo utilizado por los
jugadores de cartas. Cada tarjeta que un jugador coge la inserta en
el lugar que le corresponde en su mano de cartas para mantener
una secuencia particular.
Ordenamiento por insercin

45
Ejemplo de ordenamiento por insercin
46
Ordenamiento rpido (Quicksort)

Quicksort es un algoritmo de divide y vencers. Quicksort
primero divide una larga lista en dos pequeas sub-listas: los
elementos menores y los elementos mayores. Quicksort puede
ordenar a continuacin las sub-listas de forma recursiva.
funcion quicksort(conjunto)
var list less, greater
if longitud(conjunto) 1
return conjunto //conj. de 0-1 elementos ya esta ordenado
Seleccione y remueva un valor pivot del conjunto
Para cada x en conjunto
if x pivot then colocar x en less
else colocar x en greater
return concatenate(quicksort(less), pivot, quicksort(greater)).
47
Ejemplo de ordenamiento
rapido (Quicksort)
48
Bsqueda
Otro algoritmo comn en ciencias de la computacin est
buscando, que es el proceso de encontrar la ubicacin de un
objetivo de entre una lista de objetos. En el caso de una lista,
buscando los medios que le da un valor, queremos encontrar la
ubicacin del primer elemento de la lista que contiene ese valor.
Hay dos registros de base para las listas: la bsqueda secuencial
y bsqueda binaria.
binaria Bsqueda secuencial puede ser utilizado
para localizar un elemento en cualquier lista, mientras que la
bsqueda binaria requiere que la este primero ordenada.
49
Bsqueda secuencial
Bsqueda secuencial se utiliza si la lista en la que se debe buscar
no esta ordenada. En general, utilizamos esta tcnica slo para
pequeas listas o listas en las que no se busca a menudo. En otros
casos, lo mejor es primero ordenar la lista y, a continuacin
buscar usando la bsqueda binaria discutida antes.
En una bsqueda secuencial, se empieza buscando el objetivo
desde el principio de la lista. Continuamos hasta que encontremos
el objetivo o alcanzemos el fin de la lista.
50
Ejemplo de bsqueda secuencial

51
Bsqueda binaria
El algoritmo de bsqueda secuencial es muy lento. Si tenemos
una lista de un milln de elementos, tenemos que hacer un milln
de comparaciones en el peor de los casos. Si la lista no est
ordenada, esta es la nica solucin. Si la lista est ordenada, sin
embargo, podemos usar un algoritmo ms eficiente llamada
bsqueda binaria. En general, los programadores utilizan una
bsqueda binaria cuando la lista es grande.
Una bsqueda binaria comienza probando los datos en el
elemento en la mitad de la lista. Esto determina si el objetivo est
en la primera mitad o la segunda mitad de la lista. Si est en la
primera mitad, no hay necesidad de controlar ms el segundo
segmento. Si est en la segunda mitad, no hay necesidad de
controlar ms el primer segmento. En otras palabras, eliminamos
la mitad de la lista de cualquier consideracin posterior.
52
Ejemplo de bsqueda binaria

53
SUBALGORITMOS
Los tres constructores de programacin descritos anteriormente
nos permite crear un algoritmo para cualquier problema soluble.
Los principios de la programacin estructurada, sin embargo,
requieren que un algoritmo se divida en pequeas unidades
llamadas subalgorithms. Cada subalgoritmo a su vez se divide en
pequeos subalgoritmos. Un buen ejemplo es el algoritmo para
ordenamiento por seleccin en la siguiente figura.
54
Concepto de subalgoritmo
55
Structure chart (mapa estructurado)

Otro herramienta que los programadores usan es el mapa
estructurado. Un mapa estructurado es una herramienta de diseo
de alto nivel que muestra la relacin entre los algoritmos y
subalgoritmos. Se utiliza principalmente a nivel de diseo en
lugar de a nivel de programacin.
56
RECURSIVIDAD
En general, hay dos enfoques para escribir algoritmos para

resolver un problema. Uno de ellos utiliza la iteracin,
iteracin el otro usa
la recursividad.
recursividad La recursividad es un proceso en el que un
algoritmo se llama a si mismo.
57
Definicin iterativa
Para estudiar un ejemplo sencillo, consideremos el clculo de un
factorial. El factorial de un entero es el producto de los valores
enteros entre 1 y el entero. La definicin es iterativa. Un
algoritmo es iterativo cada vez que la definicin no implica el
propio algoritmo.
Definicin iterativa de factorial

58
Definicin recursiva
Un algoritmo se define de forma recursiva cada vez que el
algoritmo aparece dentro de la propia definicin. Por ejemplo, la
funcin factorial se puede definir de forma recursiva, como se
muestra en la Figura.
Definicin recursiva de factorial

59
Determinacin de la solucin recursiva al problema del factorial

60
Solucin iterativa
Esta solucin implica generalmente un bucle.
61
Solucin recursiva
La solucin no necesita un bucle, ya que el concepto de
recursividad envuelve repeticin.
62
Una serie simple: dos soluciones
f(1) = 0
f(2) = 1
f(n)=f(n-1)+f(n-2)
63
Una serie simple: solucion 1 (iterativa)
long fibo(int n)
{ si(n<= 2) retornar n-1;
a = 0, b = 1, c, i;
para( i = 3; i < n ; i++ )
{
c = a + b;
a = b; b = c;
}
retornar c;
}
f(1) = 0
f(2) = 1
f(n)=f(n-1)+f(n-2)
64
Una serie simple: solucion 2 (recursiva)
f(1) = 0
f(2) = 1
f(n)=f(n-1)+f(n-2)
long f(int n)
{ si(n<= 2)
retornar n-1;
retornar f(n-1)+f(n-2);
}
65
Una serie simple: dos soluciones
long fibo(int n)
{ si(n<= 2) retornar n-1;
a = 0, b = 1, c, i;
para( i = 3; i < n ; i++ )
{
c = a + b;
a = b; b = c;
}
retornar c;
}
f(1) = 0
f(2) = 1
f(n)=f(n-1)+f(n-2)
long f(int n)
{ si(n<= 2)
retornar n-1;
retornar f(n-1)+f(n-2);
}
66
Una serie simple: solucion 2 (recursiva)

50
48
49
48
47
47
47
46
46
n -> 2n operaciones !!!

67
Anlisis de tiempo de ejecucin
68
Lo mejor del siglo XX: Top 10 algoritmos

1. 1946: El algoritmo de Metropolis de Monte Carlo.
Carlo Mediante el
uso de procesos aleatorios, este algoritmo ofrece una manera
eficiente para conseguir respuestas a problemas que son demasiado
complicados de resolver en forma exacta.
2. 1947: Mtodo Simplex para programacin lineal.
lineal Una solucin
elegante a un problema comn en planificacin y toma de
decisiones.
3. 1950: Mtodo de iteracin de subespacios de Krylov.
Krylov Una tcnica
para solucin rpida de ecuaciones lineales que abundan en
computacin cientfica.
4. 1951: Enfoque descomposicional para cmputo de matrices.
matrices Un
conjunto de tcnicas para el lgebra lineal numrica.
5. 1957: El compilador Fortran de optimizacin.
optimizacin Cambia cdigo de
alto nivel en cdigo informtico eficiente y legible.
69
Lo mejor del siglo XX: Top 10 algoritmos

6. 1959: Algoritmo QR para clculo de valores propios.
propios Otra
operacin crucial de matrices hecha rpida y prctica.
7. 1962: Algoritmos de ordenamiento rpido (Quicksort).
(Quicksort) Para el
manejo eficiente de grandes bases de datos.
8. 1965: Transformada Rpida de Fourier (FFT). Tal vez el
algoritmo de mayor alcance en matemticas aplicadas en uso hoy
en da,. Descompone formas de onda en componentes peridicos.
9. 1977: Deteccin de relacin entre enteros.
enteros Un mtodo rpido
para detectar ecuaciones simples satisfechas por colecciones de
nmeros aparentemente inconexos.
10. 1987: Mtodo rpido multipolar.
multipolar Un gran avance en el
tratamiento de la complejidad de los clculos de n-cuerpos,
aplicado en problemas que van desde la mecnica celeste al
plegamiento de protenas.
70

Cap6 Algoritmos cc101

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cap6 Algoritmos cc101

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional de Ingeniera

Algoritmos para todas las eras

Introduccion a la Ciencia de la Computacion - CC101

La importancia de los Algoritmos

Introduccion a la Ciencia de la Computacion - CC101

La importancia de los Algoritmos

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Hallar el mayor entero entre cinco enteros

La figura anterior no muestra que debe hacerse en cada paso.

Definiendo acciones en algoritmo FindLargest

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

UML para los tres constructores

Introduccion a la Ciencia de la Computacion - CC101

Pseudocdigo para los tres constructores

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Escribir un algoritmo para hallar el mayor nmero de un conjunto de

Introduccion a la Ciencia de la Computacion - CC101

Escribir un algoritmo para hallar el mayor de los primeros 1000

Introduccion a la Ciencia de la Computacion - CC101

UNA DEFINICION MAS FORMAL

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Termina en un tiempo finito

Introduccin a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Un algoritmo de producto tiene tres partes lgicas:

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Ejemplo de ordenamiento de seleccin

Algoritmo de ordenamiento de seleccin

Ejemplo de ordenamiento de burbuja

Introduccion a la Ciencia de la Computacion - CC101

Ordenamiento por insercin

Ordenamiento por insercin

Ejemplo de ordenamiento por insercin

Introduccion a la Ciencia de la Computacion - CC101

Ordenamiento rpido (Quicksort)

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Ejemplo de bsqueda secuencial

Ejemplo de bsqueda binaria

Introduccion a la Ciencia de la Computacion - CC101

Structure chart (mapa estructurado)

Introduccion a la Ciencia de la Computacion - CC101

En general, hay dos enfoques para escribir algoritmos para

Introduccion a la Ciencia de la Computacion - CC101

Definicin iterativa de factorial

Definicin recursiva de factorial

Determinacin de la solucin recursiva al problema del factorial

Esta solucin implica generalmente un bucle.

Introduccion a la Ciencia de la Computacion - CC101

Introduccion a la Ciencia de la Computacion - CC101

Una serie simple: dos soluciones

Introduccion a la Ciencia de la Computacion - CC101