Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Universidad del Papaloapan

Materia: Matematicas Discretas
Alumno(a): Estela Solano Hermida
Profr:M.C Pablo Rodrigo Daz Monterrosas
Carrera: Ingenieria en Computacin
Semestre: 3

9 de Febrero de 2011

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

CONTENIDO
4. OPTIMIZACION EN GRAFOS
4.1 Caminos mas cortos de un grafo
4.2 Flujos de grafos
4.3 Teoria de emparejamiento
4.4 Arboles ponderados y rbles de expansion minima
6.FUNCIONES GENERATRICES
6.1 Ejemplos introductorios
6.2 Definiciones y tcnicas de calculo
6.3 Particiones de enteros
6.4 La ecuacion generatriz exponencial
6.5 El operador suma
7.RELACION DE RECURRENCIA
7.1 La relacion de recurrencia de primer orden
7.2 La relacion de recurrencia lineal homogenea de segundo
xxxxxorden con coeficientes constantes
7.3 La relacion de concurrencia no homogenea
7.4 El metodo de las funciones generatrices
7.5 Algoritmos de divide y venceras

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

4. OPTIMIZACION EN GRAFOS
4.1 Caminos mas cortos de un grafo
Camino mas corto: entre dos vrtices v y w en una red, es un camino
simple de v a w tal que no haya camino mas corto que este entre
esos vrtices.
Para hallar el caminos mas corto usaremos el Algoritmo de Dijsktra.
Busca los caminos mas cortos a partir de una fuente v dada en
grafos con pesos no-negativos
Prim: construccin incremental, incorporando cada vez un
vrtice relacionado con el AGM por un arco de tamao mnimo
Aqu, mismo principio:
1. incorporar la fuente v
2. poner en el rbol un arco conectado al rbol y hacia un vrtice no presente en el rbol y dando un
camino mas corto de la fuente hacia este nodo
3. si no has incorporado todos los vrtices, ir al 2

Ejemplos:

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Algoritmo de Dijsktra, y como Funciona:

1. Descripcin:
El algoritmo de Dijkstra, tambin llamado algoritmo de caminos ms
cortos, es un algoritmo para la determinacin del camino ms corto dado
un vrtice origen.
2. Estructura de datos utilizada:
Este algoritmo utiliza un tipo de estructura de colas llamado cola de
prioridad. Una cola de prioridad es una estructura de datos en la que los
elementos se atienden en el orden indicado por una prioridad asociada a
cada uno.
3. Como funciona el Algoritmo?
Seleccionamos el nodo no visitado con menor distancia acumulada( al
iniciar, este ser siempre el nodo de inicio).
Sumamos la distancia acumulada en dicho nodo con la distancia de las aristas a los nodos a los
que podemos acceder. Comparamos la nueva distancia con la que tenamos acumulada en el
nodo destino (en caso de tener ya alguna) y nos quedamos con la menor.
Marcamos el nodo actual como visitado y volvemos al paso 1.

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Algoritmo:

4.2 Flujos de grafos

Una red de flujo es un grafo dirigido G = (V,E) en donde cada arco
Se distinguen dos vrtices: la fuente s y el destino t.
Se supone que cada vrtice se encuentra en alguna ruta de s a t.
Un flujo en G es una funcin

tal que

Restriccin de capacidad:
Simetra:
Conservacin:

tiene una capacidad no negativa

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

El valor del flujo es

El problema del flujo mximo trata de maximizar este flujo.
Algoritmo de flujo mximo
Tenemos el conocido problema de flujo mximo o maximal: cul es la tasa mayor a la cual el material
puede ser transportado de la fuente al sumidero sin violar ninguna restriccin de capacidad?
En otras palabras, el problema consiste en determinar la mxima capacidad de flujo que puede ingresar
a travs de la fuente y salir por el nodo de destino.
El procedimiento para obtener el flujo mximo de una red, consiste en seleccionar repetidas veces
cualquier trayectoria de la fuente al destino y asignar el flujo mximo posible en esa trayectoria.
:'''Capacidad residual''': es la capacidad adicional de flujo que un arco puede llevar:
:<math>c_{f}(u,v)= c(u,v) - f(u,v) \,</math>

Dada una red de flujo mximo, plantee la red residual asociada.

Encuentre la [[trayectoria]] de la [[fuente]] al destino con capacidad de [[flujo]] estrictamente

positivo (si no existe alguno, es por que se ha encontrado el ptimo).

Examine estas [[trayectoria]]s para encontrar la rama o arco con la menor capacidad de flujo
restante e incremente en ste valor, la capacidad del flujo en sentido contrario.

Determine todas las trayectorias estrictamente positivas, hasta que no se permita flujo del nodo
a un nodo destino.

Podemos, mediante el [[Algoritmo de Ford-Fulkerson]], encontrar el flujo mximo de una red.

Para hallar la distancia ms corta entre dos puntos en una red.

4.3 Teoria de emparejamiento

Un emparejamiento en un grafo G=(V,A) es un subconjunto MA tal que dos aristas cualesquiera de
M no tienen un extremo comn. Un emparejamiento es mximo si no hay otro de cardinal mayor. Un
emparejamiento es maximal si no est contenido en otro de cardinal mayor. Un emparejamiento M es
perfecto si todos los vrtices de G son extremo de alguna arista de M.

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Caminos y emparejamientos
Dado un emparejamiento M, los extremos de las aristas de M se llaman
vrtices saturados por M. Un camino de G se dice alternado para M o M-alternado si sus aristas
alternativamente estn o no estn en M.

4.4 Arboles ponderados y rboles de expansion minima

Definicin. Se llama rbol ponderado a un rbol en el que cada arista tiene asignado un nmero
llamado peso.
Definicin. Sea G un grafo ponderado. Un rbol generador minimal (AGM) de G es un rbol
ponderado que es generador de G, y que tiene peso minimo.

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

rboles de expansin mnimos.

Definicin. Un grafo ponderado o grafo con pesos es un grafo G(V, E), en el que a cada arista se le
asigna un valor real no negativo o peso. Sobre el conjunto de aristas se introduce una funcin peso. El
peso de un subgrafo de un grafo ponderado es la suma de los pesos de todas sus aristas. W: E --> R^+:
Ejemplo 3.3.2. Dado el grafo con pesos:

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

BOSQUE DE EXPANSIN
Un bosque de expansin es un tipo de subgrafo que generaliza el concepto de rbol de expansin. Hay
dos definiciones de uso comn:
Segn la primera, un bosque de expansin es un subgrafo que consiste en un rbol de
expansin en cada componente conexo del grafo (equivalentemente, es un subgrafo libre de
ciclos maximal). Esta definicin es frecuente en informtica y optimizacin, as como la que se
emplea habitualmente al tratar los bosques mnimos de expansin, la generalizacin a subgrafos
disconexos de rboles de expansin minimales.
Otra definicin, empleada en teora de grafos, es la de un bosque de expansin es un subgrafo
que es a la vez bosque (es decir, no contiene ciclos) y de expansin (es decir, incluye a todos los
vrtices).

6.FUNCIONES GENERATRICES
6.1 Ejemplos introductorios
La funcin generatriz es una transformacin que permite condensar todos los valores de una secuencia
{a0 , a1 , ..., an , ...} en una unica funcin
y dado a(z), escribimos su an
correspondiente como an = [z n ]a(z).
Esta transformacin permite convertir ecuaciones de recurrencia en ecuaciones acerca de la funcin
a(z), que pueden ser ms fciles de resolver que la recurrencia original.

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Proyecto Final

6.2 Definiciones y tcnicas de calculo

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Proyecto Final

6.3 Particiones de enteros

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Proyecto Final

6.4 La ecuacion generatriz exponencial

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Proyecto Final

6.5 El operador suma

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

7.RELACION DE RECURRENCIA
7.1 La relacion de recurrencia de primer orden
Una relacin de recurrencia para una sucesin a0 , a1 , a2 ,...., an ,... es una expresin que
relacionan con uno o ms trminos precedentes a0 , a1 , a2 ,...., an-1 , para cualquier n
entero mayor o igual que un entero inicial k. Los valores de los primeros trminos
necesarios para empezar a calcular se llaman condiciones iniciales.
Si an = c1 an-1 +c2 an-2 + ... + cm an-m + g(n) donde c1 ,... , cm son constantes decimos que la
relacin de recurrencia es lineal de coeficientes constantes. Si adems g(n)=0 diremos
relacin lineal homognea.
Resolucin de relaciones de recurrencia lineales de primer orden.
Resolucin de relaciones de recurrencia lineales y homogneas de segundo orden:
(*) a n = c1 a n1 + c2 a n 2

7.2 La relacion de recurrencia lineal homogenea de segundo orden con

coeficientes constantes
Relacin homognea de orden 2:

Cn an + Cn1 an1 + Cn2 an2 = 0, n 2.

Con base en nuestro trabajo con las relaciones recursivas geomtricas, buscamos solucin de la forma
an = Cr n , donde c = 0 y r = 0.
Si sustituimos an = cr n en la ecuacin, obtenemos:

Cn r n + Cn1 r n1 + Cn2 r n2 = 0.
Realizando las factorizaciones adecuadas y considerando que c, r = 0, esto se convierte en

Cn r 2 + Cn1 r + Cn2 = 0,
que es una ecuacin cuadrtica llamada la ecuacin caracterstica.
CASO A: Raices distintas
Resolveremos la relacin de recurrencia

an + an1 6an2 = 0
donde n 2 y a0 = 1, a1 = 2.
Sustituimos an = cr n .
1 Obtenemos la ecuacin caracterstica y hallamos sus soluciones.
2 Verificamos que ambas soluciones sean linealmente independientes.
3 Escribimos la solucin general como an = c1 r1 + c2 r2 .
4 Usando las condiciones iniciales a0 y a1 hallamos los valores de
5 c1 , c2 .

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

CASO B: Raices complejas

Resolveremos la relacin de recurrencia

an = 2(an1 an2 ),
donde n 2 y a0 = 1 y a1 = 2.
Sustituimos an = cr n .
1 Obtenemos la ecuacin caracterstica y hallamos sus soluciones.
2 Escribimos la solucin general como an = c1 r1 + c2 r2 .
3 Escribimos ambas soluciones en la forma polar.
4 reescribimos la solucin general usando coeficientes k1 = c1 + c2 y k2 = (c1 c2 )i
5 Usando las condiciones iniciales a0 y a1 hallamos los valores de
6 k1 , k2 .
CASO B: Raices reales repetidas
Resolveremos la relacin de recurrencia:
an+2 = 4an+1 4an ,
donde n 0 y a0 = 1, a1 = 3.
1 Sustituimos an = cr n .
2 Obtenemos la ecuacin caracterstica y hallamos sus soluciones.
3 Dado que no tenemos dos soluciones linealmente independientes, probamos con la solucin an = nr
4 Escribimos la solucin general como an = c1 r n + c2 nr n .
5 Usando las condiciones iniciales a0 y a1 hallamos los valores de c1 , c2 .

EJEMPLO:

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

7.3 La relacion de concurrencia no homogenea

Si an = c1 an1 +c2 an2 +cm anm +g(n), para n m, se dice que la relaci n de recurrencia
es lineal no homognea de orden m. A la relacin an = c1 an1 +c2 an2 +cm anm , resultante
de eliminar g(n) se le llama relacin de recurrencia lineal homognea asociada.
Proposicin 3.3.1.
Si T y S son soluciones de la relacin de recurrencia lineal no homognea, entonces S T es solucin
de la relacin de recurrencia lineal homognea asociada.
Observacin 3.3.2.
Pasos para resolver una relacin de recurrencia lineal no homognea:
Se obtiene la solucin general de la ecuacin homognea asociada.
Se obtiene una soluci n particular de la relacin de recurrencia no homognea.
La suma de la solucin general de la ecuacin lineal homognea asociada y de una solucin
particular de la relacin de recurrencia lineal no homognea nos da la solucin general de la relacin de
recurrencia lineal no homognea.
La solucin especfica se obtiene a partir de las condiciones iniciales.
Observacin 3.3.3.
Una solucin particular (xn ) de la relacin de recurrencia lineal no ho- mognea se puede encontrar en
algunos casos especiales.
Si g(n) = Pk (n) (polinomio de grado k), entonces xn = Qk (n) (polinomio de grado k),
excepto si 1 es raz caracter stica con multiplicidad s, en cuyo caso xn = ns Qk (n).
Si g(n) = pan , p R, entonces xn = qan , q R, excepto si a es raz caracterstica con
multiplicidad s, en cuyo caso xn = qns an .
Si g(n) = an Pk (n), entonces xn = an Qk (n), excepto si a es raz caracterstica con
multiplicidad s, en cuyo caso xn = ns an Qk (n).

7.4 El metodo de las funciones generatrices

Sea la solucin a un cierto problema una secuencia de nmeros,
, que se desean
determinar. Una forma de proceder es buscar una frmula para el trmino ensimo. Pero esto no es
siempre posible o fcil de hacer. Por ejemplo, no podemos dar una frmula para el ensimo nmero
primo.
La funciones generatrices nos entregan otra forma de proceder. Si bien dar una frmula para los
miembros de la secuencia puede ser complicado, a menudo es relativamente fcil dar una formula
simple para la suma de una serie de potencias, cuyos coeficientes corresponden a la secuencia que
andamos buscando.
Por definicin, la funcin generatriz de una secuencia

es una serie formal

La serie se define en el sentido algebraco, no analtico. Formalmente hablando, agregamos al conjunto

de nmeros reales la indeterminada , cuya naturaleza no es relevante para la construccin. El nuevo
trmino y los nmeros pueden ser sumados y multiplicados, y ambas operaciones son postuladas para
ser conmutativas y la suma es tambin distributiva con respecto a la multiplicacin. Este conjunto

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

expandido de nmeros reales pasa a ser un anillo. En este caso se tendr inverso para la serie formal,
siempre y cuando el trmino constante de la serie
distinto de 0

sea

Ejemplo 4.2.5
Como

, podemos establecer que

En trminos analticos, es una variable tomando valores en los nmeros reales o complejos, y la
identidad se mantiene cuando la serie de la derecha es convergente, i.e., cuando . Sin embargo, en la
teora formal no nos interesa la pregunta de convergencia. En ese sentido, el trmino funcin generatriz
no es tan consistente con la operacin de sustituir un nmero por con el fin de establecer el valor de
la serie en ese punto, eso no es legal. Las funciones generatrices frecuentemente aparecen en el mbito
de anlisis de algoritmos cuando el coeficiente representa el nmero de estructuras de un tamao
dado. Pero, muchas veces estamos normalmente interesados no slo en contar
estructuras de un tamao dado, sino que tambin en conocer valores de varios parmetros relacionados
con las estructuras. Usamos funciones generatrices bivariadas para este propsito. Estas son funciones
de dos variables que representan secuencias doblemente indexadas: un ndice para el tamao del
problema y una para los valores de los parmetros siendo analizados. Las funciones generatrices
bivariadas nos permiten capturar ambos ndices con slo una funcin generatriz de dos variables.

7.5 Algoritmos de divide y venceras

Diseo e implementacin
La resolucin de un problema mediante esta tcnica consta fundamentalmente de los siguientes pasos:
1. En primer lugar ha de plantearse el problema de forma que pueda ser descompuesto en k
subproblemas del mismo tipo, pero de menor tamao. Es decir, si el tamao de la entrada es n,
hemos de conseguir dividir el problema en k subproblemas (donde 1 k n), cada uno con una
entrada de tamao nk y donde 0 nk < n. A esta tarea se le conoce como divisin.
2. En segundo lugar han de resolverse independientemente todos los subproblemas, bien
directamente si son elementales o bien de forma recursiva. El hecho de que el tamao de los
subproblemas sea estrictamente menor que el tamao original del problema nos garantiza la
convergencia hacia los casos elementales, tambin denominados casos base.
3. Por ltimo, combinar las soluciones obtenidas en el paso anterior para construir la solucin del
problema original.
Los algoritmos divide y vencers (o divide and conquer, en ingls), se disean como procedimientos
generalmente recursivos.

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

Por el hecho de usar un diseo recursivo, los algoritmos diseados mediante la tcnica de Divide y
Vencers van a heredar las ventajas e inconvenientes que la recursin plantea:
Por un lado el diseo que se obtiene suele ser simple, claro, robusto y elegante, lo que da lugar a
una mayor legibilidad y facilidad de depuracin y mantenimiento del cdigo obtenido.
Por contra, los diseos recursivos conllevan normalmente un mayor tiempo de ejecucin que los
iterativos, adems de la complejidad espacial que puede representar el uso de la pila de
recursin.
Sin embargo, este tipo de algoritmos tambin se pueden implementar como un algoritmo no recursivo
que almacene las soluciones parciales en una estructura de datos explcita, como puede ser una pila,
cola, o cola de prioridad. Esta aproximacin da mayor libertad al diseador, de forma que se pueda
escoger qu subproblema es el que se va a resolver a continuacin, lo que puede ser importante en el
caso de usar tcnicas como Ramificacin y acotacin o de optimizacin.

Proyecto Final

Matematicas Discretas
Alumno(a):Estela Solano Hermida

BIBLIOGRAFIA
Optimizacion de Grafos
http://polimedia.upv.es/visor/?id=88e48587-257c-f146-85fd-ff48ddc9bc9a
http://es.wikipedia.org/wiki/Red_de_flujo
http://www.dma.fi.upm.es/grafos/EmpFlujos03.PDF
http://es.wikipedia.org/wiki/%C3%81rbol_de_expansi%C3%B3n

Funciones Generatrices
https://www.ucursos.cl/ingenieria/2007/1/CC53A/1/material_docente/bajar?
id_material=120247
http://www610.megaupload.com:800/files/2541d5ce26bf450771bdade7e40dad65/M.
%20discretas%203ra%20ed%20es.part2.rar
http://books.google.com.mx/books?
id=lHqqjoR0b1YC&pg=PA433&lpg=PA433&dq=ejemplos+introductorios+de+funciones
+generatrices+informacion&source=bl&ots=gQt-kzOgXk&sig=yO5z7b9tdLKcO4GEmm4dRtIynE&hl=es&ei=LKZJTaSsNYiisQPasKS0Cg&sa=X&oi=book_
result&ct=result&resnum=1&ved=0CBEQ6AEwAA#v=onepage&q&f=false

Relaciones de Recurrencia
http://www.dma.fi.upm.es/ctorres/matematicadiscreta/curso0203/3rec-t0203.pdf
https://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r58767.PDF
http://www.dma.fi.upm.es/docencia/cursosanteriores/0405/primerciclo/matdiscreta/15M/T
eoriaRecurrencia.pdf
http://www.dim.uchile.cl/~gespinoz/principal/node31.html
http://es.wikipedia.org/wiki/Algoritmo_divide_y_vencer%C3%A1s