Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Proyecto-Matematicas Discretas PDF
Proyecto-Matematicas Discretas PDF
Matematicas Discretas
Alumno(a):Estela Solano Hermida
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
Proyecto Final
Matematicas Discretas
Alumno(a):Estela Solano Hermida
Algoritmo:
tal que
Restriccin de capacidad:
Simetra:
Conservacin:
Proyecto Final
Matematicas Discretas
Alumno(a):Estela Solano Hermida
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.
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.
Proyecto Final
Matematicas Discretas
Alumno(a):Estela Solano Hermida
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
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
Proyecto Final
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
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
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
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
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
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.
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